Approximate model checking of stochastic hybrid systems
DOI10.3166/EJC.16.624-641zbMATH Open1216.93091DBLPjournals/ejcon/AbateKLP10OpenAlexW1993112505WikidataQ57801394 ScholiaQ57801394MaRDI QIDQ629650FDOQ629650
Authors: Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini 
Publication date: 9 March 2011
Published in: European Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/ejc.16.624-641
Recommendations
- Higher-order approximations for verification of stochastic hybrid systems
- Approximate probabilistic verification of hybrid systems
- Approximate Abstractions of Stochastic Hybrid Systems
- Finite state approximation for verification of partially observable stochastic hybrid systems
- Hybrid Systems: Computation and Control
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- A compositional modelling and verification framework for stochastic hybrid systems
- Approximations of Stochastic Hybrid Systems
- Hybrid Systems: Computation and Control
Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03)
Cited In (34)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Formal abstraction and synthesis of parametric stochastic processes
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Finite state approximation for verification of partially observable stochastic hybrid systems
- How adaptive and reliable is your program?
- Quantitative static analysis of communication protocols using abstract Markov chains
- Decisiveness of stochastic systems and its application to hybrid models
- Higher-order approximations for verification of stochastic hybrid systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Model-based formal reliability analysis of grid dynamics with solar energy sources
- Deep reinforcement learning with temporal logics
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- A compositional modelling and analysis framework for stochastic hybrid systems
- Model reduction of switched affine systems
- Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Measurability and safety verification for stochastic hybrid systems
- Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
- Confidence bounds for statistical model checking of probabilistic hybrid systems
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
- Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
- On the relationship between bisimulation and trace equivalence in an approximate probabilistic context
- Title not available (Why is that?)
- Approximate probabilistic verification of hybrid systems
- Efficient simulation of general stochastic hybrid systems
- Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Characterization and computation of infinite-horizon specifications over Markov processes
- A framework to measure the robustness of programs in the unpredictable environment
- Dynamic Bayesian networks for formal verification of structured stochastic processes
Uses Software
This page was built for publication: Approximate model checking of stochastic hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q629650)
