scientific article; zbMATH DE number 1956618

zbMATH Open1032.93033MaRDI QIDQ4417973FDOQ4417973

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

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230004.htm

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (13)

• Abstractions Refinement for Hybrid Systems Diagnosability Analysis
• Title not available (Why is that?)
• Span-reachability and observability of bilinear hybrid systems
• Title not available (Why is that?)
• Counterexample-guided predicate abstraction of hybrid systems
• The minimum principle of hybrid optimal control theory
• Syntax and consistent equation semantics of hybrid Chi
• Verification of continuous dynamical systems by timed automata
• Hybrid automata, reachability, and systems biology
• Abstractions for hybrid systems
• Hybrid Automata in Systems Biology: How Far Can We Go?
• Title not available (Why is that?)
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems

This page was built for publication:

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