Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed Petri Nets

Asian Journal of Control ◽

10.1002/asjc.910 ◽

2014 ◽

Vol 17 (2) ◽

pp. 626-635 ◽

Author(s):

Yi-Shun Weng ◽

Yi-Sheng Huang ◽

Yen-Liang Pan ◽

MuDer Jeng

Keyword(s):

Control Systems ◽

Traffic Safety ◽

Timed Petri Nets ◽

Download Full-text

Modelling of traffic safety control systems using timed Petri nets

Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control ◽

10.1109/icnsc.2014.6819614 ◽

2014 ◽

Author(s):

Yi-Shun Weng ◽

Yi-Sheng Huang ◽

Chia-Che Ho

Keyword(s):

Control Systems ◽

Traffic Safety ◽

Timed Petri Nets ◽

Download Full-text

Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets

IEEE Transactions on Intelligent Transportation Systems ◽

10.1109/tits.2015.2395419 ◽

2015 ◽

Vol 16 (4) ◽

pp. 2113-2120 ◽

Author(s):

Yi-Sheng Huang ◽

Yi-Shun Weng ◽

MengChu Zhou

Keyword(s):

Control Systems ◽

Traffic Safety ◽

Emergency Vehicle ◽

Timed Petri Nets ◽

Download Full-text

Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets

IEEE Transactions on Intelligent Transportation Systems ◽

10.1109/tits.2013.2283034 ◽

2014 ◽

Vol 15 (2) ◽

pp. 530-539 ◽

Author(s):

Yi-Sheng Huang ◽

Yi-Shun Weng ◽

MengChu Zhou

Keyword(s):

Control Systems ◽

Modular Design ◽

Urban Traffic ◽

Light Control ◽

Timed Petri Nets ◽

Traffic Light ◽

Traffic Light Control

Download Full-text

Design and Verification of Sequence Control Systems with Timed Petri Nets

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)60381-1 ◽

1985 ◽

Vol 18 (8) ◽

pp. 277-282

Author(s):

Y. Nakamura ◽

S. Abe ◽

S. Takeda

Keyword(s):

Control Systems ◽

Timed Petri Nets

Download Full-text

Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using Timed Petri Nets

IEEE Transactions on Intelligent Transportation Systems ◽

10.1109/tits.2019.2925824 ◽

2020 ◽

Vol 21 (7) ◽

pp. 3117-3127 ◽

Author(s):

Jiliang Luo ◽

Yi-Sheng Huang ◽

Yi-Shun Weng

Keyword(s):

Control Systems ◽

Network Traffic ◽

Light Control ◽

Timed Petri Nets ◽

Traffic Light ◽

Grid Network ◽

Traffic Jams ◽

Traffic Light Control

Download Full-text

DESIGN AND VERIFICATION OF SEQUENCE CONTROL SYSTEMS WITH TIMED PETRI NETS

Computer Aided Design in Control and Engineering Systems ◽

10.1016/b978-0-08-032557-6.50055-8 ◽

1986 ◽

pp. 277-282

Author(s):

Y. Nakamura ◽

S. Abe ◽

S. Takeda

Keyword(s):

Control Systems ◽

Timed Petri Nets

Download Full-text

Programmable timed Petri nets in the analysis and design of hybrid control systems

Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171) ◽

10.1109/cdc.1998.758524 ◽

2002 ◽

Author(s):

N.D. Koutsoukos ◽

P.J. Antsaklis ◽

K.X. He ◽

M.D. Lemmon

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Timed Petri Nets ◽

Analysis And Design ◽

Hybrid Control Systems

Download Full-text

Design of Regulatory Traffic Light Control Systems with Synchronized Timed Petri Nets

Asian Journal of Control ◽

10.1002/asjc.1536 ◽

2017 ◽

Vol 20 (1) ◽

pp. 174-185 ◽

Author(s):

Yi-Sheng Huang ◽

Yi-Shun Weng ◽

MengChu Zhou

Keyword(s):

Control Systems ◽

Light Control ◽

Timed Petri Nets ◽

Traffic Light ◽

Traffic Light Control

Download Full-text

Design of discrete event control systems for programmable logic controllers using T-Timed Petri nets

Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design ◽

10.1109/cacsd.1996.555283 ◽

2002 ◽

Author(s):

A.H. Jones ◽

M. Uzam ◽

N. Ajlouni

Keyword(s):

Control Systems ◽

Discrete Event ◽

Programmable Logic ◽

Timed Petri Nets ◽

Programmable Logic Controllers ◽

Discrete Event Control ◽

Logic Controllers

Download Full-text

Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems

2013 IEEE International Conference on Systems, Man, and Cybernetics ◽

10.1109/smc.2013.72 ◽

2013 ◽

Author(s):

Yi-Sheng Huang ◽

Yi-Shun Weng ◽

MuDer Jeng ◽

Bo-Yang Chen

Keyword(s):

Control Systems ◽

Traffic Control ◽

Urban Traffic ◽

Timed Petri Nets ◽

Urban Traffic Control

Download Full-text