Approximate Abstractions of Stochastic Hybrid Systems

DOI10.1109/TAC.2011.2160595zbMath1368.93655MaRDI QIDQ5347900

Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Alessandro Abate

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) 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 (11)

Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Interacting particle system based estimation of reach probability of general stochastic hybrid systems ⋮ 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 ⋮ Random assignment versus fixed assignment in multilevel importance splitting for estimating stochastic reach probabilities ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ How adaptive and reliable is your program?

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