Approximate Abstractions of Stochastic Hybrid Systems
From MaRDI portal
Publication:5347900
DOI10.1109/TAC.2011.2160595zbMATH Open1368.93655MaRDI QIDQ5347900FDOQ5347900
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)
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)
- Approximate model checking of stochastic hybrid systems
- Abstraction for Stochastic Systems by Erlang’s Method of Stages
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- How adaptive and reliable is your program?
- Time-constrained temporal logic control of multi-affine systems
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- 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
- A framework to measure the robustness of programs in the unpredictable environment
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of 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)