Approximate model checking of stochastic hybrid systems
From MaRDI portal
Publication:629650
DOI10.3166/EJC.16.624-641zbMath1216.93091OpenAlexW1993112505WikidataQ57801394 ScholiaQ57801394MaRDI QIDQ629650
Maria Prandini, Alessandro Abate, John Lygeros, Joost-Pieter Katoen
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
Discrete-time control/observation systems (93C55) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) 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
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions, Formal abstraction and synthesis of parametric stochastic processes, Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction, A stochastic games framework for verification and control of discrete time stochastic hybrid systems, Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources, Characterization and computation of infinite-horizon specifications over Markov processes, Probabilistic timed automata with clock-dependent probabilities, Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations, A framework to measure the robustness of programs in the unpredictable environment, Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes, Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes, Unnamed Item, Model reduction of switched affine systems, On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context, Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach, Stochastic hybrid automata with delayed transitions to model biochemical systems with delays, A compositional modelling and analysis framework for stochastic hybrid systems, Dynamic Bayesian networks for formal verification of structured stochastic processes, Deep reinforcement learning with temporal logics, Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations, Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion, Quantitative static analysis of communication protocols using abstract Markov chains, Efficient simulation of general stochastic hybrid systems, Automated verification and synthesis of stochastic hybrid systems: a survey, Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations, Decisiveness of stochastic systems and its application to hybrid models, How adaptive and reliable is your program?
Uses Software
