Abstractions of hybrid systems for verification

DOI10.1007/978-3-642-19730-7_2MaRDI QIDQ4899747zbMATHOpenAlexFDO

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

zbMATH Keywords

hybrid systemsreachabilityabstractionsafety verificationformal verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• scientific article; zbMATH DE number 2085344
• Compositional abstractions of hybrid control systems
• scientific article; zbMATH DE number 2085314
• Hybrid abstractions of affine systems
• scientific article; zbMATH DE number 1956581

Cited in

(18)

• Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 1956618 (Why is no real title available?)
• Order-reduction abstractions for safety verification of high-dimensional linear systems
• Hybrid Systems: Computation and Control
• Hybrid abstractions of affine systems
• Asynchronous correspondences between hybrid trajectory semantics
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
• Theory and computation of discrete state space decompositions for hybrid systems
• scientific article; zbMATH DE number 1956581 (Why is no real title available?)
• scientific article; zbMATH DE number 2085344 (Why is no real title available?)
• Tightened reachability constraints for the verification of linear hybrid systems
• Verification of Hybrid Systems
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis
• Conic abstractions for hybrid systems
• Incremental computation of succinct abstractions for hybrid systems
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• Hybrid Systems: Computation and Control

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)