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

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

Related Items (15)

Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey ⋮ Stochastic Operators and Semigroups and Their Applications in Physics and Biology ⋮ Safety verification for probabilistic hybrid systems ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ On nonlinear discrete-time systems driven by Markov chains ⋮ Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ 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 ⋮ Fluid limit theorems for stochastic hybrid systems with application to neuron models ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ The Border Collision Normal Form with Stochastic Switching Surface ⋮ How adaptive and reliable is your program?

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