scientific article; zbMATH DE number 1956618
From MaRDI portal
Publication:4417973
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)- Span-reachability and observability of bilinear hybrid systems
- Verification of continuous dynamical systems by timed automata
- scientific article; zbMATH DE number 1956582 (Why is no real title available?)
- Hybrid automata, reachability, and systems biology
- scientific article; zbMATH DE number 2085314 (Why is no real title available?)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- scientific article; zbMATH DE number 1955878 (Why is no real title available?)
- Syntax and consistent equation semantics of hybrid Chi
- Counterexample-guided predicate abstraction of hybrid systems
- Abstractions for hybrid systems
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
- The minimum principle of hybrid optimal control theory
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)
