Abstractions of hybrid systems for verification

DOI10.1007/978-3-642-19730-7_2zbMATH Open1255.68096OpenAlexW115896635MaRDI QIDQ4899747FDOQ4899747

Janan Zaytoon, Hervé Guéguen

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

• 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

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)

Cited In (11)

• Title not available (Why is that?)
• Hybrid Systems: Computation and Control
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis
• Hybrid Systems: Computation and Control
• Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
• Title not available (Why is that?)
• Verification of Hybrid Systems
• Conic abstractions for hybrid systems
• Hybrid Systems: Computation and Control
• 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)