Certification of Linear Inclusions for Nonlinear Systems
Systems and Control
2024-08-08 v1 Systems and Control
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.
Keywords
Cite
@article{arxiv.2408.03918,
title = {Certification of Linear Inclusions for Nonlinear Systems},
author = {Yehia Abdelsalam and Sebastian Engell},
journal= {arXiv preprint arXiv:2408.03918},
year = {2024}
}