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

• Main Author: Kong, Pingfan
• Other Authors: Liu Yang
• Format: Theses and Dissertations
• Language: English
• Published: 2016
• Subjects: 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
• Online Access: https://hdl.handle.net/10356/65915
• Institution: Nanyang Technological University

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