Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming
Abstract elided by the publisher.
Related papers
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells CAV 2014
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 CAV 2016
- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) TACAS 2022
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022
- Verification of Linear Hybrid Systems by Means of Convex Approximations SAS 1994
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs TACAS 2017