| 2008 |
|---|
| 4 | EE | Alessandro Abate,
Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Shankar Sastry:
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.
HSCC 2008: 1-15 |
| 2007 |
|---|
| 3 | 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 |
| 2 | EE | Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alessandro D'Innocenzo:
Diagnosability Verification for Hybrid Automata.
HSCC 2007: 684-687 |
| 2006 |
|---|
| 1 | EE | Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Stefano Di Gennaro:
Observability of Hybrid Automata by Abstraction.
HSCC 2006: 169-183 |
