☆ 4.6 Article

Formal Methods for Control of Traffic Flow AUTOMATED CONTROL SYNTHESIS FROM FINITE-STATE TRANSITION MODELS

IEEE CONTROL SYSTEMS MAGAZINE (2017)

Get Full Text
Add to Collection

Journal

IEEE CONTROL SYSTEMS MAGAZINE
Volume 37, Issue 2, Pages 109-128

Publisher

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/MCS.2016.2643259

Keywords

-

Categories

Automation & Control Systems

Funding

  1. National Science Foundation [CNS-1446145, CNS-1446151]
  2. Direct For Computer & Info Scie & Enginr [1446145] Funding Source: National Science Foundation
  3. Division Of Computer and Network Systems [1446145] Funding Source: National Science Foundation
  4. Division Of Computer and Network Systems
  5. Direct For Computer & Info Scie & Enginr [1446151] Funding Source: National Science Foundation

Ask authors/readers for more resources

Protocol

Community support

Reagent

Community support

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.6
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available
Webinars Posters Questions Hubs Funding Journals Papers Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.