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
Corporate Author: SpringerLink (Online service)
Other Authors: Blom, Henk A. P. (Editor), Lygeros, John (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series:Lecture Notes in Control and Information Science, 337
Subjects:
Online Access:Full Text via HEAL-Link
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.