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

• 主要作者: Kong, Pingfan
• 其他作者: Liu Yang
• 格式: Theses and Dissertations
• 語言: English
• 出版: 2016
• 主題: DRNTU::Engineering::Computer science and engineering::Mathematics of computing::Probability and statistics; DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages
• 在線閱讀: https://hdl.handle.net/10356/65915

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...