Zonotope bundles for the efficient computation of reachable sets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 6814-6821

  Althoff, Matthias ^a   Krogh, Bruce H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR SYSTEMS;

CURSE OF DIMENSIONALITY; EFFICIENT COMPUTATION; REACHABLE SET; ZONOTOPES;

HYBRID SYSTEMS;

EID: 84860643564     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2011.6160872     Document Type: Conference Paper

References (32)

1. J. D. Glover and F. C. Schweppe, "Control of linear dynamic systems with set constrained disturbances," IEEE Transactions on Automatic Control, vol. 16, no. 5, pp. 411-423, 1971.
2. E. Clarke, A. Fehnker, Z. Han, B. Krogh, O. Stursberg, and M. Theobald, Tools and Algorithms for the Construction and Analysis of Systems, ser. LNCS 2619. Springer, 2003, ch. Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement, pp. 192-207.
3. S. V. Raković, P. Grieder, M. Kvasnica, D. Q. Mayne, and M. Morari, "Computation of invariant sets for piecewise affine discrete time systems subject to bounded disturbances," in Proc. of the 43rd IEEE Conference on Decision and Control, 2004, pp. 1418-1423.
4. F. M. Schlaepfer and F. C. Schweppe, "Continuous-time state estimation under disturbances bounded by convex sets," IEEE Transactions on Automatic Control, vol. 17, no. 2, pp. 197-205, 1972.
5. T. Alamo, J. M. Bravo, and E. F. Camacho, "Guaranteed state estimation by zonotopes," in Proc. of the 42nd IEEE Conference on Decision and Control, 2003, pp. 5831-5836.
6. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi, "Algorithmic analysis of nonlinear hybrid systems," IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 540-554, 1998.
7. G. Frehse, "PHAVer: Algorithmic verification of hybrid systems past HyTech." in Hybrid Systems: Computation and Control, ser. LNCS 3413. Springer, 2005, pp. 258-273.
8. G. Lafferriere, G. J. Pappas, and S. Yovine, "Symbolic reachability computation for families of linear vector fields," Symbolic Computation, vol. 32, pp. 231-253, 2001.
9. A. Girard, C. Le Guernic, and O. Maler, "Efficient computation of reachable sets of linear time-invariant systems with inputs," in Hybrid Systems: Computation and Control, ser. LNCS 3927. Springer, 2006, pp. 257-271.
10. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid system verification," IEEE Transactions on Automatic Control, vol. 48
11. W. Kühn, "Rigorously computed orbits of dynamical systems without the wrapping effect," Computing, vol. 61, pp. 47-67, 1998.
12. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Hybrid Systems: Computation and Control, ser. LNCS 3414. Springer, 2005, pp. 291-305.
13. O. Stursberg and B. H. Krogh, "Efficient representation and computation of reachable sets for hybrid systems," in Hybrid Systems: Computation and Control, ser. LNCS 2623. Springer, 2003, pp. 482-497.
14. T. Dang, O. Maler, and R. Testylier, "Accurate hybridization of nonlinear systems," in Hybrid Systems: Computation and Control, 2010, pp. 11-19.
15. N. Ramdani, N. Meslem, and Y. Candau, "Reachability analysis of uncertain nonlinear systems using guaranteed set integration," in Proc. of the 17th IFAC World Congress, 2008, pp. 8972-8977.
16. N. S. Nedialkov and K. R. Jackson, Perspectives on Enclosure Methods. Springer-Verlag, 2001, ch. A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations, pp. 219-264.
17. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis," in Hybrid Systems: Computation and Control, ser. LNCS 1790. Springer, 2000, pp. 202-214.
18. A. Girard and C. Le Guernic, "Efficient reachability analysis for linear systems using support functions," in Proc. of the 17th IFAC World Congress, 2008, pp. 8966-8971.
19. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Transactions on Automatic Control, vol. 50, pp. 947-957, 2005.
20. A. A. Kurzhanskiy and P. Varaiya, "Ellipsoidal techniques for reachability analysis of discrete-time linear systems," IEEE Transactions on Automatic Control, vol. 52, no. 1, pp. 26-38, 2007.
21. V. Kaibel and M. E. Pfetsch, Algebra, Geometry and Software Systems. Springer, 2003, ch. Some Algorithmic Problems in Polytope Theory, pp. 23-47.
22. K. Fukuda, "From the zonotope construction to the Minkowski addition of convex polytopes," Journal of Symbolic Computation, vol. 38, no. 4, pp. 1261-1272, October 2004.
23. R. Bagnara, P. M. Hill, and E. Zaffanella, "The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems," Science of Computer Programming, vol. 72, pp. 3-21, 2008.
24. M. Althoff, "Reachability analysis and its application to the safety assessment of autonomous cars," Dissertation, TU München, 2010, URL: http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20100715-963752- 1-4.
25. M. Kvasnica, P. Grieder, and M. Baotić, "Multi-Parametric Toolbox (MPT)," 2004. [Online]. Available: http://control.ee.ethz.ch/~mpt/
26. M. Althoff, C. Le Guernic, and B. H. Krogh, "Reachable set computation for uncertain time-varying linear systems," in Hybrid Systems: Computation and Control, 2011.
27. M. Althoff, O. Stursberg, and M. Buss, "Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization," in Proc. of the 47th IEEE Conference on Decision and Control, 2008, pp. 4042-4048.
28. -, "Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes," Nonlinear Analysis: Hybrid Systems, vol. 4, no. 2, pp. 233-249, 2010.
29. M. Maile and L. Delgrossi, "Cooperative intersection collision avoidance system for violations (CICAS-V) for avoidance of violation-based intersection crashes," National Highway Traffic Safety Administration, Tech. Rep. 09-0118, 2009.
30. C. Schmidt, F. Oechsle, and W. Branz, "Research on trajectory planning in emergency situations with multiple objects," in Proc. of the IEEE Intelligent Transportation Systems Conference, 2006, pp. 988-992.
31. R. Rajamani, Vehicle Dynamics and Control, F. F. Ling and E. F. Gloyna, Eds. Springer, 2006.
32. J. Guldner, W. Sienel, H.-S. Tan, J. Ackermann, S. Patwardhan, and T. Bünte, "Robust automatic steering control for look-down reference systems with front and rear sensors," IEEE Transactions on Control Systems Technology, vol. 7, pp. 2-11, 1999.