| |
| 2008 | ||
|---|---|---|
| 3 | EE | Antoine Girard, Giordano Pola, Paulo Tabuada: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. HSCC 2008: 201-214 |
| 2 | EE | Giordano Pola, Antoine Girard, Paulo Tabuada: Approximately bisimilar symbolic models for nonlinear control systems. Automatica 44(10): 2508-2516 (2008) |
| 2007 | ||
| 1 | EE | Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry: The Concept of Deadlock and Livelock in Hybrid Control Systems. HSCC 2007: 628-632 |
| 1 | Alessandro Abate | [1] |
| 2 | Maria Domenica Di Benedetto | [1] |
| 3 | Alessandro D'Innocenzo | [1] |
| 4 | Antoine Girard | [2] [3] |
| 5 | Shankar Sastry (Shankar S. Sastry) | [1] |
| 6 | Paulo Tabuada | [2] [3] |