|
|
|
|
|
|
|
|
|
|
|
hal-00306993v1
Communication dans un congrès
Antoine Girard, Colas Le Guernic. Zonotope/hyperplane intersection for hybrid systems reachability analysisMagnus Egerstedt, Bud Mishra. HSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, St. Louis, MO, United States. Springer, 4981, pp.215-228, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78929-1_16>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|