Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling

Hybrid systems are dynamic systems that exhibit both continuous and discrete behavior. Many real-world engineering problems can be categorized as hybrid systems, including part of the typical cyber-physical systems. Hybrid systems are known to be hard to analyze and verify as they can both flow with...

Descrizione completa

Dettagli Bibliografici
Autore principale: Kong, Pingfan
Altri autori: Liu Yang
Natura: Tesi
Lingua:English
Pubblicazione: 2016
Soggetti:
Accesso online:https://hdl.handle.net/10356/65915