Efficient polyhedral enclosures for the reachable set of nonlinear control systems

Original Article

Abstract

This work presents a general theory for the construction of a polyhedral outer approximation of the reachable set (“polyhedral bounds”) of a dynamic system subject to time-varying inputs and uncertain initial conditions. This theory is inspired by the efficient methods for the construction of interval bounds based on comparison theorems. A numerically implementable instance of this theory leads to an auxiliary system of differential equations which can be solved with standard numerical integration methods. Meanwhile, the use of polyhedra provides greater flexibility in defining tight enclosures on the reachable set. These advantages are demonstrated with a few examples, which show that tight bounds can be efficiently computed for general, nonlinear systems. Further, it is demonstrated that the ability to use polyhedra provides a means to meaningfully distinguish between time-varying and constant, but uncertain, inputs.

Keywords

Control systems Reachability Linear programming Affine relaxations 

References

  1. 1.
    Althoff M, Stursberg O, Buss M (2008) Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Proceedings of the 47th IEEE conference on decision and control, pp 4042–4048Google Scholar
  2. 2.
    Bemporad A, Morari M (1999) Robust model predictive control: a survey. In: Garulli A, Tesi A (eds) Robustness in identification and control, lecture notes in control and information sciences. Springer, London, pp 207–226Google Scholar
  3. 3.
    Ben-Israel A, Greville TNE (2003) Generalized inverses: theory and applications, 2nd edn. Springer, New YorkMATHGoogle Scholar
  4. 4.
    Bertsimas D, Tsitsiklis JN (1997) Introduction to linear optimization. Athena Scientific, BelmontGoogle Scholar
  5. 5.
    Chachuat B, Villanueva M (2012) Bounding the solutions of parametric ODEs: when Taylor models meet differential inequalities. In: Bogle IDL, Fairweather M (eds) Proceedings of the 22nd European symposium on computer aided process engineering, pp 17–20Google Scholar
  6. 6.
    Chutinan A, Krogh BH (1998) Computing polyhedral approximations to flow pipes for dynamic systems. In: Proceedings of the 37th IEEE conference on decision and control, vol 2, pp 2089–2094Google Scholar
  7. 7.
    Chutinan A, Krogh BH (2003) Computational techniques for hybrid system verification. IEEE Trans Autom Control 48(1):64–75MathSciNetCrossRefGoogle Scholar
  8. 8.
    Dang T, Maler O (1998) Reachability analysis via face lifting. In: Henzinger T, Sastry S (eds) Hybrid systems: computation and control. Springer, Berlin, pp 96–109CrossRefGoogle Scholar
  9. 9.
    Dontchev AL, Lempio F (1992) Difference methods for differential inclusions: a survey. SIAM Rev 34(2):263–294MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Filippov AF (1988) Differential equations with discontinuous righthand sides. Kluwer Academic, BostonCrossRefGoogle Scholar
  11. 11.
    Gomez JA, Höffner K, Barton PI (2014) DFBAlab: a fast and reliable MATLAB code for dynamic flux balance analysis. BMC Bioinform 15(409):1–10Google Scholar
  12. 12.
    Greenstreet MR, Mitchell I (1998) Integrating projections. In: Henzinger T, Sastry S (eds) Hybrid systems: computation and control. Springer, Berlin, pp 159–174CrossRefGoogle Scholar
  13. 13.
    Greenstreet MR, Mitchell I (1999) Reachability analysis using polygonal projections. In: Vaandrager FW, van Schuppen JH (eds) Hybrid systems: computation and control, lecture notes in computer science. Springer, Berlin, pp 103–116CrossRefGoogle Scholar
  14. 14.
    Harrison GW (1977) Dynamic models with uncertain parameters. In: Avula XJR (ed) Proceedings of the first international conference on mathematical modeling, vol 1, pp 295–304. University of Missouri RollaGoogle Scholar
  15. 15.
    Harwood SM, Höffner K, Barton PI (2015) Efficient solution of ordinary differential equations with a parametric lexicographic linear program embedded. Numerische Mathematik. doi:10.1007/s00211-015-0760-3 Google Scholar
  16. 16.
    Harwood SM, Scott JK, Barton PI (2013) Bounds on reachable sets using ordinary differential equations with linear programs embedded. In: Tarbouriech S, Krstic M (eds) Nonlinear control systems, vol 9, pp 62–67Google Scholar
  17. 17.
    Harwood SM, Scott JK, Barton PI (2015) Bounds on reachable sets using ordinary differential equations with linear programs embedded. IMA J Math Control Inf. doi:10.1093/imamci/dnu054 Google Scholar
  18. 18.
    Hindmarsh AC, Brown PN, Grant KE, Lee SL, Serban R, Shumaker DE, Woodward CS (2005) SUNDIALS: suite of nonlinear and differential/algebraic equation solvers. ACM Trans Math Soft 31(3):363–396MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Hwang I, Stipanovic DM, Tomlin CJ (2003) Applications of polytopic approximations of reachable sets to linear dynamic games and a class of nonlinear systems. In: Proceedings of the American control conference, vol 6, pp 4613–4619Google Scholar
  20. 20.
    IBM: IBM ILOG CPLEX: high performance mathematical programming solver. http://www-01.ibm.com/software/commerce/optimization/cplex-optimizer/ (2014)
  21. 21.
    Kapela T, Zgliczyński P (2009) A Lohner-type algorithm for control systems and ordinary differential inclusions. Discrete Contin Dyn Syst Ser B 11(2):365–385MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Kieffer M, Walter E (2004) Guaranteed nonlinear state estimator for cooperative systems. Numer Algorithms 37(1–4):187–198MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Lambert JD (1991) Numerical methods for ordinary differential systems: the initial value problem. Wiley, New YorkMATHGoogle Scholar
  24. 24.
    Le Guernic C (2009) Reachability analysis of hybrid systems with linear continuous dynamics. Ph.D. thesis, Université Joseph-FourierGoogle Scholar
  25. 25.
    Lin Y, Stadtherr MA (2007) Validated solutions of initial value problems for parametric ODEs. Appl Numer Math 57(10):1145–1162MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Lin Y, Stadtherr MA (2008) Fault detection in nonlinear continuous-time systems with uncertain parameters. AIChE J 54(9):2335–2345CrossRefGoogle Scholar
  27. 27.
    Makino K, Berz M (1996) Remainder differential algebras and their applications. In: Berz M, Bischof C, Corliss G, Griewank A (eds) Computational differentiation: techniques, applications, and tools, Chap 5, pp 63–75. SIAMGoogle Scholar
  28. 28.
    Mangasarian OL, Shiau TH (1987) Lipschitz continuity of solutions of linear inequalities, programs, and complementarity problems. SIAM J Control Optim 25(3):583–595MathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Mattheij R, Molenaar J (2002) Ordinary differential equations in theory and practice. SIAM, PhiladelphiaCrossRefMATHGoogle Scholar
  30. 30.
    Mitchell I, Tomlin CJ (2000) Level set methods for computation in hybrid systems. In: Lynch N, Krogh BH (eds) Hybrid systems: computation and control. Springer, Berlin, pp 310–323CrossRefGoogle Scholar
  31. 31.
    Mitchell IM, Bayen AM, Tomlin CJ (2005) A time-dependent Hamilton–Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans Autom Control 50(7):947–957MathSciNetCrossRefGoogle Scholar
  32. 32.
    Mitsos A, Chachuat B, Barton PI (2009) McCormick-based relaxations of algorithms. SIAM J Optim 20(2):573–601MathSciNetCrossRefMATHGoogle Scholar
  33. 33.
    Nedialkov NS (1999) Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. Ph.D. thesis, University of TorontoGoogle Scholar
  34. 34.
    Neumaier A (1990) Interval methods for systems of equations. Cambridge University Press, New YorkMATHGoogle Scholar
  35. 35.
    Ramdani N, Meslem N, Candau Y (2009) A hybrid bounding method for computing an over-approximation for the reachable set of uncertain nonlinear systems. IEEE Trans Autom Control 54(10):2352–2364MathSciNetCrossRefGoogle Scholar
  36. 36.
    Ramdani N, Nedialkov NS (2011) Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques. Nonlinear Anal Hybrid Syst 5:149–162MathSciNetCrossRefMATHGoogle Scholar
  37. 37.
    Scott JK (2012) Reachability analysis and deterministic global optimization of differential-algebraic systems. Ph.D. thesis, Massachusetts Institute of TechnologyGoogle Scholar
  38. 38.
    Scott JK, Barton PI (2010) Tight, efficient bounds on the solutions of chemical kinetics models. Comput Chem Eng 34(5):717–731CrossRefGoogle Scholar
  39. 39.
    Scott JK, Barton PI (2013) Bounds on the reachable sets of nonlinear control systems. Automatica 49(1):93–100MathSciNetCrossRefMATHGoogle Scholar
  40. 40.
    Scott JK, Barton PI (2013) Improved relaxations for the parametric solutions of ODEs using differential inequalities. J Glob Optim 57:143–176MathSciNetCrossRefMATHGoogle Scholar
  41. 41.
    Scott JK, Chachuat B, Barton PI (2013) Nonlinear convex and concave relaxations for the solutions of parametric ODEs. Optimal Control Appl Methods 34(2):145–163MathSciNetCrossRefMATHGoogle Scholar
  42. 42.
    Singer AB, Barton PI (2006) Bounding the solutions of parameter dependent nonlinear ordinary differential equations. SIAM J Sci Comput 27(6):2167–2182MathSciNetCrossRefMATHGoogle Scholar
  43. 43.
    Singer AB, Barton PI (2006) Global optimization with nonlinear ordinary differential equations. J Glob Optim 34(2):159–190MathSciNetCrossRefMATHGoogle Scholar
  44. 44.
    Srinivasan B, Amrhein M, Bonvin D (1998) Reaction and flow variants/invariants in chemical reaction systems with inlet and outlet streams. AIChE J 44(8):1858–1867CrossRefGoogle Scholar
  45. 45.
    Szarski J (1965) Differential inequalities. Polish Scientific, WarszawaMATHGoogle Scholar
  46. 46.
    Wets RJB (1985) On the continuity of the value of a linear program and of related polyhedral-valued multifunctions. Math Program Study 24:14–29MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag London 2016

Authors and Affiliations

  1. 1.Process Systems Engineering LaboratoryMassachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations