Show simple item record

dc.contributor.authorCoogan, Samuelen_US
dc.contributor.authorGol, Ebru Aydinen_US
dc.contributor.authorArcak, Muraten_US
dc.contributor.authorBelta, Calinen_US
dc.date.accessioned2018-07-03T14:13:10Z
dc.date.available2018-07-03T14:13:10Z
dc.date.issued2016-06
dc.identifier.citationSamuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta. 2016. "Traffic Network Control From Temporal Logic Specifications." IEEE Transactions on Control of Network Systems, v. 3, issue 2, pp. 162 - 172.
dc.identifier.issn2325-5870
dc.identifier.urihttps://hdl.handle.net/2144/29737
dc.description.abstractWe propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal logic. By applying techniques from model checking and formal methods, we obtain a correct-by-construction controller that is guaranteed to satisfy complex specifications. To apply these tools, we identify and exploit structural properties particular to traffic networks that allow for efficient computation of a finite-state abstraction. In particular, traffic networks exhibit a componentwise monotonicity property which enables reaching set computations that scale linearly with the dimension of the continuous state space.en_US
dc.description.sponsorshipNational Science Foundation; CNS-1446145; CNS-1446151en_US
dc.format.extentp. 162-172en_US
dc.publisherIEEEen_US
dc.relation.ispartofIEEE Transactions on Control of Network Systems
dc.subjectTrafic network controlen_US
dc.subjectTemporal logic specificationsen_US
dc.subjectLinear temporal logicen_US
dc.subjectFormal methodsen_US
dc.subjectFinite state abstractionsen_US
dc.subjectTransportation networksen_US
dc.titleTraffic network control from temporal logic specificationsen_US
dc.typeArticleen_US
dc.identifier.doi10.1109/TCNS.2015.2428471
pubs.elements-sourcecrossrefen_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