Search the dblp DataBase

Publications of Author

1. Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro
   Observability of Hybrid Automata by Abstraction. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:169-183 [Conf]
   
2. Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry
   The Concept of Deadlock and Livelock in Hybrid Control Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:628-632 [Conf]
   
3. Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo
   Diagnosability Verification for Hybrid Automata. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:684-687 [Conf]
   
4. 
   Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Modeling and Analysis of Multi-hop Control Networks. [Citation Graph (, )][DBLP]
   
   
6. 
   Diagnosability of hybrid automata with measurement uncertainty. [Citation Graph (, )][DBLP]
   
   
7. 
   Approximate abstractions of discrete-time controlled stochastic hybrid systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Robust stability of multi-hop control networks. [Citation Graph (, )][DBLP]