Stability and Control of Uncertain SystemsFormal Methods in VerificationDistributed Control Multi-Agent Systems
Alessandro Abate, Virginie Debauche, Mirco Giacobbe, David Jaz Myers, Diptarko Roy
2026.1.1IEEE Control Systems Letters
Abstract
Abstract is not available.
Citation format
ABATE, Alessandro, et al. Categorial characterization of template-dependent ordering of graph-based lyapunov stability certificates. IEEE Control Systems Letters, 2026, 10: 1225–1230.