Stochastic Hybrid Systems – Formal Analysis and Computable Verification

Speaker

Dr. Alessandro Abate, TU Delft
Title Stochastic Hybrid Systems – Formal Analysis and Computable Verification
When 22.02.2010, 14:00
Where Seminarraum Informatik 11
Abstract Though the lens of the notion of ‘reachability’, this talk looks at topics in analysis and optimal control synthesis for stochastic hybrid systems, a class of probabilistic models with heterogeneous dynamics. A approach to these topics, based on known concepts drawn from the formal verification literature, is proposed, and a few early results and directions are discussed.
Slides download