Work

Strictifying storage functions for autonomous discrete-time systems using observers (long version)