Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
From MaRDI portal
Publication:3637254
DOI10.1007/978-3-642-02949-3_12zbMath1246.68158MaRDI QIDQ3637254
Stefan Ratschan, Jan-Georg Smaus
Publication date: 7 July 2009
Published in: Tests and Proofs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02949-3_12
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Incremental Computation of Succinct Abstractions for Hybrid Systems, Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
- Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
- Systematic Simulation Using Sensitivity Analysis
- Robust Test Generation and Coverage for Hybrid Systems
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- State event location in differential-algebraic models
- Hybrid Systems: Computation and Control
- Test Coverage for Continuous and Hybrid Systems
- Hybrid Systems: From Verification to Falsification
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid Systems: Computation and Control