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
LEADER 02911nmm a2200349 u 4500
001 EB000375889
003 EBX01000000000000000228941
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540334675 
100 1 |a Blom, Henk A.P.  |e [editor] 
245 0 0 |a Stochastic Hybrid Systems  |h Elektronische Ressource  |b Theory and Safety Critical Applications  |c edited by Henk A.P. Blom, John Lygeros 
250 |a 1st ed. 2006 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2006, 2006 
300 |a XIV, 397 p  |b online resource 
505 0 |a 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 
653 |a Control, Robotics, Automation 
653 |a Control theory 
653 |a Systems Theory, Control 
653 |a System theory 
653 |a Control engineering 
653 |a Robotics 
653 |a Automation 
700 1 |a Lygeros, John  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Control and Information Sciences 
028 5 0 |a 10.1007/11587392 
856 4 0 |u https://doi.org/10.1007/11587392?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 629.8 
520 |a 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, air traffic control, biology, telecommunications, and embedded systems. Success stories in these application areas have made stochastic hybrid systems a very important, rapidly growing and dynamic research field since the beginning of the century, bridging the gap between stochastic analysis, computer science and control engineering. 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