Computing Differential Invariants of Hybrid Systems as Fixedpoints
No abstract available.
Related papers
- Decidability of Hybrid Systems with Rectangular Differential Inclusion CAV 1994
- Reachability for Nonsmooth Systems with Lexicographic Jacobians TACAS 2025
- Relational Differential Dynamic Logic TACAS 2020
- Formally verified differential dynamic logic CPP 2017
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010
- A Temporal Differential Dynamic Logic Formal Embedding CPP 2024
- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming CAV 2021
- Bounded exhaustive test input generation from hybrid invariants OOPSLA 2014