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...
Main Author: | Kong, Pingfan |
---|---|
Other Authors: | Liu Yang |
Format: | Thesis |
Language: | English |
Published: |
2016
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/65915 |
Similar Items
-
Graphical models and variational Bayesian inference for financial networks
by: Xin, Luyin
Published: (2019) -
Generic Hebbian ordering-based fuzzy rule base reduced neuro-fuzzy system with fuzzy rule interpolation (RS-Hebb+)
by: Yan, Hongxu
Published: (2017) -
Scalar and homoskedastic models for SAR and POLSAR data
by: Le, Thanh-Hai
Published: (2014) -
Electricity price forecasting using ensemble neural networks
by: Nainan Abhay George
Published: (2017) -
Pairwise copula cyclic graphical model for spatial extremes modeling
by: Zhu, Junting
Published: (2014)