Boston University Libraries OpenBU
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    View Item 
    •   OpenBU
    • BU Open Access Articles
    • BU Open Access Articles
    • View Item
    •   OpenBU
    • BU Open Access Articles
    • BU Open Access Articles
    • View Item

    Traffic network control from temporal logic specifications

    Thumbnail
    Date Issued
    2016-06
    Publisher Version
    10.1109/TCNS.2015.2428471
    Author(s)
    Coogan, Samuel
    Gol, Ebru Aydin
    Arcak, Murat
    Belta, Calin
    Share to FacebookShare to TwitterShare by Email
    Export Citation
    Download to BibTex
    Download to EndNote/RefMan (RIS)
    Metadata
    Show full item record
    Permanent Link
    https://hdl.handle.net/2144/29737
    Citation (published version)
    Samuel 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.
    Abstract
    We 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.
    Collections
    • BU Open Access Articles [3664]
    • ENG: Mechanical Engineering: Scholarly Papers [245]


    Boston University
    Contact Us | Send Feedback | Help
     

     

    Browse

    All of OpenBUCommunities & CollectionsIssue DateAuthorsTitlesSubjectsThis CollectionIssue DateAuthorsTitlesSubjects

    Deposit Materials

    LoginNon-BU Registration

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Boston University
    Contact Us | Send Feedback | Help