Lyapunov functions and robustness analysis under Matrosov conditions with an application to biological systems

We construct strict Lyapunov functions for broad classes of nonlinear systems satisfying Matrosov type conditions. Our new constructions are simpler than the designs available in the literature. We illustrate our designs using a model for an experimental anaerobic digester used to treat wastewater.