Stochastic hybrid systems. Theory and safety critical applications.

MaRDI QIDQ2494653zbMATH OpenFDO

Authors

Publication date 19 July 2006

Published in Lecture Notes in Control and Information Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming (90-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)

Recommendations

• Stochastic Hybrid Systems
• scientific article; zbMATH DE number 1444349
• Stochastic reachability analysis of hybrid systems.
• Toward a general theory of stochastic hybrid systems
• Stochastic hybrid systems: a powerful framework for complex, large scale applications
• Stability analysis for stochastic hybrid systems: a survey
• Approximations of Stochastic Hybrid Systems
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Hybrid Systems: Computation and Control
• Modeling stochastic hybrid systems

Cited in

(20)

• Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
• Automated verification and synthesis of stochastic hybrid systems: a survey
• How adaptive and reliable is your program?
• A compositional modelling and analysis framework for stochastic hybrid systems
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• On nonlinear discrete-time systems driven by Markov chains
• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
• The border collision normal form with stochastic switching surface
• Stochastic Operators and Semigroups and Their Applications in Physics and Biology
• Measurability and safety verification for stochastic hybrid systems
• Fluid limit theorems for stochastic hybrid systems with application to neuron models
• Safety verification for probabilistic hybrid systems
• Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
• State constrained reachability for stochastic hybrid systems
• Nonconservative stability criteria for semi-Markovian impulsive switched systems
• Stability analysis for impulsive switched systems with bounded sojourn time intervals
• Abstraction-based synthesis of stochastic hybrid systems
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• Stabilizability of a class of stochastic bilinear hybrid systems
• Average reward reinforcement learning for omega-regular and mean-payoff objectives

This page was built for publication: Stochastic hybrid systems. Theory and safety critical applications.

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