A hybrid bounding method for computing an over-approximation for the reachable set of uncertain nonlinear systems

IEEE Transactions on Automatic Control

Volumn 54, Issue 10, 2009, Pages 2352-2364

  Ramdani, Nacim ^a   Meslem, Nacim ^b,c   Candau, Yves ^b  

^a INRIA   (France)

^b UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^c INRA Institut National de la Recherche Agronomique   (France)

Author keywords

Hybrid systems; Interval analysis; Reachability analysis; Uncertain systems

Indexed keywords

BOUNDING METHOD; BOUNDING SYSTEM; COMPARISON THEOREM; COMPUTATIONAL COSTS; CONTINUOUS DYNAMICAL SYSTEM; DIFFERENTIABLE FUNCTIONS; DIFFERENTIAL INEQUALITIES; HYBRID AUTOMATONS; INTERVAL ANALYSIS; INTERVAL METHODS; INTERVAL TECHNIQUE; MODE-SWITCHING; NUMERICAL INTEGRATION METHODS; PIECE-WISE; PRACTICAL STABILITY; REACHABILITY ANALYSIS; REACHABLE SET; SUFFICIENT CONDITIONS; UNCERTAIN DYNAMICS; UNCERTAIN NONLINEAR SYSTEMS;

HYBRID COMPUTERS; HYBRID SYSTEMS; NONLINEAR SYSTEMS; NUMERICAL METHODS; TRANSLATION (LANGUAGES); UNCERTAIN SYSTEMS;

SET THEORY;

EID: 70350344688     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2009.2028974     Document Type: Article

References (38)

