 | 2008 |
|---|
| 5 |       | Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alessandro D'Innocenzo:
Diagnosability of hybrid automata with measurement uncertainty.
CDC 2008: 1042-1047 |
| 2007 |
|---|
| 4 | | Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alessandro D'Innocenzo:
Diagnosability Verification for Hybrid Automata.
HSCC 2007: 684-687 |
| 2006 |
|---|
| 3 | | Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Stefano Di Gennaro:
Observability of Hybrid Automata by Abstraction.
HSCC 2006: 169-183 |
| 2001 |
|---|
| 2 | | 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 | | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli,
Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations.
HSCC 2000: 89-102 |
