Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
Among the major challenges in neural control system technology is the validation and certification of the safety and robustness of neural network (NN) controllers against various uncertainties including unmodelled dynamics, nonlinearities, and time delays. One way in providing such validation guarantees is to maintain the closed-loop system output with a NN controller when its input changes within a bounded set, close to the output of a robustly performing closed-loop reference model. This paper presents a novel approach to analysing the performance and robustness of uncertain feedback systems with NN controllers. Due to the complexity of analysing such systems, the problem is reformulated as the problem of dynamical tracking errors between the closed-loop system with a neural controller and an ideal closed-loop reference model. Then, the approximation of the controller error is characterised by adopting the differential mean value theorem (DMV) and the Integral Quadratic Constraints (IQCs) technique. Moreover, the Relative Integral Square Error (RISE) and the Supreme Square Error (SSE) bounded set are derived for the output of the error dynamical system. The analysis is then performed by integrating Lyapunov theory with the IQCs-based technique. The resulting worst-case analysis provides the user a prior knowledge about the worst case of RISE and SSE between the reference closed-loop model and the uncertain system controlled by the neural controller.
Code (0)
등록된 구현이 없습니다.
Methods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Bayesian Deployment Approval for Learned Landing Controllers under Finite Rollout Validation
Reinforcement learning and data-driven autonomous controllers are commonly evaluated using cumulative reward and empirical success frequency under finite simulation trajectories. However, such empirical metrics do not ne…
Reinforcement LearningProbabilistic performance validation of deep learning-based robust NMPC controllers
Solving nonlinear model predictive control problems in real time is still an important challenge despite of recent advances in computing hardware, optimization algorithms and tailored implementations. This challenge is e…
Deep LearningModel Predictive ControlvalidImproving the Performance of Robust Control through Event-Triggered Learning
Robust controllers ensure stability in feedback loops designed under uncertainty but at the cost of performance. Model uncertainty in time-invariant systems can be reduced by recently proposed learning-based methods, whi…
Periodic Scenario Trees: A Novel Framework for Robust Periodic Invariance and Stabilization of Constrained Uncertain Linear Systems
This work proposes a new a framework for determining robust periodic invariant sets and their associated control laws for constrained uncertain linear systems. Necessary and sufficient conditions for stabilizability by p…
Verification of Visual Controllers via Compositional Geometric Transformations
Perception-based neural network controllers are increasingly used in autonomous systems that rely on visual inputs to operate in the real world. Ensuring the safety of such systems under uncertainty is challenging. Exist…