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

被引：29

作者：

Coogan, Samuel ^{[1
,2
]}

Arcak, Murat ^{[3
,4
,5
]}

Belta, Calin ^{[5
,6
]}

机构：

[1] Univ Calif Los Angeles, Elect Engn Dept, Los Angeles, CA USA

[2] Sensys Networks Inc, Berkeley, CA USA

[3] Univ Calif Berkeley, Elect Engn & Comp Sci Dept, Berkeley, CA 94720 USA

[4] SIAM, Delhi, India

[5] IEEE, New York, NY USA

[6] Boston Univ, Dept Mech Engn & Elect & Comp, Boston, MA 02215 USA

来源：

IEEE CONTROL SYSTEMS MAGAZINE | 2017年 / 37卷 / 02期

基金：

美国国家科学基金会;

关键词：

CELL TRANSMISSION MODEL; SYMBOLIC MODELS; LOGIC CONTROL; SYSTEMS; DISCRETE; STABILITY; NETWORKS; MANAGEMENT;

D O I：

10.1109/MCS.2016.2643259

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Today's increasingly populous cities require intelligent transportation systems that make efficient use of existing transportation infrastructure. However, inefficient traffic management is pervasive [1], [2], costing US160 billion in the United States in 2015, including 6.9 billion h of additional travel time and 3.1 billion gal of wasted fuel [3]. To mitigate these costs, the next generation of transportation systems will include connected vehicles, connected infrastructure, and increased automation. In addition, these advances must coexist with legacy technology into the foreseeable future. This complexity makes the goal of improved mobility and safety even more daunting. © 1991-2012 IEEE.

引用

页码：109 / 128

页数：20

共 72 条

[1] Monotone control systems [J].

Angeli, D ;

Sontag, ED .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (10) :1684-1698

[2]

[Anonymous], 2000, HIGHWAY CAPACITY MAN

[3]

Berezin Sergey., 1998, COMPOSITIONAL REASON

[4] Study of freeway traffic near an of-ramp [J].

Cassidy, MJ ;

Anani, SB ;

Haigwood, JM .

TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE, 2002, 36 (06) :563-572

[5]

Clarke EM, 1999, MODEL CHECKING, P1

[6] Throughput Optimality and Overload Behavior of Dynamical Flow Networks Under Monotone Distributed Routing [J].

Como, Giacomo ;

Lovisari, Enrico ;

Savla, Ketan .

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2015, 2 (01) :57-67

[7]

Coogan S., 2015, Hybrid Systems: Computation and Control, P58, DOI DOI 10.1145/2728606.2728607

[8] Traffic Network Control From Temporal Logic Specifications [J].

Coogan, Samuel ;

Gol, Ebru Aydin ;

Arcak, Murat ;

Belta, Calin .

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2016, 3 (02) :162-172

[9] Stability of traffic flow networks with a polytree topology [J].

Coogan, Samuel ;

Arcak, Murat .

AUTOMATICA, 2016, 66 :246-253

[10] A Compartmental Model for Traffic Networks and Its Dynamical Behavior [J].

Coogan, Samuel ;

Arcak, Murat .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (10) :2698-2703

← 1 2 3 4 5 6 7 8 →