Progress on reachability analysis of hybrid systems using predicate abstraction

DOI10.1007/3-540-36580-X_4MaRDI QIDQ4417973zbMATH OpenFDO

Authors Thao Dang, Franjo Ivančić, Rajeev Alur

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2623/26230004.htm, https://repository.upenn.edu/cis_papers/199

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• scientific article; zbMATH DE number 2085314
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• Abstractions of hybrid systems for verification
• Safe \& robust reachability analysis of hybrid systems
• Hybrid Systems: Computation and Control
• Counterexample-guided predicate abstraction of hybrid systems
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• Constraints for Continuous Reachability in the Verification of Hybrid Systems
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis

Cited in

(13)

• Syntax and consistent equation semantics of hybrid Chi
• Counterexample-guided predicate abstraction of hybrid systems
• Abstractions for hybrid systems
• Reachability analysis of delta-notch lateral inhibition using predicate abstraction
• Counter-example guided predicate abstraction of hybrid systems
• scientific article; zbMATH DE number 2085314 (Why is no real title available?)
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• Hybrid Automata in Systems Biology: How Far Can We Go?
• The minimum principle of hybrid optimal control theory
• Verification of continuous dynamical systems by timed automata
• Hybrid automata, reachability, and systems biology
• Span-reachability and observability of bilinear hybrid systems

This page was built for publication: Progress on reachability analysis of hybrid systems using predicate abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417973)