scholarly journals Reachability for partially observable discrete time stochastic hybrid systems

Automatica ◽  
2014 ◽  
Vol 50 (8) ◽  
pp. 1989-1998 ◽  
Author(s):  
Kendra Lesser ◽  
Meeko Oishi
Keyword(s):  
Hybrid Systems ◽  
Discrete Time ◽  
Stochastic Hybrid Systems ◽  
Partially Observable

A stochastic games framework for verification and control of discrete time stochastic hybrid systems

Automatica ◽  
2013 ◽  
Vol 49 (9) ◽  
pp. 2665-2674 ◽  
Author(s):  
Jerry Ding ◽  
Maryam Kamgarpour ◽  
Sean Summers ◽  
Alessandro Abate ◽  
John Lygeros ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Discrete Time ◽  
Stochastic Games ◽  
Stochastic Hybrid Systems ◽  
And Control
Sign in / Sign up

Export Citation Format

Share Document