Decisiveness of stochastic systems and its application to hybrid models

DOI10.1016/j.ic.2021.104861OpenAlexW4225633591MaRDI QIDQ2105467

Pierre Vandenhove, Thomas Brihaye, Patricia Bouyer, Cédric Rivière, Mickael Randour

Publication date: 8 December 2022

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2021.104861

zbMATH Keywords

hybrid systemsreachabilitymodel checkingo-minimalitystochastic systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stochastic hybrid systems: a powerful framework for complex, large scale applications
• Approximate model checking of stochastic hybrid systems
• Stochastic reachability analysis of hybrid systems.
• The algorithmic analysis of hybrid systems
• First order tameness of measures
• What's decidable about hybrid automata?
• A theory of timed automata
• When are stochastic transition systems tameable?
• Updatable timed automata
• Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
• O-minimal hybrid systems.
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Stochastic Timed Automata
• Stochastic hybrid systems for studying biochemical processes
• Stochastic Hybrid Systems
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Probability
• Composition of Stochastic Transition Systems Based on Spans and Couplings
• An additive measure in o-minimal expansions of fields
• Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Decisive Markov Chains
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Decisiveness of stochastic systems and its application to hybrid models