Nagumo Theorem For Constrained Differential Inclusions: Transversal Intersection and Set-Map Regularity
Year: 2025
Type: preprint
Abstract: We study a solution-independent condition certifying forward invariance of closed sets for constrained continuous-time systems. The proposed condition is only necessary in general, we establish its sufficiency under three assumptions. These assumptions, related to critical boundary points, restrict the dynamics and enforce mild transversality between the set constraining the dynamics and the set to render forward invariant. When the boundary of the latter set is within the interior of the former, we recover the well-known Nagumo characterization of forward invariance. We further simplify the proposed framework when the considered sets are regular; namely, by considering finitely-represented (resp., polytopic) sets-defined as the intersection of sublevel sets of smooth (resp., linear) functions-yielding conditions directly checkable from the defining functions. These conditions are shown to reduce to finite linear matrix inequalities (LMI)s under polytopic dynamics. These results carry important impacts on safety verification/falsification, reachability analysis, and compositional analysis and design for both constrained and hybrid systems.
Source: arXiv (Cornell University)
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7078600662
Cites:
Cited by:
Related to: