Verification using simulation (2006)

Cached

Download Links

by Antoine Girard
Venue:In: Hybrid Systems: Computation and Control (HSCC). Volume 3927 of LNCS., Springer (2006) 272 – 286
Citations:31 - 5 self

Active Bibliography

Abstraction-Based Quality Estimate – Stefan Ratschan, Jan-georg Smaus, Bernd Becker, Werner Damm, Martin Fränzle, Ernst-rüdiger Olderog, Andreas Podelski, Reinhard Wilhelm, Stefan Ratschan, Jan-georg Smaus - 2009
1 Modeling, Verification and Testing using Timed and Hybrid Automata – Stavros Tripakis, Thao Dang
17 Predicate abstraction for reachability analysis of hybrid systems – Rajeev Alur - 2006
29 Hybridization methods for the analysis of nonlinear systems – Eugene Asarin, Thao Dang, Antoine Girard - 2007
2 Template-Based Unbounded Time Verification of Affine Hybrid Automata – Thao Dang, Thomas Martin Gawlitza - 2011
2 Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes – Matthias Althoff, Olaf Stursberg, Martin Buss - 2009
5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
APPROXIMATION BASED SAFETY AND STABILITY VERIFICATION OF HYBRID SYSTEMS – Pavithra Prabhakar - 2011
5 Refining Abstractions of Hybrid Systems Using Counterexample Fragments – Ansgar Fehnker, Edmund Clarke, Sumit Jha, Bruce Krogh
Abstraction-Based Guided Search for Hybrid Systems – Sergiy Bogomolov, Re Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
25 Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement – Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald - 2003
44 Safety verification of hybrid systems by constraint propagation based abstraction refinement – Stefan Ratschan, Zhikun She - 2005
16 Abstractions for Hybrid Systems – Ashish Tiwari - 2004
MIDDLEWARE AND CONTROL OF CYBER-PHYSICAL SYSTEMS: TEMPORAL GUARANTEES AND HYBRID SYSTEM ANALYSIS – Kyoung-dae Kim
23 Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs – André Platzer
11 Sampling-based falsification and verification of controllers for continuous dynamic systems – Peng Cheng, Vijay Kumar - 2006
7 Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers – Matthias Althoff, Daniel Althoff, Dirk Wollherr, Martin Buss
Robustness of Temporal Logic Specifications for Continuous-Time Signals ⋆ – Georgios E. Fainekos A
6 Sensitive State-Space Exploration – Thao Dang, Re Donzé, Oded Maler, Noa Shalev