Verification of Linear Hybrid Systems by Means of Convex Approximations
No abstract available.
Related papers
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Syntactically Convex Model-Based Projection for Linear Real Arithmetic TACAS 2026
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming VMCAI 2010
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022
- Convex Hull Approximation for Activation Functions OOPSLA 2025
- PRIMA: general and precise neural network certification via scalable convex hull approximations POPL 2022
- A Logical Product Approach to Zonotope Intersection CAV 2010
- ReLU Hull Approximation POPL 2024