M14 â LâAQUILA 21/03/2016 â 24/03/2016
Tools for nonlinear control, Lyapunov function, positivity, applications
Laboratoire des Signaux et SystĂšmes (L2S)
CNRS-CentraleSupĂ©lec-U PSUD, France
AbstractWe will present fundamental results pertaining to ordinary differential equations, discrete-time systems and nonlinear control theory. In particular, we will review the notion of Lyapunov function, the LaSalle Invariance Principle, the Jurdjevic-Quinnâs theorem and the techniques called backstepping and forwarding. We will perform construction of strict Lyapunov functions. We will study the notion of positive systems. We will study several applied problems (chemostats, PVTOL, cart-pendulum system).
The module is partially based on the research monograph: M. Malisoff, F. Mazenc,Â Constructions of Strict Lyapunov Functions,Â Â Spinger-Verlag, serie : Communications and Control Engineering, 2009
1) Introduction to dynamical systems:Â OrdinaryÂ Differential Equations, discrete-time systems, time-varying systems, basic notions (existence and uniqueness of solutions, finite escape time phenomenon). Notions of stability (local, global, basin of attraction), notion ofÂ input-to-state stability.
2) Fundamental results. Linear systems: stability analysis, linearization. Hartman-Grobman Theorem, Two dimentional systemsÂ : PoincarĂ©âBendixson theorem. Dulacâs criterion, properties of Ï-limit sets.
3) Lyapunov functions: Lyapunov theorem, converse Lyapunov theorem, LaSalle Invariance Principle. Weak Lyapunov functions, strict Lyapunov functions, Matrosov Theorem. Construction of strict Lyapunov functions. Determination of an estimate of a basin of attraction via a strict Lyapunov functions. Notion of ISS Lyapunov function.
4) Control design: Lyapunov design, Jurdjevic-Quinn theorem, classical backstepping, bounded backstepping, backstepping for time-varying systems, strabilization and tracking though forwarding, Sontagâs formula.
5) Positive systems: Cooperative nonlinear systems, linear positive systems, linear Lyapunov function.Â Notion of interval observer.