Skip to main content
SpringerLink
Log in

Applications of Stochastic Reachability

  • Chapter
  • First Online:
Stochastic Reachability Analysis of Hybrid Systems

Part of the book series: Communications and Control Engineering ((CCE))

Abstract

This chapter aims to give a flavour of the range of stochastic reachability applications. A list (that is not exhaustive) with appropriate references is given. The chapter is concerned only with the applications in air traffic management and biology. For air traffic management we summarise the existing work on using stochastic reachability for conflict detection and conflict resolution. The aircraft conflicts represent situations where an aircraft comes too close to another aircraft or enters a forbidden zone. The application of stochastic reachability to conflict detection is quite clear and it will have a great impact in the context of free flight. For conflict resolution, stochastic reachability analysis alone is not enough. It should be combined with other control techniques like model predictive control, path planning or randomised algorithms. Stochastic reachability has proved to be a powerful tool for the analysis of biological systems. These systems are inherently noisy and have hybrid behaviour, and most of their analysis problems could be modelled in the framework of stochastic reachability.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Blom, H.A.P., Bakker, G.J., Krystul, J., Klompstra, M.B., Obbink, B.K.: Free flight collision risk estimation by sequential Monte Carlo simulation. In: Cassandras, C.G., Lygeros, J. (eds.) Stochastic Hybrid Systems; Recent Developments and Research Trends. Taylor & Francis/CRC Press, London/Boca Raton (2007) (Chap. 10)

    Google Scholar 

  2. Blom, H.A.P., Bakker, G.J.: Conflict probability and incrossing probability in air traffic management. In: Proc. of the 41st IEEE Conference on Decision and Control 3, 2421–2426 (2002)

    Google Scholar 

  3. Blom, H.A.P., Stroeve, S.H., Everdij, M.H.C., Van der Park, M.N.J.: Collision risk modelling of air traffic. In: Proc. of European Control Conference (2003)

    Google Scholar 

  4. El-Samad, H., Fazel, M., Liu, X., Papachristodoulou, A., Prajna, S.: Stochastic reachability analysis in complex biological networks. In: Proc. of the IEEE American Control Conference (2006) (6 pp.)

    Google Scholar 

  5. Everdij, M., Blom, H.A.P.: Bias and uncertainty in accident risk assessment. NLR Report CR-2002-137, National Laboratory of Aerospace NLR (2002)

    Google Scholar 

  6. Everdij, M., Blom, H.A.P.: Modelling hybrid state Markov processes through dynamically and stochastically coloured Petri nets. HYBRIDGE Deliverable D2.4 (2005). Available on [126]

    Google Scholar 

  7. Everdij, M., Blom, H.A.P., Stroeve, S.H.: Structured assessment of bias and uncertainty in Monte Carlo simulated ask risk. In: Proc. of the 8th Int. Conf. on Probabilistic Safety Assessment and Management (2006)

    Google Scholar 

  8. Hu, J., Wu, W., Sastry, S.: Modeling subtilin production in Bacillus subtilis using stochastic hybrid systems. In: Alur, R., Pappas, G. (eds.) Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 2993, pp. 163–166. Springer, Berlin (2004)

    Google Scholar 

  9. Hu, J., Prandini, M., Sastry, S.: Probabilistic safety analysis in three dimensional aircraft flight. In: Proc. of the 42nd IEEE Conference on Decision and Control, pp. 5335–5340 (2003)

    Google Scholar 

  10. Hu, J., Prandini, M., Sastry, S.: Aircraft conflict prediction in the presence of a spatially correlated wind field. IEEE Trans. Intell. Transp. Syst. 6(3), 326–340 (2005)

    Article  Google Scholar 

  11. European Commission HYBRIDGE project: Distributed control and stochastic analysis of hybrid systems supporting safety critical real-time system design. www.nlr.nl/public/hosted-sites/hybridge/

  12. Hu, J., Prandini, M.: Aircraft conflict detection: a method for computing the probability of conflict based on Markov chain approximation. In: Proc. of the European Control Conference (2003)

    Google Scholar 

  13. European Commission iFLY project: Safety, complexity and responsibility based design and validation of highly automated air traffic management. http://ifly.nlr.nl/

  14. Lymperopoulos, I., Lygeros, J.: Sequential Monte Carlo methods for multi-aircraft trajectory prediction in air traffic management. Int. J. Adapt. Control Signal Process. 24, 830–849 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  15. Lymperopoulos, I., Lygeros, J.: Improved multi-aircraft ground trajectory prediction for air traffic control. J. Guid. Control Dyn. 33, 347–362 (2010)

    Article  Google Scholar 

  16. Lymperopoulos, I., Lygeros, J.: Improved ground trajectory prediction by multi-aircraft track fusion for air traffic control. In: AIAA Guidance, Navigation and Control Conference and Exhibit AIAA-2009-5784 (2009)

    Google Scholar 

  17. Lymperopoulos, I., Lygeros, J.: Adaptive aircraft trajectory prediction using particle filters. In: AIAA Guidance, Navigation and Control Conference and Exhibit (2009)

    Google Scholar 

  18. Prandini, M., Hu, J.: Applications of reachability analysis for stochastic hybrid systems to aircraft conflict prediction. IEEE Trans. Autom. Control 54(4), 913–917 (2009)

    Article  MathSciNet  Google Scholar 

  19. Riley, D.: Modeling, simulation, and verification of biochemical processes using stochastic hybrid systems. PhD Dissertation (2009)

    Google Scholar 

  20. Riley, D., Koutsoukos, X., Riley, K.: Reachability analysis of a biodiesel production system using stochastic hybrid systems. In: Proc. of 15th IEEE Mediterranean Conference on Control and Automation (2007)

    Google Scholar 

  21. Riley, D., Koutsoukos, X., Riley, K.: Safety analysis of sugar cataract developement using stochastic hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G.C. (eds.) Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 4416, pp. 758–761. Springer, Berlin (2007)

    Chapter  Google Scholar 

  22. Riley, D., Koutsoukos, X., Riley, K.: Reachability analysis for stochastic hybrid systems using multilevel splitting. In: Majumdar, R., Tabuada, P. (eds.) Hybrid Systems: Computation and Control, vol. 5469, pp. 460–464 (2009)

    Chapter  Google Scholar 

  23. Watkins, O.J.: Stochastic reachability, conflict detection, and air traffic management. Doctoral thesis (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematics, University of Manchester, Manchester, UK

    Luminita Manuela Bujorianu

Authors
  1. Luminita Manuela Bujorianu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag London Limited

About this chapter

Cite this chapter

Bujorianu, L.M. (2012). Applications of Stochastic Reachability. In: Stochastic Reachability Analysis of Hybrid Systems. Communications and Control Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-2795-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2795-6_11

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-2794-9

  • Online ISBN: 978-1-4471-2795-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation