摘要：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.
