Algorithmic Analysis of Nonlinear Hybrid Systems
Abstract elided by the publisher.
Related papers
- Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 CAV 2016
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming VMCAI 2010
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells CAV 2014
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems CAV 2020
- SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions CAV 2021
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013