An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Reachability for Nonsmooth Systems with Lexicographic Jacobians TACAS 2025
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration SAS 2015
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Improving Strategies via SMT Solving ESOP 2011
- A linear logical framework in hybrid (invited talk) CPP 2019
- SCCMulti: an improved parallel strongly connected components algorithm PPoPP 2014