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)

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)

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

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)