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)

Recommendations

• Decisiveness of stochastic systems and its application to hybrid models
• Analysing decisive stochastic processes
• When are stochastic transition systems tameable?
• Hybrid Systems: Computation and Control
• Measurability and safety verification for stochastic hybrid systems

Cites work

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

Cited in

(2)

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

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)