Approximate computation of storage functions for discrete-time systems using sum-of-squares techniques. Issue 16 (2019)

• Record Type: Journal Article
• Authors: Pirkelmann, Simon; Angeli, David; Grüne, Lars
• Is Part Of: IFAC-PapersOnLine. Volume 52:Issue 16(2019)
• Page Start: 508
• Page End: 513
• Publication Date: 2019
• Subjects: Dissipativity -- Storage Functions -- Sum-of-Squares -- Polynomial Systems -- Taylor Approximations; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2019.12.012
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: In this paper we present a method for automated verification of dissipativity by numerical means for discrete time systems with polynomial dynamics and stage cost. It relies on sum-of-squares techniques in order to compute storage functions that satisfy a dissipation inequality. The method can also be used to treat systems subject to constraints. Moreover, an Taylor approximation based extension to more general nonlinear stage costs is presented which enables the computation of approximate local storage functions.