Decisiveness of stochastic systems and its application to hybrid models

DOI10.1016/J.IC.2021.104861OpenAlexW4225633591MaRDI QIDQ2105467FDOQ2105467

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

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 systemsmodel checkingreachabilitystochastic systemso-minimality

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

Cited In (2)

• Multiscale couplings in prototype hybrid deterministic/stochastic systems. I: Deterministic closures
• Decision-making on the solution of a stochastic nonlinear dynamical system of Kannan-type in new sequence space of soft functions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105467)