Computing reachable sets for uncertain nonlinear monotone systems

Nonlinear Analysis: Hybrid Systems

Volumn 4, Issue 2, 2010, Pages 263-278

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

^a INRIA   (France)

^b LIRMM   (France)

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

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

Author keywords

Hybrid systems; Interval analysis; Monotone systems; Nonlinear systems; Reachability; Uncertain systems

Indexed keywords

COMPONENTWISE; HYBRID AUTOMATONS; INITIAL CONDITIONS; INTERVAL ANALYSIS; MODE-SWITCHING; MONOTONE DYNAMICAL SYSTEMS; MONOTONE SYSTEMS; NEW APPROACHES; OFF-DIAGONAL ELEMENTS; PARTIAL ORDERING; REACHABILITY; REACHABLE SET; SOLUTION SET;

ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; LASER MODES; NONLINEAR SYSTEMS; UNCERTAIN SYSTEMS;

NONLINEAR ANALYSIS;

EID: 77949659599     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2009.10.002     Document Type: Article

References (47)

1. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., and Yovine S. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3-34
2. Tomlin C.J., Mitchell I.M., Bayen A.M., and Oishi M. Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 91 7 (2003) 986-1001
3. Guéguen H., and Zaytoon J. On the formal verification of hybrid systems. Control Engineering Practice 12 (2004) 1253-1267
4. Asarin E., Maler O., and Pnueli A. Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science 138 (1995) 35-65
5. Asarin E., Bournez O., Dang T., and Maler O. Approximate reachability analysis of piecewise-linear dynamical systems. HSCC00. LNCS vol. 1790 (2000) 20-31
6. Chutinan A., and Krogh B.H. Computational techniques for hybrid systems verification. IEEE Transactions on Automatic Control 48 1 (2003) 64-75
7. Girard A. Reachability of uncertain linear systems using zonotopes. HSCC. LNCS vol. 3414 (2005) 291-305
8. Botchkarev O., and Tripakis S. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. HSCC. LNCS vol. 1790 (2000), Springer-Verlag 73-88
9. Kurzhanski A.B., and Varaiya P. Ellipsoidal techniques for hybrid dynamics: The reachability problem. In: Dayawansa W.P., Lindquist A., and Zhou Y. (Eds). New Directions and Applications in Control Theory. Lecture Notes in Control and Information Sciences vol. 321 (2005), Springer-Verlag 193-205
10. Doyen L., Henzinger T.A., and Raskin J.F. Automatic rectangular refinement of affine hybrid systems. FORMATS'05. LNCS vol. 3829 (2005) 144-161
11. Lefebvre M.-A., and Guéguen H. Hybrid abstractions of affine systems. Nonlinear Analysis 65 6 (2006) 1150-1167
12. Kloetzer M., and Belta C. Reachability analysis of multi-affine systems. HSCC. LNCS vol. 3927 (2006), Springer-Verlag 348-362
13. Tiwari A., and Khanna G. Series abstractions for hybrid automata. HSCC. LNCS vol. 2289 (2002) 465-478
14. Batt G., Belta C., and Weiss R. Model checking genetic regulatory networks with parameter uncertainty. HSCC. LNCS vol. 4416 (2007), springer-Verlag 61-75
15. Asarin E., Dang T., and Girard A. Hybridization methods for the analysis of non-linear systems. Acta Informatica 43 (2007) 451-476
16. Mitchell I.M., Bayen A.M., and Tomlin C.J. A time-dependant Hamilton-Jacobi formulation of reachable sets for continuous dynamics games. IEEE Transactions on Automatic Control 50 7 (2005) 947-957
17. Bayen A.M., Crück E., and Tomlin C.J. Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: Solving the Hamilton-Jacobi equation using viability techniques. HSCC. LNCS vol. 2289 (2002), Springer-Verlag 90-104
18. Nedialkov N.S., Jackson K.R., and Corliss G.F. Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation 105 (1999) 21-68
19. Henzinger T.A., Horowitz B., Majumdar R., and Wong-Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. HSCC. LNCS vol. 1790 (2000) 130-144
20. N.S. Nedialkov, M. von Mohrenschildt, Rigorous simulation of hybrid dynamic systems with symbolic and interval methods, in: Proceedings of the American Control Conference, vol. 1, 2002, pp. 140-147
21. Rauh A., Kletting M., Aschemann H., and Hofer E.P. Interval methods for simulation of dynamical systems with state-dependent switching characteristics. Proceedings of the 2006 IEEE International Conference on Control Applications (2006), Munich 355-360
22. Ramdani N., Meslem N., and Candau Y. Reachability of uncertain nonlinear systems using a nonlinear hybridization. HSCC. LNCS vol. 4981 (2008), Springer-Verlag 415-428
23. Müller M. Uber das Fundamentaltheorem in der Theorie der gewöhnlichen Differentialgleichungen. Mathematische Zeitschrift 26 (1927) 619-645
24. Walter W. Differential inequalities and maximum principles: Theory, new methods and applications. Nonlinear Analysis, Theory, Methods & Applications 30 8 (1997) 4695-4711
25. M. Kieffer, E. Walter, I. Simeonov, Guaranteed nonlinear parameter estimation for continuous-time dynamical models, in: Proceedings 14th IFAC Symposium on System Identification, Newcastle, Aus, 2006, pp. 843-848
26. Jaulin L., Kieffer M., Didrit O., and Walter E. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics (2001), Springer-Verlag, London
27. Moore R.E. Interval Analysis (1966), Prentice-Hall, Englewood Cliffs
28. Nedialkov N.S., Jackson K., and Pryce J. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliable Computing 7 6 (2001) 449-465
29. R.J. Lohner, Enclosing the solutions of ordinary initial and boundary value problems, in: Wiley (Ed.), Computer Arithmetic: Scientific Computation and Programming Languages, Stuttgart, 1987, pp. 255-286
30. Berz M., and Makino K. Verified integration of odes and flows using differential algebraic methods on high-order taylor models. Reliable Computing 4 (1998) 361-369
31. Hoefkens J., Berz M., and Makino K. Controlling the wrapping effect in the solution of odes for asteroids. Reliable Computing 8 (2003) 21-41
32. Nedialkov N.S., and 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. Reliable Computing 5 (1999) 289-310
33. Janssen M., Hentenryck P.V., and Deville Y. A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. SIAM Journal on Numerical Analysis 40 (2002) 1896-1939
34. Angeli D., and Sontag E.D. Monotone control systems. IEEE Transaction on Automatic Control 48 10 (2003) 1684-1698
35. Gouzé J.-L., and Hadeler K.P. Monotone flows and order intervals. Nonlinear World 1 (1994) 23-34
36. Smith H.L. Monotone dynamical systems: An introduction to the theory of competitive and cooperative systems. Mathematical Surveys and Monographs vol. 41 (1995), American Mathematical Society, Providence
37. Hirsch M., and Smith H.L. Monotone dynamical systems. In: Canada A., Drabek P., and Fonda A. (Eds). Handbook of Differential Equations, Ordinary Differential Equations vol. 2 (2005), Elsevier (Chapter 4)
38. Angeli D., and Sontag E.D. Multi-stability in monotone input/output systems. System Control Letters 51 (2004) 185-202
39. Kunze H., and Siegel D. A graph theoretical approach to monotonicity with respect to initial conditions ii. Nonlinear Analysis 35 (1999) 1-20
40. E. Walter, M. Kieffer, Interval analysis for guaranteed nonlinear parameter estimation, in: Proceedings 13th IFAC SYSID, Rotterdam, 2003, pp. 259-270
41. M. Kieffer, E. Walter, Guaranteed nonlinear state estimation for continuous-time dynamical models from discrete-time measurements, in: Proceedings 6th IFAC Symposium on Robust Control, Toulouse, 2006
42. N. Ramdani, N. Meslem, T. Raïssi, Y. Candau, Set-membership identification of continuous-time systems, in: Proceedings 14th IFAC Symposium on System Identification, Newcastle, Aus, 2006, pp. 446-451
43. Park T., and Barton P. State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation 6 2 (1996) 137-165
44. Esposito J.M., Kumar V., and Pappas G.J. Accurate event detection for simulating hybrid systems. HSCC. LNCS vol. 2034 (2001), Springer-Verlag 204-217
45. Sontag E.D. Molecular systems biology and control. European Journal of Control 11 (2005) 396-435
46. N.S. Nedialkov, K. Jackson, The design and implementation of a validated object-oriented solver for ivps for odes, in: Tech. Rep. 6, Software Quality Research Laboratory, Department of computing and Software, L8S 4L7, Hamilton, Canada, 2002. McMaster University
47. N. Ramdani, N. Meslem, Y. Candau, Reachability analysis of uncertain nonlinear systems using guaranteed set integration, in: Proceedings of the 17th World Congress IFAC, Seoul, Korea, July 6-11, 2008, pp. 8972-8977