Show simple item record

dc.contributor.authorChen, Yushanen_US
dc.contributor.authorDing, Xu Chuen_US
dc.contributor.authorBelta, Calinen_US
dc.coverage.spatialOrlando, FLen_US
dc.date.accessioned2018-07-12T15:25:44Z
dc.date.available2018-07-12T15:25:44Z
dc.date.issued2011-01-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000303506203053&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=6e74115fe3da270499c3d65c9b17d654
dc.identifier.citationYushan Chen, Xu Chu Ding, Calin Belta. 2011. "Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications." 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), pp. 2718 - 2723 (6).
dc.identifier.issn0743-1546
dc.identifier.urihttps://hdl.handle.net/2144/29846
dc.description.abstractWe introduce a technique for synthesis of control and communication strategies for a team of agents from a global task specification given as a Linear Temporal Logic (LTL) formula over a set of properties that can be satisfied by the agents. We consider a purely discrete scenario, in which the dynamics of each agent is modeled as a finite transition system. The proposed computational framework consists of two main steps. First, we extend results from concurrency theory to check whether the specification is distributable among the agents. Second, we generate individual control and communication strategies by using ideas from LTL model checking. We apply the method to automatically deploy a team of miniature cars in our Robotic Urban-Like Environment.en_US
dc.description.sponsorshipThis work was partially supported by ONR MURI N00014-09-1051, ARO W911NF-09-1-0088, AFOSR YIP FA9550-09-1-020 and NSF CNS-0834260 at Boston University. (N00014-09-1051 - ONR MURI; W911NF-09-1-0088 - ARO; FA9550-09-1-020 - AFOSRYIP; CNS-0834260 - NSF)en_US
dc.format.extentp. 2718 - 2723en_US
dc.languageEnglish
dc.publisherIEEEen_US
dc.relation.ispartof2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC)
dc.subjectScience & technologyen_US
dc.subjectAutomation & control systemsen_US
dc.subjectLogic specificationsen_US
dc.subjectLinear systemsen_US
dc.subjectAbstractionsen_US
dc.subjectAutomataen_US
dc.subjectRoadsen_US
dc.subjectBariumen_US
dc.subjectSiliconen_US
dc.subjectTrajectoryen_US
dc.subjectComputational modelingen_US
dc.titleSynthesis of distributed control and communication schemes from global LTL specificationsen_US
dc.typeArticleen_US
dc.identifier.doi10.1109/CDC.2011.6160740
pubs.elements-sourceweb-of-scienceen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Mechanical Engineeringen_US
pubs.publication-statusPublisheden_US


This item appears in the following Collection(s)

Show simple item record