Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems
From MaRDI portal
Publication:6308641
arXiv1810.09778MaRDI QIDQ6308641FDOQ6308641
Authors: Assalé Adjé 
Publication date: 23 October 2018
Abstract: Our very first concern is the resolution of the verification problem for the class of discrete-time affine dynamical systems. This verification problem is turned into an optimization problem where the constraint set is the reachable values set of the dynamical system. To solve this optimization problem, we truncate the infinite sequences belonging to the reachable values set at some step which is uniform with respect to the initial conditions. In theory, the best possible uniform step is the optimal solution of a non-convex semi-definite program. In practice, we propose a methodology to compute a uniform step that over-approximate the best solution.
This page was built for publication: Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6308641)
