Abstractions of hybrid systems for verification
From MaRDI portal
Publication:4899747
DOI10.1007/978-3-642-19730-7_2zbMATH Open1255.68096OpenAlexW115896635MaRDI QIDQ4899747FDOQ4899747
Authors: Hervé Guéguen, Janan Zaytoon 
Publication date: 9 January 2013
Published in: Informatics in Control Automation and Robotics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19730-7_2
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85)
Cited In (18)
- Theory and computation of discrete state space decompositions for hybrid systems
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Tightened reachability constraints for the verification of linear hybrid systems
- Hybrid Systems: Computation and Control
- Incremental computation of succinct abstractions for hybrid systems
- Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
- Title not available (Why is that?)
- Verification of Hybrid Systems
- Hybrid abstractions of affine systems
- Conic abstractions for hybrid systems
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Hybrid Systems: Computation and Control
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Asynchronous correspondences between hybrid trajectory semantics
- Title not available (Why is that?)
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
This page was built for publication: Abstractions of hybrid systems for verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899747)