1. C. J. Tomlin, I. M. Mitchell, A. M. Bayen, and M. Oishi, "Computational techniques for the verification of hybrid systems," Proc. IEEE, vol. 91, no. 7, pp. 986-1001, Jul. 2003.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theor. Comput. Sci., vol. 138, pp. 3-34, 1995.
3. E. Asarin, O. Maler, and A. Pnueli, "Reachability analysis of dynamical systems having piecewise-constant derivatives," Theor. Comput. Sci. vol. 138, pp. 35-65, 1995.
4. E. Asarin, O. Bournez, T. Dang, and O. Maler, "Approximate reachability analysis of piecewise-linear dynamical systems," in Proc. HSCC'00 2000, pp. 20-31.
5. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid systems verification," IEEE Trans. Autom. Control, vol. 48, no. 1, pp. 64-75, Jan. 2003.
6. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Proc. HSCC, 2005, pp. 291-305.
7. O. Botchkarev and S. Tripakis, "Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations," in Proc. HSCC, 2000, pp. 73-88.
8. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for hybrid dynamics: The reachability problem," in New Directions and Applications in Control Theory, Lecture Notes in Control and Information Sciences, W. Dayawansa, A. Lindquist, and Y. Zhou, Eds. New York: Springer-Verlag, 2005, vol. 321, pp. 193-205.
9. H. Guéguen and J. Zaytoon, "On the formal verification of hybrid systems," Control Eng. Prac., vol. 12, pp. 1253-1267, 2004.
10. L. Doyen, T. Henzinger, and J. Raskin, "Automatic rectangular refinement of affine hybrid systems," in Proc. FORMATS'05, 2005, pp. 144-161.
11. M.-A. Lefebvre and H. Guéguen, "Hybrid abstractions of affine systems," Nonlin. Anal., vol. 65, no. 6, pp. 1150-1167, 2006.
12. M. Kloetzer and C. Belta, "Reachability analysis of multi-affine systems," in Proc. HSCC, 2006, pp. 348-362.
13. A. Tiwari and G. Khanna, "Series abstractions for hybrid automata," in Proc. HSCC, 2002, pp. 465-478.
14. G. Batt, C. Belta, and R. Weiss, "Model checking genetic regulatory networks with parameter uncertainty," in Proc. HSCC, 2007, pp. 61-75.
15. E. Asarin, T. Dang, and A. Girard, "Hybridization methods for the analysis of non-linear systems," Acta Informatica, vol. 43, pp. 451-476, 2007.
16. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependant hamilton-jacobi formulation of reachable sets for continuous dynamics games," IEEE Trans. Autom. Control, vol. 50, no. 7, pp. 947-957, Jul. 2005.
17. A. M. Bayen, E. Crück, and C. J. Tomlin, "Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: Solving the hamilton-jacobi equation using viability techniques," in Proc. HSCC, 2002, pp. 90-104.
18. N. Nedialkov, K. Jackson, and G. Corliss, "Validated solutions of initial value problems for ordinary differential equations," Appl. Math. Computat., vol. 105, pp. 21-68, 1999.
19. T. Henzinger, B. Horowitz, R. Majumdar, and H. Wong-Toi, "Beyond HyTech: Hybrid systems analysis using interval numerical methods," in Proc. HSCC, 2000, pp. 130-144.
20. A. Rauh, M. Kletting, H. Aschemann, and E. Hofer, "Interval methods for simulation of dynamical systems with state-dependent switching characteristics," in Proc. IEEE Int. Conf. Control Appl., Munich, Germany, 2006, pp. 355-360.
21. M. Müller, "Uber das fundamentaltheorem in der theorie der gewöhnlichen differentialgleichungen," Mathematische Zeitschrift vol. 26, pp. 619-645, 1927.
22. W.Walter, "Differential inequalities and maximum principles: Theory, new methods and applications," Nonlin. Anal., Theory, Methods Appl. vol. 30, no. 8, pp. 4695-4711, 1997.
23. M. Kieffer, E.Walter, and I. Simeonov, "Guaranteed nonlinear parameter estimation for continuous-time dynamical models," in Proc. 14th IFAC Symp. Syst. Ident., Newcastle, Australia, 2006, pp. 843-848.
24. L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics. London, U.K.: Springer-Verlag, 2001.
25. R. Moore, Interval Analysis. Englewood Cliffs, NJ: Prentice-Hall, 1966.
26. N. Nedialkov, K. Jackson, and J. Pryce, "An effective high-order interval method for validating existence and uniqueness of the solution of an ivp for an ode," Reliable Comput., vol. 7, no. 6, pp. 449-465, 2001.
27. R. J. Lohner, "Enclosing the solutions of ordinary initial and boundary value problems," in Computer Arithmetic: Scientific Computation and Programming Languages. Stuttgart, Germany: Wiley, 1987, pp. 255-286.
28. M. Berz and K. Makino, "Verified integration of odes and flows using differential algebraic methods on high-order taylor models," Reliable Comput., vol. 4, pp. 361-369, 1998.
29. J. Hoefkens, M. Berz, and K. Makino, "Controlling the wrapping effect in the solution of odes for asteroids," Reliable Comput., vol. 8, pp. 21-41, 2003.
30. N. S. Nedialkov and K. R. Jackson, "An interval hermite-obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation," Reliable Comput., vol. 5, pp. 289-310, 1999.
31. M. Janssen, P. Hentenryck, and Y. Deville, "A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations," SIAM J. Numer. Anal., vol. 40, pp. 1896-1939, 2002.
32. N. Ramdani, N. Meslem, T. Raïssi, and Y. Candau, "Set-membership identification of continuous-time systems," in Proc. 14th IFAC Symp. System Ident., Newcastle, Australia, 2006, pp. 446-451.
33. L. Rall and G. F. Corliss, "Introduction to automatic differentiation," in In Computational Differentiation: Techniques, Applications, and Tools. Philadelphia, PA: SIAM, 1996, pp. 1-18.
34. N. Nedialkov, "Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation," Ph.D. dissertation, Univ. Toronto, Toronto, ON, Canada, 1999.
35. X. Xu and G. Zhai, "Practical stability and stabilization of hybrid and switched systems," IEEE Trans. Autom. Control, vol. 50, no. 11, pp. 1897-1903, Nov. 2005.
36. E. Sontag, "Molecular systems biology and control," Eur. J. Control vol. 11, pp. 396-435, 2005.
37. N. Nedialkov and K. Jackson, The Design and Implementation of a Validated Object-Oriented Solver for ivps for Odes Software Quality Research Laboratory, Department of computing and Software, McMaster University, Hamilton, ON, Canada, Tech. Rep. 6, 2002,.
38. O. Bernard and J.-L. Gouzé, "Closed loop observers bundle for uncertain biotechnological models," J. Process Control, vol. 14, pp. 765-774, 2004.