An evaluation of two recent reachability analysis tools for hybrid systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2006, Pages 377-382

  Makhlouf, Ibtissem Ben ^a   Kowalewski, Stefan ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Hsolver; Hybrid systems; Phaver; Reachability analysis

Indexed keywords

COMMUNITY IS; HSOLVER; PHAVER; REACHABILITY ANALYSIS; VERIFICATION TOOLS;

HYBRID SYSTEMS;

HYBRID COMPUTERS;

EID: 38049098134     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Bagnara, R., E. Ricci, E. Zaffanella and P.M. Hill (2002). Possibly not closed convex polyhedra and the parma polyhedra library. In: Static Analysis: Proc. Int. Symp., LNCS 2477. Springer. pp. 213-229.
2. Fehnker, A. and F. Ivancic (2004). Benchmarks for hybrid systems verification. In: HSCC'04, LNCS 2993. Springer. pp. 326-341.
3. Frehse, G. (2005a). Compositional Verification of Hybrid Systems using Simulation Relations. PhD thesis. Cornell University.
4. Frehse, G. (2005b). Phaver. http://www.andrew.cmu.edu/∼gfrehse. Software package.
5. Frehse, G. (2005c). PHAVer: Algorithmic verification of hybrid systems past HyTech. In: HSCC, LNCS 3414. Springer. pp. 258-273. (Pubitemid 41252072)
6. Frehse, G., Z. Han and B.H. Krogh (2004). Assume-guarantee reasoning for hybrid I/O- automata by over-approximation of continuous interaction. In: Proc. CDC'04. Bahamas.
7. Henzinger, T.A., B. Horowitz, R. Majumdar and H. Wong-Toi (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: HSCC'00, LNCS 1790. Springer. pp. 130-144.
8. Henzinger, T.A., P.S. Ho and H.Wong-Toi (1997). Hytech: A model checker for hybrid systems. Soft. Tools Techn. Transf. 1(1, 2), 110-122.
9. Lynch, N., R. Segala and F. Vaandrager (2003). Hybrid i/o automata. Inf. Comput. 185(1), 105-157.
10. Mackworth, A. K. and E.C. Freud (1985). The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence 25, 65-74.
11. Preußig, J., S. Kowalewski, H. Wong-Toi and T.A. Henzinger (1998). An algorithm for the approximative analysis of rectangular automata. In: Proc. FTRTFT'98, LNCS 1486. Springer. pp. 228-240. (Pubitemid 128134939)
12. Puri, A. and P. Varaiya (1995). Driving safely in smart cars. In: Proc. of the 1995 American Control Conference. pp. 3597-3599.
13. Ratschan, S. and Z. She (2004). Hsolver. http://www.mpi-sb.mpg.de/ ratschan/hsolver. Software package.
14. Ratschan, S. and Z. She (2005). Safety verification of hybrid systems by constraint propagation based abstraction re nement. In: HSCC 2005, LNCS 3414. Springer. pp. 573-589. (Pubitemid 41252092)