Approximate Abstractions of Stochastic Hybrid Systems

DOI10.1109/TAC.2011.2160595MaRDI QIDQ5347900zbMATH OpenFDO

Authors Alessandro Abate, Alessandro D'Innocenzo, Maria D. Di Benedetto

Publication date 25 August 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2011.2160595

Mathematics Subject Classification ID

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

Cited in

(15)

• Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
• Automated verification and synthesis of stochastic hybrid systems: a survey
• How adaptive and reliable is your program?
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Time-constrained temporal logic control of multi-affine systems
• Interacting particle system based estimation of reach probability of general stochastic hybrid systems
• Random assignment versus fixed assignment in multilevel importance splitting for estimating stochastic reach probabilities
• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
• Abstraction for Stochastic Systems by Erlang’s Method of Stages
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• Approximations of Stochastic Hybrid Systems: A Compositional Approach
• Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• A framework to measure the robustness of programs in the unpredictable environment
• Approximate model checking of stochastic hybrid systems

This page was built for publication: Approximate Abstractions of Stochastic Hybrid Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347900)