Efficient polyhedral enclosures for the reachable set of nonlinear control systems
نویسندگان
چکیده
منابع مشابه
Efficient polyhedral enclosures for the reachable set of nonlinear control systems
This work presents a general theory for the construction of a polyhedral outer approximation of the reachable set (“polyhedral bounds”) of a dynamic system subject to time-varying inputs and uncertain initial conditions. This theory is inspired by the efficient methods for the construction of interval bounds based on comparison theorems. A numerically implementable instance of this theory leads...
متن کاملEnclosures for the solution set of parametric interval linear systems
We investigate parametric interval linear systems of equations. The main result is a generalization of the Bauer–Skeel and the Hansen–Bliek–Rohn bounds for this case, comparing and refinement of both. We show that the latter bounds are not provable better, and that they are also sometimes too pessimistic. The presented form of both methods is suitable for combining them into one to get a more e...
متن کاملInvariance of the Approximately Reachable Set under Nonlinear Perturbations
This paper considers nonlinear perturbations of control systems with linear dynamics and seeks to analyze whether the approximately reachable set may be left unchanged by this perturbation. Under suitable conditions it is shown that this analysis may be reduced to the presumably simpler analysis of such invariance for a family of affine perturbations. Interest centers on the context of infinite...
متن کاملReachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Neural networks have been widely used to solve complex realworld problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal safety guarantees for the behaviors of neural network systems will be crucial for their applications in safety-critical systems. In this paper, the reachable set estimation and verification problems for Nonlinear Autoregressive-Moving Average ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Control, Signals, and Systems
سال: 2016
ISSN: 0932-4194,1435-568X
DOI: 10.1007/s00498-015-0153-2