Certification of Linear Inclusions for Nonlinear Systems
Abstract
In this work, we propose novel method for certifying if a given set of vertex linear systems constitute a linear difference inclusion for a nonlinear system. The method relies on formulating the verification of the inclusion as an optimization problem in a novel manner. The result is a Yes/No certificate. We illustrate how the method can be useful in obtaining less conservative linear enclosures for nonlinear systems.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2024
- DOI:
- 10.48550/arXiv.2408.03918
- arXiv:
- arXiv:2408.03918
- Bibcode:
- 2024arXiv240803918A
- Keywords:
-
- Electrical Engineering and Systems Science - Systems and Control