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
• المؤسسة: 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...