Distributed Lyapunov Functions in Analysis of Graph Models of Software

DOI10.1007/978-3-540-78929-1_32zbMath1143.68367arXiv1108.0170OpenAlexW1961645642MaRDI QIDQ3523127

Mardavij Roozbehani, Emilio Frazzoli, Eric Feron, Alexandre Megretski

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1108.0170

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Distributed Lyapunov Functions in Analysis of Graph Models of Software