Certification of Linear Inclusions for Nonlinear Systems
<|reference_start|>Certification of Linear Inclusions for Nonlinear Systems: 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.<|reference_end|>
@article{abdelsalam2024certification,
    title={Certification of Linear Inclusions for Nonlinear Systems},
    author={Yehia Abdelsalam, Sebastian Engell},
    journal={arXiv preprint arXiv:2408.03918},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.03918},
    primaryClass={eess.SY cs.SY}
}