Stochastic Hybrid Systems Theory and Safety Critical Applications

Stochastic hybrid systems involve the coupling of discrete (logic based), continuous and probabilistic phenomena. Because of their versatility and generality, methods for modelling and analysis of stochastic hybrid systems have proved invaluable in a wide range of applications, including finance, ai...

Full description

Bibliographic Details
Other Authors: Blom, Henk A.P. (Editor), Lygeros, John (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006, 2006
Edition:1st ed. 2006
Series:Lecture Notes in Control and Information Sciences
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Part I: Stochastic Hybrid Processes
  • Toward a General Theory of Stochastic Hybrid Systems
  • Hybrid Petri Nets with Diffusion that have Into-Mappings with Generalised Stochastic Hybrid Processes
  • Part II: Analytical Approaches
  • A Stochastic Approximation Method for Reachability Computations
  • Critical Ovservability of a Class of Hybrid Systems and Application to Air Traffic Management
  • Part III: Complexity and Randomization
  • Monte Carlo Optimisation for Conflict Resolution in Air Traffic Control
  • Branching and Interactign Particle Interpretations of Rare Event Probabilites