Measurability and safety verification for stochastic hybrid systems

DOI10.1145/1967701.1967710zbMath1362.68170OpenAlexW1980648830MaRDI QIDQ2986712

Nicolás Wolovick, Martin Fränzle, Holger Hermanns, Ernst Moritz Hahn, Li-jun Zhang

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1967701.1967710

zbMATH Keywords

reachabilitymeasurabilitynondeterministic Markov processprobabilistic hybrid automatonstochastic hybrid automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (17)

Analysis of faults in cyber-physical systems by finite discrete-time Markov chains ⋮ A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ When are stochastic transition systems tameable? ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Robustness analysis of continuous-depth models with Lagrangian techniques ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion ⋮ A hybrid automata model of social networking addiction ⋮ Identity-Based Cryptosystems and Quadratic Residuosity ⋮ A probabilistic calculus of cyber-physical systems ⋮ Efficient simulation of general stochastic hybrid systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Measurability and safety verification for stochastic hybrid systems