Recent progress in continuous and hybrid reachability analysis

Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, CACSD

Volumn , Issue , 2007, Pages 1582-1587

  Asarin, Eugene ^a   Dang, Thao ^b   Frehse, Goran ^b   Girard, Antoine ^b   Le Guernic, Colas ^b   Maler, Oded ^b  

^a UNIVERSITÉ PARIS DIDEROT   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COST; GEOMETRICAL OBJECTS; HYBRID REACHABILITY ANALYSIS;

APPROXIMATION THEORY; COMPUTATIONAL METHODS; GEOMETRY; GRAPH THEORY; SYSTEMS ANALYSIS;

KNOWLEDGE BASED SYSTEMS;

EID: 43049164066     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CACSD.2006.285494     Document Type: Conference Paper

References (32)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoretical Computer Science, vol. 138, no. 1, pp. 3-34, 1995.
2. R. Alur, T. Dang, and F. Ivancic, "Reachability analysis of hybrid systems via predicate abstraction." in HSCC'02, vol. 2289 in LNCS. Springer, 2002, pp. 35-48.
3. R. Alur, T. A. Henzinger, and P.-H. Ho, "Automatic symbolic verification of embedded systems," IEEE Trans. Soft. Eng., vol. 22, pp. 181-201, 1996.
4. E. Asarin, T. Dang, and A. Girard, "Reachability analysis of nonlinear systems using conservative approximation. " in HSCC'03, vol. 2623 in LNCS. Springer, 2003, pp. 20-35.
5. E. Asarin, T. Dang, O. Maler, and O. Bournez, "Approximate reachability analysis of piecewise-linear dynamical systems." in HSCC'00, vol. 1790 in LNCS. Springer, 2000, pp. 20-31.
6. E. Asarin, O. Maler, and A. Pnueli, "Reachability analysis of dynamical systems having piecewise constant derivatives," Theoretical Computer Science, vol. 138, no. 1, pp. 35-65, 1995.
7. R. Bagnara, E. Ricci, E. Zaffanella, and P. Hill, "Possibly not closed convex polyhedra and the Parma Polyhedra Library," in Int. Symp. Static Analysis, vol. 2477 in LNCS. Springer, 2002, pp. 213-229.
8. O. Botchkarev and S. Tripakis, "Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations." in HSCC'00, vol. 1790 in LNCS. Springer, 2000, pp. 73-88.
9. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid systems verification." IEEE Trans. Aut. Cont., vol. 48, pp. 64-75, 2003.
10. T. Dang, "Approximate reachability computation for polynomial systems." in HSCC06, vol. 3927 in LNCS. Springer, 2006, pp. 138-152.
11. T. Dang and O. Maler, "Reachability analysis via face lifting." in HSCC98, vol. 1386 in LNCS. Springer, 1998, pp. 96-109.
12. L. Doyen, T. A. Henzinger, and J.-F. Raskin, "Automatic rectangular refinement of affine hybrid systems," in FORMATS'05, vol. 3829 in LNCS. Springer, 2005, pp. 144-161.
13. G. Frehse, "PHAVer: Algorithmic verification of hybrid systems past HyTech." in HSCC05, vol. 3414 in LNCS. Springer, 2005, pp. 258-273.
14. G. Frehse, B. H. Krogh, and R. A. Rutenbar, "Verification of hybrid systems using iterative refinement," in Proc. SRC TECHCON 2005, Portland, USA, Oct. 24-26, 2005, 2005.
15. _, "Verifying analog oscillator circuits using forward/backward refinement," in Proc. DATE'06, 2006.
16. A. Girard, C. L. Guernic, and O. Maler, "Efficient computation of reachable sets of linear time-invariant systems with inputs." in HSCC'06, vol. 3927 in LNCS. Springer, 2006, pp. 257-271.
17. A. Girard and G. J. Pappas, "Verification using simulation." in HSCC'06, vol. 3927 in LNCS. Springer, 2006, pp. 272-286.
18. A. Girard, "Reachability of uncertain linear systems using zonotopes." in HSCC'05, vol. 3414 in LNCS. Springer, 2005, pp. 291-305.
19. S. G. Govindaraju and D. L. Dill, "Verification by approximate forward and backward reachability," in ICCAD, 1998, pp. 366-370.
20. Z. Han and B. Krogh, "Reachability analysis of large-scale affine systems using low dimensional polytopes." in HSCC'06, vol. 3927 in LNCS. Springer, 2006, pp. 287-301.
21. T. A. Henzinger, "The theory of hybrid automata," in Proc. IEEE Symp. Logic in Computer Science. IEEE Computer Society Press, 1996, pp. 278-292.
22. T. A. Henzinger, P-H. Ho, and H. Wong-Toi, "HYTECH: A model checker for hybrid systems." STTT, vol. 1, no. 1-2, pp. 110-122, 1997.
23. _, "Algorithmic analysis of nonlinear hybrid systems." IEEE Trans. Automatic Control, vol. 43, pp. 540-554, 1998.
24. W. Kühn, "Rigorously computed orbits of dynamical systems without the wrapping effect." Computing, vol. 61, pp. 47-68, 1998.
25. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis." in HSCC00, vol. 1790 in LNCS. Springer, 2000, pp. 202-214.
26. G. Lafferriere, G. J. Pappas, and S. Yovine, "Symbolic reachability computation for families of linear vector fields." J. Symb. Comput., vol. 32, no. 3, pp. 231-253, 2001.
27. S. Prajna and A. Jadbabaie, "Safety verification of hybrid systems using barrier certificates." in HSCC04, vol. 2993, 2004, pp. 477-492.
28. S. Ratschan and Z. She, "Safety verification of hybrid systems by constraint propagation based abstraction refinement," in HSCC05, vol. 3414 in LNCS. Springer, 2005, pp. 573-589.
29. O. Stursberg and B. H. Krogh, "Efficient representation and computation of reachable sets for hybrid systems." in HSCC'03, vol. 2623 in LNCS. Springer, 2003, pp. 482-497.
30. A. Tiwari, "Approximate reachability for linear systems." in HSCC'03, vol. 2623 in LNCS. Springer, 2003, pp. 514-525.
31. C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Computational techniques for the verification and control of hybrid systems." Proceedings of the IEEE, vol. 91, no. 7, pp. 986-1001, 2003.
32. P. Varaiya, "Reach set computation using optimal control." in KIT Workshop, 1998, pp. 377-383.