Stochastic Hybrid Systems: Theory and Safety Critical Applications

by Henk A.P. Blom (Editor), John Lygeros (Editor)

Overview

Shastic 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 shastic hybrid systems have proved invaluable in a wide range of applications, including finance, air traffic control, biology, telecommunications, and embedded systems. Success stories in these application areas have made shastic hybrid systems a very important, rapidly growing and dynamic research field since the beginning of the century, bridging the gap between shastic analysis, computer science and control engineering.

This volume presents a number of fundamental theoretical advances in the area of shastic hybrid systems, motivated primarily from applications to air traffic management. Air traffic is arguably the most challenging application area for shastic hybrid systems, since it requires handling complex distributed systems, multiple human in the loop elements and hybrid dynamics. The editors have collected key contributions, which define the state-of-the-art, present novel directions, and highlight emerging application areas.

Product Details

ISBN-13:	9783540334668
Publisher:	Springer Berlin Heidelberg
Publication date:	07/26/2006
Series:	Lecture Notes in Control and Information Sciences , #337
Edition description:	2006
Pages:	397
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

Part I: Shastic Hybrid Processes.- Toward a General Theory of Shastic Hybrid Systems.- Hybrid Petri Nets with Diffusion that have Into-Mappings with Generalised Shastic Hybrid Processes.- Part II: Analytical Approaches.- A Shastic 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.