Skip to main content
SpringerLink
Log in

Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings

  • Published:
Mathematics in Computer Science Aims and scope Submit manuscript

Abstract

The computation of the reachable set of states of a given dynamic system is an important step to verify its safety during operation. There are different methods of computing reachable sets, namely interval integration, capture basin, methods involving the minimum time to reach function, and level set methods. This work deals with interval integration to compute subpavings to over or under approximate reachable sets of low dimensional systems. The main advantage of this method is that, compared to guaranteed integration, it allows to control the amount of over-estimation at the cost of increased computational effort. An algorithm to over and under estimate sets through subpavings, which potentially reduces the computational load when the test function or the contractor is computationally heavy, is implemented and tested. This algorithm is used to compute inner and outer approximations of reachable sets. The test function and the contractors used in this work to obtain the subpavings involve guaranteed integration, provided either by the Euler method or by another guaranteed integration method. The methods developed were applied to compute inner and outer approximations of reachable sets for the double integrator example. From the results it was observed that using contractors instead of test functions yields much tighter results. It was also confirmed that for a given minimum box size there is an optimum time step such that with a greater or smaller time step worse results are obtained.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ding J., Sprinkle J., Tomlin C.J., Sastry S.S., Paunicka J.L.: Reachability calculations for vehicle safety during manned/unmanned vehicle interaction. J. Guid. Control Dyn. 35(1), 138–152 (2012)

    Article  Google Scholar 

  2. Margellos K., Lygeros J.: Toward 4-D trajectory management in air traffic control: a study based on Monte Carlo simulation and reachability analysis. IEEE Trans. Control Syst. Technol. 21(5), 1820–1833 (2013)

    Article  Google Scholar 

  3. Packard, A., Topcu, U., Seiler, P., Balas, G.: Quantitative Local Analysis of Nonlinear Systems Using Sum-of-Squares Decomposition, Main presentation. St.Louis, Missouri, USA: 2009 American Control Conference (2009, June 9)

  4. Djeridane, B., Lygeros, J.: Neural approximation of PDE solutions: an application to reachability computations. In: 45th IEE Conference on Decision and Control, pp. 3034–3039 (2006)

  5. Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for hybrid dynamics: the reachability problem. In: New Directions and Applications in Control Theory, pp. 193–205. Springer, Berlin Heidelberg (2005)

  6. Mitchell, I.: Application of level set methods to control and reachability problems in continuous and hybrid systems. PhD dissertation, Stanford University (2002)

  7. Mitchell I.M., Bayen A.M., Tomlin C.J.: A time-dependent Hamilton–Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans. Autom. Control 50(7), 947–957 (2005)

    Article  MathSciNet  Google Scholar 

  8. Lhommeau M., Jaulin L., Hardouin L.: Capture basin approximation using interval analysis. Int. J. Adapt. Control Signal Process. 25, 264–272 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  9. Neher M., Jackson K.R., Nedialkov N.S.: On Taylor Model Based Integration of ODEs. SIAM J. Numer. Anal. 45, 236–262 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  10. Nedialkov, N.S.: VNODE-LPa validated solver for initial value problems in ordinary differential equations. Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada, L8S 4K1, Technical Report CAS-06-06-NN, November 2006a. http://www.cas.mcmaster.ca/~nedialk/vnodelp

  11. Nedialkov N.S., Jackson K.R.: An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. Reliab. Comput. 5(3), 289–310 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  12. Nedialkov N.S., Jackson K.R., Pryce J.D.: An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliab. Comput. 7(6), 449–465 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  13. Janssen M., Van Hentenryck P., Deville Y.: A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. SIAM J. Numer. Anal. 40(5), 1896–1939 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  14. Asarin E., Dang T., Girard A.: Hybridization methods for the analysis of nonlinear systems. Acta Inform. 43(7), 451–476 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  15. Ramdani N., Meslem N., Candau Y.: A hybrid bounding method for computing an over-approximation for the reachable set of uncertain nonlinear systems. IEEE Trans. Autom. Control 54(10), 2352–2364 (2009)

    Article  MathSciNet  Google Scholar 

  16. Ramdani N., Meslem N., Candau Y.: Computing reachable sets for uncertain nonlinear monotone systems. Nonlinear Anal: Hybrid Syst. 4(2), 263–278 (2010)

    MATH  MathSciNet  Google Scholar 

  17. van Kampen, E., Chu, Q., Mulder, J., van Emden, M.: Nonlinear Aircraft Trim Using Interval Analysis. AIAA Guidance, Navigation, and Control Conference and Exhibit (2007)

  18. van Kampen E., Zaal P., de Weerdt E., Chu Q., Mulder J.: Optimization of human perception modeling using interval analysis. J. Guid. Control Dyn. 33, 42–52 (2010)

    Article  Google Scholar 

  19. de Weerdt, E., van Kampen, E., Chu, Q., Mulder, J.: New approach for integer ambiguity resolution using interval analysis. Navigation 55(4), 293–307 (2009)

  20. van Kampen, E., de Weerdt, E., Chu, Q., Mulder, J.: Aircraft Attitude Determination Using GPS and an Interval Integer Ambiguity Resolution Algorithm. AIAA Guidance, Navigation, and Control Conference, Chicago (2009)

  21. Filipe, N., de Weerdt, E., van Kampen, E., Chu, Q., Mulder, J.: Terminal Area Energy Management Trajectory Optimzation Using Interval Analysis. AIAA Guidance, Navigation, and Control Conference, Chicago (2009)

  22. de Weerdt, E., Chu, Q., Mulder, J.: Global Fuel Optimization for Constrained Spacecraft Formation Rotations. AIAA Guidance, Navigation, and Control Conference, Chicago (2009)

  23. Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM (2009)

  24. Knppel, O.: PROFIL/BIAS V 2.0 report 99.1. TUHH (1999)

  25. Rump, S.: INTLAB—INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)

  26. Jaulin, L., Kiefer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, Berlin (2001)

  27. Lin Y., Stadtherr M.A.: Validated solution of ODEs with parametric uncertainties. Comput. Aided Chem. Eng. 21, 167–172 (2006)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Automatic Control Laboratory 3 LA3, School of Engineering STI, École Polytechnique Fédérale de Lausanne EPFL, Lausanne and Institute for Systems and Robotics ISR, Instituto Superior Técnico IST, Lisbon, Portugal

    Francisco Rego

  2. Philips Healthcare, Eindhoven, The Netherlands

    Elwin de Weerdt

  3. Frames, Alphen aan der Rijn, The Netherlands

    Eddy van Oort

  4. Faculty of Aerospace Engineering, Control and Simulation Division, Delft University of Technology, Delft, The Netherlands

    Erik-Jan van Kampen & Qiping Chu

  5. Institute for Systems and Robotics ISR, Instituto Superior Técnico IST, Lisbon and National Institute Of Oceanography NIO, Dona Paula, Goa, India

    António M. Pascoal

Authors
  1. Francisco Rego
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elwin de Weerdt
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eddy van Oort
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Erik-Jan van Kampen
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Qiping Chu
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. António M. Pascoal
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francisco Rego.

Additional information

This work is part of the MicroNED MISAT cluster, project 1-D-1.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rego, F., de Weerdt, E., van Oort, E. et al. Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings. Math.Comput.Sci. 8, 425–442 (2014). https://doi.org/10.1007/s11786-014-0199-4

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11786-014-0199-4

Keywords

Mathematics Subject Classification

Search

Navigation