Markov Set-Chains as Abstractions of Stochastic Hybrid Systems

DOI10.1007/978-3-540-78929-1_1zbMath1144.93367OpenAlexW1581556443MaRDI QIDQ3523095

Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Alessandro Abate, Shankar S. Sastry

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_1

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Stochastic systems in control theory (general) (93E03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (4)

Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Consistency and refinement for interval Markov chains ⋮ Constraint Markov chains ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Markov set-chains
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Approximation Metrics for Discrete and Continuous Systems
• Model-checking continuous-time Markov chains
• Stochastic differential equations. An introduction with applications.

This page was built for publication: Markov Set-Chains as Abstractions of Stochastic Hybrid Systems