Please use this identifier to cite or link to this item: https://ktisis.cut.ac.cy/handle/10488/7815
DC FieldValueLanguage
dc.contributor.authorFainekos, Georgios E.en
dc.contributor.authorPappas, George J.en
dc.contributor.authorLoizou, Savvas-
dc.contributor.otherΛοΐζου, Σάββας-
dc.date.accessioned2013-03-11T13:20:01Zen
dc.date.accessioned2013-05-17T05:29:56Z-
dc.date.accessioned2015-12-02T11:24:33Z-
dc.date.available2013-03-11T13:20:01Zen
dc.date.available2013-05-17T05:29:56Z-
dc.date.available2015-12-02T11:24:33Z-
dc.date.issued2006en
dc.identifier.citation45th IEEE Conference on Decision and Control, 2006, San Diego, Californiaen
dc.identifier.issn01912216en
dc.identifier.urihttp://ktisis.cut.ac.cy/handle/10488/7815en
dc.description.abstractThe problem of designing hybrid controllers in order to satisfy safety or liveness specifications has received much attention in the past decade. Much more recently, there is an increased interest in designing hybrid controllers in order to achieve more sophisticated discrete specifications, such as those expressible in temporal logics. A great challenge is how to compose safety and liveness controllers in order to achieve more complex specifications. Existing approaches are predominantly bottom-up, in the sense that the overall control and composition (or switching) logic requires verification of the integrated closed-loop hybrid system. In this paper, we advocate and develop a top-down approach for this problem by synthesizing controllers which satisfy the specification by construction. Given a flat linear temporal logic specification as an input, we develop an algorithm that translates the temporal logic specification into a hybrid automaton where in each discrete mode we impose controller specifications for the continuous dynamics. In addition to achieving the desired specification by construction, our methodology provides a very natural interface between high level logic design and low level control design.en
dc.formatpdfen
dc.language.isoenen
dc.publisherIEEEen
dc.rights© 2006 IEEEen
dc.subjectAlgorithmsen
dc.subjectProblem solvingen
dc.subjectHybrid systemsen
dc.titleTranslating temporal logic to controller specificationsen
dc.typeConference Papersen
dc.affiliationUniversity of Pennsylvaniaen
dc.dept.handle123456789/54en
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_c94f-
item.languageiso639-1en-
item.openairetypeconferenceObject-
item.grantfulltextnone-
item.cerifentitytypePublications-
crisitem.author.deptDepartment of Mechanical Engineering and Materials Science and Engineering-
crisitem.author.facultyFaculty of Engineering and Technology-
crisitem.author.orcid0000-0003-4083-9946-
crisitem.author.parentorgFaculty of Engineering and Technology-
Appears in Collections:Δημοσιεύσεις σε συνέδρια/Conference papers
Show simple item record

Page view(s)

142
Last Week
3
Last month
26
checked on Nov 22, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.