Synchronization and Control of Quantitative Systems [article]

Simon Laursen
2016 Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet  
Formal methods, such as model checking, theorem proving and static analysis, are used to provide confidence in system models and designs, as it can assist in all phases of system development and testing. However, formal modeling of software is not trivial, and the ever increasing demand for software functionality and the complexity of such software systems makes modeling even harder. This challenge creates the need for expressive and computationally feasible modeling and specification
more » ... ification formalisms. In this thesis, we explore modeling formalisms for quantitative systems and systems with partial observability to determine their computational limitations and feasibility.
doi:10.5278/ fatcat:kftiafaw4fhf5lyrvqha7vaoce