Communication Dans Un Congrès Année : 2025

Nagumo-Type Characterization of Forward Invariance for Constrained Systems

Résumé

We present a solution-independent condition certifying forward invariance of closed sets for constrained systems. The proposed condition is only necessary in the general case, we establish its sufficiency under three assumptions. These assumptions, related to critical boundary points, constrain 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 entirely within the interior of the former, our result reduces to the well-known Nagumo characterization of forward invariance. The importance of the proposed assumptions is illustrated via counterexamples. We further show how the framework simplifies when the considered sets are regular; namely, we consider practical, resp. polytopic, sets—defined as the intersection of sublevel sets of smooth, resp. linear, functions—yielding conditions directly checkable from the defining functions. The results carry important implications for safety-critical applications, particularly in the context of hybrid systems.

Fichier principal
Vignette du fichier
AMO-GIPSA-1.pdf (3.03 Mo) Télécharger le fichier

Dates et versions

hal-05502224 , version 1 (10-02-2026)

Licence

Identifiants

Citer

Olayo Reynaud, Mohamed Maghenem, A. Saoud, S. Alaoui, Ahmad Hably. Nagumo-Type Characterization of Forward Invariance for Constrained Systems. CDC 2025 - 64th IEEE Conference on Decision and Control, Dec 2025, Rio de Janeiro, Brazil. pp.2701-2706, ⟨10.1109/CDC57313.2025.11312163⟩. ⟨hal-05502224⟩
191 Consultations
70 Téléchargements

Altmetric

Partager

  • More