Rigorous Simulation-Based Analysis of Linear Hybrid Systems
No abstract available.
Related papers
- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures CAV 2004
- An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) CAV 1997
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016
- A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection CPP 2015
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics APLAS 2015
- Functional automatic differentiation with dirac impulses ICFP 2003