A storage function assigns a nonnegative quantity to the state of a dynamical system so that its increase is bounded by the integrated supply rate. In dissipativity, it must satisfyfor every allowed history and interval. A storage function may represent physical energy, but it can also certify an abstract input–output bound. Jan C. Willems's theory relates possible storage functions to recoverable supply, rather than selecting an arbitrary positive expression.[ref]
Dissipative Dynamical Systems, Part I: General Theory by Jan C. Willems. General Theory, storage functions and available storage
For a differentiable storage function and state equation , the pointwise inequalityis sufficient: integrating it along a solution proves the interval statement. Positivity alone is insufficient; the derivative must be checked against the specified supply rate.
An original dimensionless example makes this check exact. For , output , and supply rate , try with . Its derivative isThe difference from supply is . Requiring it to be nonpositive for every real and fixed nonzero forces . That value works because . Thus even within this simple positive quadratic family, the supply law fixes the admissible scale.
A storage function also limits extraction. Rearranging the interval inequality givesStarting in a given state, one cannot withdraw more net supply than the initial storage certificate permits. A chosen storage function need not make that upper bound attainable.
When unforced operation makes the supply rate zero, storage cannot increase. This resembles a Lyapunov function, but nonincrease alone does not prove asymptotic stability: the function may fail to distinguish some states, or its derivative may vanish along persistent motion. The storage balance and a convergence proof are separate claims.
New to topics? Read the docs here!