Thao Dang and Tarik Nahhal
Randomized simulation of Hybrid Systems (2006)
Randomized simulation of Hybrid Systems (2006)
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Home > Verimag > Publications
Technical Reports
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Automation: Flying High?
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
Seminars
New publications
- Recent Publications
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Braham Lotfi Mediouni: Modeling and Analysis of Stochastic Real-Time Systems
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
- Benoît Barbot, Nicolas Basset, Thao Dang: Template complex zonotopes for stability and invariant verification
- Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
