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.
Code (0)
등록된 구현이 없습니다.
Methods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Convergence to periodic regimes in nonlinear feedback systems with a strongly convex backlash
This paper considers a class of nonlinear systems consisting of a linear part with an external input and a nonlinear feedback with a backlash. Assuming that the latter is specified by a strongly convex set, we establish …
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe. This paper presents a set of backwa…
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems
In this work, we derive a region-based self-triggered control (STC) scheme for nonlinear systems with bounded disturbances and model uncertainties. The proposed STC scheme is able to guarantee different performance speci…
Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
We propose a new reachability learning framework for high-dimensional nonlinear systems, focusing on reach-avoid problems. These problems require computing the reach-avoid set, which ensures that all its elements can saf…
Sublinear Convergence Rates of Extragradient-Type Methods: A Survey on Classical and Recent Developments
The extragradient (EG), introduced by G. M. Korpelevich in 1976, is a well-known method to approximate solutions of saddle-point problems and their extensions such as variational inequalities and monotone inclusions. Ove…