home

People

Work Packages

Reports

Papers/Publications

Meetings

Deliverables

Private area

Job offers 

Books

• V. Acary and B. Brogliato. Numerical methods for nonsmooth dynamical systems. Applications in Mechanics and Electronics, Springer Verlag, 2008.
• Outils pour l'analyse des modèles hybrides. Thao Dang, Goran Frehse, Antoine Girard, and Colas Le Guernic. Chapter in Olivier Roux and Claude Jard, editors, Approches formelles des systèmes embarqués communicants, Traité IC2, série Informatique et systèmes d'information, pages 245-268. Hermes Lavoisier, 2008.
• Stavros Tripakis and Thao Dang. Model-based design of heterogeneous systems, chapter Modeling, Verification and Testing using Timed and Hybrid Automata. CRC Press, 2009.
• V. Acary, O. Bonnefon and B. Brogliato. Non-smooth modelling and simulation for switched circuits. Lecture Notes in Electrical Engineering, Springer Verlag, 2010, to appear.
• Thao Dang. Model-Based Testing for Embedded Systems. Chapter Model-based testing of hybrid systems systems. CRC Press, 2009, submitted.

• T. Dang and T. Nahhal. Coverage-guided Test Generation for Continuous and Hybrid Systems. Formal Methods in Systems Design 34(2): 183-213 (2009).
• Giordano Pola, Antoine Girard and Paulo Tabuada, Approximately bisimilar symbolic models for nonlinear control systems, Automatica, 44(10):2508-2516, 2008.
• V. Acary, O. Bonnefon and B. Brogliato. Time-stepping numerical simulation of switched circuits with the non-smooth dynamical systems approach. IEEE TCAD, 2009.

1. Antoine Girard, Approximately bisimilar finite abstractions of stable linear systems, Hybrid Systems: Computation and Control, vol 4416 in LNCS, pp 231-244, Springer, 2007.
2. Alexandre Donzé and Oded Maler, Systematic Simulation using Sensitivity Analysis, in Hybrid Systems: Computation and Control, vol 4416 in LNCS, Springer Verlag, 2007.
3. Tarik Nahhal and Thao Dang, Randomized Guided Simulation, in Hybrid Systems : Computation and Control, vol 4416 in LNCS, Springer, 2007.
4. Dejan Nickovic and Oded Maler. AMT: A property-based monitoring tool for analog systems. In FORMATS, Lecture Notes in Computer Science 4763, pages 304-319. Springer, 2007.
5. Tarik Nahhal and Thao Dang, Test Coverage for Continuous and Hybrid Systems, in Computer Aided Design, LNCS, Springer Verlag, Berlin, July 2007.
6. Giordano Pola, Antoine Girard and Paulo Tabuada, Symbolic models for nonlinear control systems using approximate bisimulation, 46th IEEE Conference on Decision and Control, pp 4656-4661, New Orleans, Lousiana, December 2007.
7. Goran Frehse, Sumit Kumar Jha, and Bruce H. Krogh. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. Hybrid Systems: Computation and Control HSCC'08. Springer. 2008
8. Antoine Girard, Giordano Pola and Paulo Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. Hybrid Systems: Computation and Control, vol 4981 in LNCS, pp 201-214, Springer, 2008.
9. Thao Dang and Tarik Nahhal. Using disparity to enhance test generation for hybrid systems. TESTCOM/FATES 2008, Lecture Notes in Computer Science 5047, 54-69, Springer, Tokyo, June 2008.
10. Thao Dang, Alexandre Donzé, Oded Maler and Noa Shalev. Sensitive state-space exploration. IEEE Conference on Decision and Control CDC 2008: 4049-4054.
11. Gang Zheng and Antoine Girard. Bounded and unbounded safety verification using bisimulation metrics. Hybrid Systems: Computation and Control, vol 5469/2009 in LNCS, pp 426-440, Springer, 2009.
12. Thao Dang and David Salinas. Image computation for polynomial dynamical systems using the Bernstein expansion. Computer Aided Verification CAV'09, LNCS, pages 277-287. Springer, 2009.