Title data
Pirkelmann, Simon ; Angeli, David ; Grüne, Lars:
Approximate computation of storage functions for discretetime systems using sumofsquares techniques.
Bayreuth
,
2019
.  9 S.


Download (4MB)

Project information
Project title: 



Project financing: 
Deutsche Forschungsgemeinschaft 
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 sumofsquares 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.