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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2014

Autores

Da Silva, JE (Autor) Outra; De Sousa, JB (Autor) Outra; Pereira, FL (Autor) FEUP

Ata de Conferência Internacional

Título: 2014 IEEE Conference on Control Applications, CCA 2014

Páginas: 1249-1254

2014 IEEE Conference on Control Applications, CCA 2014

8 October 2014 through 10 October 2014

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 6