dc.contributor.author | Roozbehani, Mardavij | |
dc.contributor.author | Megretski, Alexandre | |
dc.contributor.author | Frazzoli, Emilio | |
dc.contributor.author | Feron, Eric | |
dc.date.accessioned | 2011-11-10T15:56:00Z | |
dc.date.available | 2011-11-10T15:56:00Z | |
dc.date.issued | 2008-07 | |
dc.identifier.isbn | 978-3-540-78928-4 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/67000 | |
dc.description.abstract | In previous works, the authors introduced a framework for software analysis, which is based on optimization of Lyapunov invariants. These invariants prove critical software properties such as absence of overflow and termination in finite time. In this paper, graph models of software are introduced and the software analysis framework is further developed and extended on graph models. A distributed Lyapunov function is assigned to the software by assigning a Lyapunov function to every node on its graph model. The global decremental condition is then enforced by requiring that the Lyapunov functions on each node decrease as transitions take place along the arcs. The concept of graph reduction and optimality of graphs for Lyapunov analysis is briefly discussed. | en_US |
dc.description.sponsorship | National Science Foundation (U.S.) (NSF-0715025) | en_US |
dc.language.iso | en_US | |
dc.publisher | Spring Berlin/Heidelberg | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1007/978-3-540-78929-1_32 | en_US |
dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |
dc.source | Springer | en_US |
dc.title | Distributed lyapunov functions in analysis of graph models of software | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Roozbehani, Mardavij et al. “Distributed Lyapunov Functions in Analysis of Graph Models of Software.” Hybrid Systems: Computation and Control. Ed. Magnus Egerstedt & Bud Mishra. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. 443-456. © 2008 Springer | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Laboratory for Information and Decision Systems | en_US |
dc.contributor.approver | Roozbehani, Mardavij | |
dc.contributor.mitauthor | Roozbehani, Mardavij | |
dc.contributor.mitauthor | Megretski, Alexandre | |
dc.contributor.mitauthor | Frazzoli, Emilio | |
dc.relation.journal | Hybrid Systems: Computation and Control | en_US |
dc.eprint.version | Final published version | en_US |
dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
dspace.orderedauthors | Roozbehani, Mardavij; Megretski, Alexandre; Frazzoli, Emilio; Feron, Eric | en |
dc.identifier.orcid | https://orcid.org/0000-0002-0505-1400 | |
dc.identifier.orcid | https://orcid.org/0000-0001-9088-0205 | |
mit.license | MIT_AMENDMENT | en_US |
mit.metadata.status | Complete | |