Skip to main content
SpringerLink
Log in
Book cover

Stochastic Hybrid Systems

Theory and Safety Critical Applications

  • Book
  • © 2006

Overview

Editors:
  1. Henk A. P. Blom
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Lygeros
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Hot topic of current interest in a variety of research communities.

Part of the book series: Lecture Notes in Control and Information Sciences (LNCIS, volume 337)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Download chapter PDF

  2. Toward a General Theory of Stochastic Hybrid Systems

    • Manuela L. Bujorianu, John Lygeros
    Pages 3-30

  3. Hybrid Petri Nets with Diffusion That Have Into-Mappings with Generalised Stochastic Hybrid Processes

    • Mariken H.C. Everdij, Henk A.P. Blom
    Pages 31-63

  4. Communicating Piecewise Deterministic Markov Processes

    • Stefan Strubbe, Arjan van der Schaft
    Pages 65-104

  5. A Stochastic Approximation Method for Reachability Computations

    • Maria Prandini, Jianghai Hu
    Pages 107-139

  6. Critical Observability of a Class of Hybrid Systems and Application to Air Traffic Management

    • Elena De Santis, Maria D. Di Benedetto, Stefano Di Gennaro, Alessandro D’Innocenzo, Giordano Pola
    Pages 141-170

  7. Multirobot Navigation Functions I

    • Savvas G. Loizou, Kostas J. Kyriakopoulos
    Pages 171-207

  8. Multirobot Navigation Functions II: Towards Decentralization

    • Dimos V. Dimarogonas, Savvas G. Loizou, Kostas J. Kyriakopoulos
    Pages 209-253

  9. Monte Carlo Optimisation for Conflict Resolution in Air Traffic Control

    • Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski
    Pages 257-276

  10. Branching and Interacting Particle Interpretations of Rare Event Probabilities

    • Pierre Del Moral, Pascal Lezaud
    Pages 277-323

  11. Compositional Specification of a Multi-agent System by Stochastically and Dynamically Coloured Petri Nets

    • Mariken H.C. Everdij, Margriet B. Klompstra, Henk A.P. Blom, Bart Klein Obbink
    Pages 325-350

  12. A Sequential Particle Algorithm that Keeps the Particle System Alive

    • François LeGland, Nadia Oudjane
    Pages 351-389

  13. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation