Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.20045 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908795019460608 |
|---|---|
| author | Reynaud, Olayo Maghenem, Mohamed Saoud, Adnane Alaoui, Sadek Belamfedel Hably, Ahmad |
| author_facet | Reynaud, Olayo Maghenem, Mohamed Saoud, Adnane Alaoui, Sadek Belamfedel Hably, Ahmad |
| contents | This paper proposes a Nagumo-type invariance condition for differential inclusions defined on closed constraint sets. More specifically, given a closed set to render forward invariant, the proposed condition restricts the system's dynamics, assumed to be locally Lipschitz, on the boundary of the set restricted to the interior of the constraint set. In particular, when the boundary of the set is entirely within the interior of the constraint set, the proposed condition reduces to the well-known Nagumo condition, known to be necessary and sufficient for forward invariance in this case. This being said, the proposed condition is only necessary in the general setting. As a result, we provide a set of additional assumptions relating the constrained system to the set to render forward invariant, and restricting to the geometry at the intersection between the two sets, so that the equivalence holds. The importance of the proposed assumptions is illustrated via examples. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_20045 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Nagumo-Type Characterization of Forward Invariance for Constrained Systems Reynaud, Olayo Maghenem, Mohamed Saoud, Adnane Alaoui, Sadek Belamfedel Hably, Ahmad Optimization and Control 93Axx This paper proposes a Nagumo-type invariance condition for differential inclusions defined on closed constraint sets. More specifically, given a closed set to render forward invariant, the proposed condition restricts the system's dynamics, assumed to be locally Lipschitz, on the boundary of the set restricted to the interior of the constraint set. In particular, when the boundary of the set is entirely within the interior of the constraint set, the proposed condition reduces to the well-known Nagumo condition, known to be necessary and sufficient for forward invariance in this case. This being said, the proposed condition is only necessary in the general setting. As a result, we provide a set of additional assumptions relating the constrained system to the set to render forward invariant, and restricting to the geometry at the intersection between the two sets, so that the equivalence holds. The importance of the proposed assumptions is illustrated via examples. |
| title | Nagumo-Type Characterization of Forward Invariance for Constrained Systems |
| topic | Optimization and Control 93Axx |
| url | https://arxiv.org/abs/2508.20045 |