Systematic Analysis and Design of Control Systems Based on Lyapunov’s Direct Method-Reference-Cited by-同舟云学术

Systematic Analysis and Design of Control Systems Based on Lyapunov’s Direct Method

Published:2023-08-14 Issue:8 Volume:16 Page:389
ISSN:1999-4893
Container-title:Algorithms
language:en
Short-container-title:Algorithms

Author:

Voßwinkel Rick¹^ORCID,Röbenack Klaus²^ORCID

Affiliation:

1. Faculty of Automotive Engineering, University of Applied Sciences Zwickau, 08056 Zwickau, Germany

2. Institute of Control Theory, Faculty of Electrical and Computer Engineering, Technische Universität Dresden, 01062 Dresden, Germany

Abstract

This paper deals with systematic approaches for the analysis of stability properties and controller design for nonlinear dynamical systems. Numerical methods based on sum-of-squares decomposition or algebraic methods based on quantifier elimination are used. Starting from Lyapunov’s direct method, these methods can be used to derive conditions for the automatic verification of Lyapunov functions as well as for the structural determination of control laws. This contribution describes methods for the automatic verification of (control) Lyapunov functions as well as for the constructive determination of control laws.

Funder

German National Academic Foundation

Publisher

MDPI AG

Subject

Computational Mathematics,Computational Theory and Mathematics,Numerical Analysis,Theoretical Computer Science

Link

https://www.mdpi.com/1999-4893/16/8/389/pdf

Reference74 articles.

1. Control system analysis and design via the “Second Method” of Lyapunov: I Continuous-time systems;Kalman;J. Basic Engeineering,1960

2. Hahn, W. (1967). Stability of Motion, Springer.

3. Slotine, J.J.E., and Li, W. (1991). Applied Nonlinear Control, Prentice-Hall.

4. Khalil, H.K. (2002). Nonlinear Systems, Prentice Hall. [3rd ed.].

5. Adamy, J. (2018). Nichtlineare Systeme und Regelungen, Springer. [3rd ed.].