Decidability of Hybrid Systems with Rectangular Differential Inclusion
Abstract elided by the publisher.
Related papers
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems VMCAI 2013
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels VMCAI 2004
- Computing Differential Invariants of Hybrid Systems as Fixedpoints CAV 2008
- Formally verified differential dynamic logic CPP 2017
- A Temporal Differential Dynamic Logic Formal Embedding CPP 2024
- Reachability for Nonsmooth Systems with Lexicographic Jacobians TACAS 2025
- Language Inclusion for Finite Prime Event Structures VMCAI 2020