Hide metadata

dc.date.accessioned2013-03-12T08:03:13Z
dc.date.available2013-03-12T08:03:13Z
dc.date.issued2011en_US
dc.date.submitted2011-11-14en_US
dc.identifier.urihttp://hdl.handle.net/10852/9008
dc.description.abstractHybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. The Generalized Polygonal Hybrid System (GSPDI) is a restricted form of hybrid automaton where reachability is decidable. It is limited to two continuous variables that uniquely determine which location the automaton is in, and restricted in that the discrete transitions does not allow changes in the state, only the location, of the automaton. One application of GSPDIs is for approximating control systems and verifying the safety of such systems. In this paper we present the following two contributions: i) An optimized algorithm that answers reachability questions for GSPDIs, where all cycles in the reachability graph are accelerated. ii) An algorithm by which more complex planar hybrid systems are over-approximated by GSPDIs subject to two measures of precision. We prove soundness, completeness, and termination of both algorithms, and discuss their implementation.eng
dc.language.isoengen_US
dc.relation.ispartofResearch report http://urn.nb.no/URN:NBN:no-35645en_US
dc.relation.urihttp://urn.nb.no/URN:NBN:no-35645
dc.titleReachability analysis of complex planar hybrid systemsen_US
dc.typeResearch reporten_US
dc.date.updated2011-11-18en_US
dc.creator.authorHansen, Hallsteinen_US
dc.creator.authorSchneider, Gerardoen_US
dc.creator.authorSteffen, Martinen_US
dc.subject.nsiVDP::420en_US
dc.identifier.urnURN:NBN:no-29825en_US
dc.type.documentForskningsrapporten_US
dc.identifier.duo142076en_US
dc.identifier.bibsys114838437en_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/9008/1/ResRep412.pdf


Files in this item

Appears in the following Collection

Hide metadata