Optimization of Lyapunov Invariants in Verification of Software Systems

DOI10.1109/TAC.2013.2241472MaRDI QIDQ5353144zbMATH OpenFDO

Authors Mardavij Roozbehani, Eric Feron, A. Megretski

Publication date 8 September 2017

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

Full work available at URL https://doi.org/10.1109/TAC.2013.2241472

Mathematics Subject Classification ID

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

Cited in

(2)

• Review on computational methods for Lyapunov functions
• Mathematical programming based debugging

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5353144)