Reachability analysis of dynamic programming based controlled systems: an extended algorithm

• Type: Article in International Conference Proceedings Book
• Date: 2014

Authors

Da Silva, JE (Author) Other; De Sousa, JB (Author) Other; Pereira, FL (Author) FEUP

Conference proceedings International

Title: 2014 IEEE Conference on Control Applications, CCA 2014

Pages: 1249-1254

2014 IEEE Conference on Control Applications, CCA 2014

8 October 2014 through 10 October 2014

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 0 Citations

Other information

Authenticus ID: P-00A-4CX

DOI: 10.1109/cca.2014.6981500

Abstract (EN): This paper extends the algorithm proposed in [1]. In [1], the numerical approximation of the solution of dynamic programming problems is used as a candidate Lyapunov function V-L (x), in order to prove convergence of the closed loop system to a given target. That is done in the framework of sampled data systems. The described algorithm provides only a sufficient condition, which in many cases is not verified due to the deviations introduced by the approximations. In this paper, the previous algorithm is extended in order to compute the decrease in the candidate Lyapunov over multiple sampling periods, i. e., V-L (x (k + n)) - V-L (x (k)), with n is an element of N. Thus, it is expected that the verification procedure becomes more robust with respect to the deviations introduced by the numerical approximation of the control law and candidate Lyapunov function. The core of the algorithm is based on linear programming with polytopic convex constraints.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 6