Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis

2020 ◽  
Author(s):  
Yi Chou ◽  
Hansol Yoon ◽  
Sriram Sankaranarayanan
Keyword(s):  
Bayesian Estimation ◽  
Reachability Analysis ◽  
Runtime Monitoring

BAYESIAN ESTIMATION OF A TIME DEPENDENT INTERNAL HEAT SOURCE IN A HETEROGENEOUS MEDIA

2016 ◽  
Author(s):  
Carolina Palma Naveira Cotta ◽  
Kelvin Chen ◽  
Christopher Tostado ◽  
Philippe Rollemberg d'Egmont ◽  
Fernando Duda ◽  
...  
Keyword(s):  
Heat Source ◽  
Bayesian Estimation ◽  
Heterogeneous Media ◽  
Internal Heat ◽  
Internal Heat Source ◽  
Time Dependent

Symbolic Reachability Analysis of Hybrid Systems

2009 ◽  
Vol 19 (12) ◽  
pp. 3111-3121 ◽  
Author(s):  
Hai-Bin ZHANG ◽  
Zhen-Hua DUAN
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

2013 ◽  
Vol 33 (5) ◽  
pp. 1289-1293
Author(s):  
Jin ZOU ◽  
Wang LIN ◽  
Yong LUO ◽  
Zhenbing ZENG
Keyword(s):  
Hybrid Systems ◽  
Reachability Analysis ◽  
Nonlinear Hybrid
Sign in / Sign up

Export Citation Format

Share Document