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...
Saved in:
Main Author: | Kong, Pingfan |
---|---|
Other Authors: | Liu Yang |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2016
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/65915 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Towards concolic testing for hybrid systems
by: KONG, Pingfan, et al.
Published: (2016) -
A designer support framework for specification comprehensibility in automata-based discrete-event control design
by: Amrith Dhananjayan
Published: (2013) -
Modeling and verification of safety critical systems : a case study on pacemaker
by: Koo, Sheng Kiat
Published: (2014) -
Study on probability or number theory
by: Zhuang, Yugui
Published: (2023) -
Graphical models and variational Bayesian inference for financial networks
by: Xin, Luyin
Published: (2019)