| 2007 |
|---|
| 4 | EE | Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alessandro D'Innocenzo:
Diagnosability Verification for Hybrid Automata.
HSCC 2007: 684-687 |
| 2006 |
|---|
| 3 | EE | Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Stefano Di Gennaro:
Observability of Hybrid Automata by Abstraction.
HSCC 2006: 169-183 |
| 2001 |
|---|
| 2 | EE | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alberto L. Sangiovanni-Vincentelli:
Optimal Control Using Bisimulations: Implementation.
HSCC 2001: 175-188 |
| 2000 |
|---|
| 1 | EE | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli,
Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations.
HSCC 2000: 89-102 |
