Ibtissem Ben Makhlouf, Stefan Kowalewski. An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems. In Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon, editors, 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006. Volume 39 of IFAC Proceedings Volumes, pages 377-382, Elsevier, 2006. [doi]
Abstract is missing.