Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes

Nonlinear Analysis: Hybrid Systems

Volumn 4, Issue 2, 2010, Pages 233-249

  Althoff, Matthias ^a   Stursberg, Olaf ^b   Buss, Martin ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF KASSEL   (Germany)

Author keywords

Hybrid systems; Polytopes; Reachability analysis; Safety verification; Zonotopes

Indexed keywords

CONTINUOUS DYNAMICS; POLYTOPES; REACHABILITY ANALYSIS; REACHABLE SET; SAFETY VERIFICATION; ZONOTOPES;

COMPUTATIONAL COMPLEXITY; HYBRID COMPUTERS; HYBRID SYSTEMS; TOPOLOGY;

ELECTRIC GROUNDING;

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

References (24)

1. Clarke E.M., Grumberg O., and Peled D.A. Model Checking (2000), MIT Press
2. Rubinstein R. Simulation and the Monte Carlo Method (2007), Wiley & Sons
3. Julius A.A., Fainekos G.E., Anand M., Lee I., and Pappas G.J. Robust test generation and coverage for hybrid systems. Hybrid Systems: Computation and Control. LNCS vol. 4416 (2007), Springer 329-342
4. Donzé A., and Maler O. Systematic simulation using sensitivity analysis. Hybrid Systems: Computation and Control. LNCS vol. 4416 (2007), Springer 174-189
5. Kapinski J., Krogh B.H., Maler O., and Stursberg O. On systematic simulation of open continuous systems. Hybrid Systems: Computation and Control. LNCS vol. 2623 (2003), Springer 283-297
6. Prajna S., and Jadbabaie A. Safety verification of hybrid systems using barrier certificates. Hybrid Systems: Computation and Control. LNCS vol. 2993 (2004), Springer 477-492
7. Tomlin C., Mitchell I., Bayen A., and Oishi M. Computational techniques for the verification and control of hybrid systems. Proceedings of the IEEE vol. 91 (2003) 986-1001
8. Botchkarev O., and Tripakis S. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. Hybrid Systems - Computation and Control. LNCS vol. 1790 (2000), Springer 73-88
9. Chutinan A., and Krogh B.H. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control vol. 48 (2003) 64-75
10. Stursberg O., and Krogh B.H. Efficient representation and computation of reachable sets for hybrid systems. Hybrid Systems: Computation and Control. LNCS vol. 2623 (2003), Springer 482-497
11. Girard A. Reachability of uncertain linear systems using zonotopes. Hybrid Systems: Computation and Control. LNCS vol. 3414 (2005), Springer 291-305
12. Girard A., and Le Guernic C. Zonotope/hyperplane intersection for hybrid systems reachability analysis. Proc. of Hybrid Systems: Computation and Control. LNCS vol. 4981 (2008), Springer 215-228
13. M. Althoff, O. Stursberg, M. Buss, Verification of uncertain embedded systems by computing reachable sets based on zonotopes, in: Proc. of the 17th IFAC World Congress, 2008, pp. 5125-5130
14. T. Alamo, J.M. Bravo, E.F. Camacho, Guaranteed state estimation by zonotopes, in: Proc. of the 42nd IEEE Conference on Decision and Control, 2003, pp. 5831-5836
15. L.J. Guibas, A. Nguyen, L. Zhang, Zonotopes as bounding volumes, in: Proc. of the Symposium on Discrete Algorithms, 2005, pp. 803-812
16. Ziegler G.M. Lectures on polytopes. Graduate Texts in Mathematics (1995), Springer
17. M. Althoff, O. Stursberg, M. Buss, Reachability analysis of linear systems with uncertain parameters and inputs, in: Proc. of the 46th IEEE Conference on Decision and Control, 2007, pp. 726-732
18. M. Althoff, O. Stursberg, 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
19. Gritzmann P., and Sturmfels B. Minkowski addition of polytopes: Computational complexity and applications to Gröbner bases. SIAM Journal on Discrete Mathematics 6 (1993) 246-269
20. D. Mortari, The n-dimensional cross product and its application to the matrix eigenanalysis, in: Proc. of the AIAA/AAS Astrodynamics Conference, 1996
21. Muller M.E. A note on a method for generating points uniformly on n-dimensional spheres. Communications of the ACM 2 (1959) 19-20
22. M. Kvasnica, P. Grieder, M. Baotić, Multi-Parametric Toolbox (MPT), 2004
23. Barequet G., and Har-Peled S. Efficiently approximating the minimum-volume bounding box of a point set in three dimensions. Journal of Algorithms 38 (1999) 91-109
24. Fehnker A., and Ivančić F. Benchmarks for hybrid systems verification. Hybrid Systems: Computation and Control. LNCS vol. 2993 (2004), Springer 326-341