1. Design of observers for hybrid systems. Hybrid Systems: Computation and Control. LNCS 2289;Balluchi,2002
2. Diagnosis and Fault-Tolerant Control;Blanke,2003
3. Cocquempot, V., T. Mezyani and M. Staroswiecki (2004). Fault detection and isolation for hybrid systems using structured parity residuals. Proc. of 5th Asian Control Conference. Melbourne, Australia. pp. 1204 - 1212.
4. Observer-based state feedback control of timed petri nets with deadlock recovery;Giua;IEEE Trans. on Automatic Control,2004
5. On the formal verification of hybrid systems;Guéguen;Control Engineering Practice,2004