Show simple item record

dc.contributor.authorRoozbehani, Mardavij
dc.contributor.authorMegretski, Alexandre
dc.contributor.authorFrazzoli, Emilio
dc.contributor.authorFeron, Eric
dc.date.accessioned2011-11-10T15:56:00Z
dc.date.available2011-11-10T15:56:00Z
dc.date.issued2008-07
dc.identifier.isbn978-3-540-78928-4
dc.identifier.urihttp://hdl.handle.net/1721.1/67000
dc.description.abstractIn 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.sponsorshipNational Science Foundation (U.S.) (NSF-0715025)en_US
dc.language.isoen_US
dc.publisherSpring Berlin/Heidelbergen_US
dc.relation.isversionofhttp://dx.doi.org/10.1007/978-3-540-78929-1_32en_US
dc.rightsArticle 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.sourceSpringeren_US
dc.titleDistributed lyapunov functions in analysis of graph models of softwareen_US
dc.typeArticleen_US
dc.identifier.citationRoozbehani, 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 Springeren_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Scienceen_US
dc.contributor.departmentMassachusetts Institute of Technology. Laboratory for Information and Decision Systemsen_US
dc.contributor.approverRoozbehani, Mardavij
dc.contributor.mitauthorRoozbehani, Mardavij
dc.contributor.mitauthorMegretski, Alexandre
dc.contributor.mitauthorFrazzoli, Emilio
dc.relation.journalHybrid Systems: Computation and Controlen_US
dc.eprint.versionFinal published versionen_US
dc.type.urihttp://purl.org/eprint/type/ConferencePaperen_US
dspace.orderedauthorsRoozbehani, Mardavij; Megretski, Alexandre; Frazzoli, Emilio; Feron, Ericen
dc.identifier.orcidhttps://orcid.org/0000-0002-0505-1400
dc.identifier.orcidhttps://orcid.org/0000-0001-9088-0205
mit.licenseMIT_AMENDMENTen_US
mit.metadata.statusComplete


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record