Stochastic Hybrid Systems: Theory and Safety Critical Applications

ISBN-13: 9783540334668 / Angielski / Miękka / 2006 / 397 str.

Henk Blom; John Lygeros

Opis

This volume presents a number of fundamental theoretical advances in the area of stochastic hybrid systems, motivated primarily from applications to air traffic management. Air traffic is arguably the most challenging application area for stochastic 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.

Spis treści

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.