Zonotope/hyperplane intersection for hybrid systems reachability analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4981 LNCS, Issue , 2008, Pages 215-228

  Girard, Antoine ^a   Le Guernic, Colas ^b  

^a UNIV GRENOBLE ALPES   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; GEOMETRY;

CONTINUOUS DYNAMICS; DISCRETE TRANSITIONS; EFFICIENT APPROXIMATION ALGORITHMS; HIGH-DIMENSIONAL; HIGH-ORDER; NOVEL ALGORITHM; REACHABILITY ANALYSIS; REACHABLE SET;

HYBRID SYSTEMS;

EID: 70350018306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_16     Document Type: Conference Paper

References (23)

1. Varaiya, P.: Reach set computation using optimal control. In: Proc. KITWorkshop on Verification of Hybrid Systems, Verimag, Grenoble (1998).
2. Chutinan, A., Krogh, B.H.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.1569, pp. 76-90. Springer, Heidelberg (1999).
3. Asarin, E., Dang, T., Maler, O., Bournez, O.: Approximate reachability analysis of piecewise-linear dynamical systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.1790, pp. 20-31. Springer, Heidelberg (2000).
4. Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for reachability analysis. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.1790, pp. 202-214. Springer, Heidelberg (2000).
5. Mitchell, I., Tomlin, C.: Level set methods for computation in hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.1790, pp. 310-323. Springer, Heidelberg (2000).
6. Stursberg, O., Krogh, B.H.: Efficient representation and computation of reachable sets for hybrid systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.2623, pp. 482-497. Springer, Heidelberg (2003).
7. Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.3414, pp. 291-305. Springer, Heidelberg (2005).
8. Girard, A., Le Guernic, C., Maler, O.: Efficient computation of reachable sets of linear time-invariant systems with inputs. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.3927, pp. 257-271. Springer, Heidelberg (2006).
9. Kurzhanskiy, A.A., Varaiya, P.: Ellipsoidal techniques for reachability analysis of discrete-time linear systems. IEEE Trans. Automatic Control 52, 26-38 (2007).
10. Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. Proc. of the IEEE 88(7), 1011-1025 (2000).
11. Dang, T.: V́erification et Synth̀ese des Syst̀emes Hybrides. PhD thesis, Institut National Polytechnique de Grenoble (2000).
12. Maler, O.: Control from computer science. IFAC Annual Reviews in Control (2003).
13. Tomlin, C., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the verification and control of hybrid systems. Proc. of the IEEE 91(7), 986-1001 (2003).
14. Ziegler, G.M.: Lectures on Polytopes. In: Graduate Texts in Mathematics, vol.152, Springer, Heidelberg (1995).
15. Avis, D., Fukuda, K.: Reverse search for enumeration. Discrete Appl. Math. 65(1- 3), 21-46 (1996).
16. Zaslavsky, T.: Facing Up to Arrangements: Face-Count Formulas for Partitions of Space by Hyperplanes. In: Memoirs of the American Mathematical Society. American Mathematical Society, vol.154 (1975).
17. Jarvis, R.A.: On the identification of the convex hull of a finite set of points in the plane. Inf. Process. Lett. 2(1), 18-21 (1973).
18. Blum, M., Floyd, R.W., Pratt, V.R., Rivest, R.L., Tarjan, R.E.: Time bounds for selection. J. Comput. Syst. Sci. 7(4), 448-461 (1973).
19. Balas, E., Zemel, E.: An algorithm for large zero-one knapsack problems. Operations Research 28(5), 1130-1154 (1980).
20. Bern, M.W., Eppstein, D.: Optimization over zonotopes and training support vector machines (2001) Talk given at WADS
21. Guibas, L.J., Nguyen, A., Zhang, L.: Zonotopes as bounding volumes. In: SODA 2003: Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, pp. 803-812 (2003).
22. Muller, M.E.: A note on a method for generating points uniformly on n-dimensional spheres. Commun. ACM 2(4), 19-20 (1959).
23. Leroy, X.: The Objective Caml system. In: INRIA (2007).