Optimization of Lyapunov Invariants in Verification of Software Systems

DOI10.1109/TAC.2013.2241472zbMath1369.68155MaRDI QIDQ5353144

Mardavij Roozbehani, Eric Feron, Alexandre Megretski

Publication date: 8 September 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Review on computational methods for Lyapunov functions

This page was built for publication: Optimization of Lyapunov Invariants in Verification of Software Systems