Approximate model checking of stochastic hybrid systems
From MaRDI portal
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)
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
Cited in
(34)- A framework to measure the robustness of programs in the unpredictable environment
- 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
- Deep reinforcement learning with temporal logics
- Model-based formal reliability analysis of grid dynamics with solar energy sources
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
- A compositional modelling and analysis framework for stochastic hybrid systems
- Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion
- Model reduction of switched affine systems
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
- 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
- scientific article; zbMATH DE number 7455746 (Why is no real title available?)
- Approximate probabilistic verification of hybrid systems
- Efficient simulation of general stochastic hybrid systems
- Characterization and computation of infinite-horizon specifications over Markov processes
- Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Dynamic Bayesian networks for formal verification of structured stochastic processes
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)
