Stochastic hybrid systems. Theory and safety critical applications.

zbMath1094.93003MaRDI QIDQ2494653

No author found.

Publication date: 19 July 2006

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

Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

93-06: Proceedings, conferences, collections, etc. pertaining to systems and control theory

90-06: Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming

Related Items

Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey, 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, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Stabilizability of a class of stochastic bilinear hybrid systems, 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, The Border Collision Normal Form with Stochastic Switching Surface, Stochastic Operators and Semigroups and Their Applications in Physics and Biology, Fluid limit theorems for stochastic hybrid systems with application to neuron models