Reachability computation for hybrid systems with Ariadne

Luca Benvenuti, Davide Bresolin, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Emanuele Mazzi, Alberto Sangiovanni-Vincentelli, Tiziano Villa
2008-01-01
Cite DOI
Type
Conference paper
Publication
IFAC PROCEEDINGS (IFAC 2008)

Related