[Legacy Report] IEEE SMC, CS and SP Chapter Seminar
Design and Analysis of Urban Traffic Light Control Systems Using Petri Nets
Yi-Sheng Huang, Ph.D. & Professor
National Ilan University, Taiwan
Time: 10:40pm-11:40pm, Tue., December 16, 2014
Place: ECEC 202, New Jersey Inst. of Technology
Abstract—Timed Petri nets (TPNs) have been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well known that synchronized timed Petri net (STPN) allows us to present all of the concurrent states in complex TPN. In this talk, we introduce a methodology to design and analyze an urban traffic network control system by using STPN. In addition, the applications of STPN to eight-phase, six-phase and two-phase traffic light control systems are modularized. Besides, this talk will show you how to use them to model parallel railroad level crossing control systems. The advantage of the proposed approach is the clear presentation of traffic lights’ behaviors in terms of conditions and events that cause the phases alternations. The analysis of the control models is performed to demonstrate how the models enforce the lights’ transitions by a reachability graph method.
Yi-Sheng Huang received the B.S. degree in Automatic Control Engineering from Feng Chia University, Taiwan the M.S. degree in Electronic Engineering from Chung Yuan Christian University, Taiwan, and the Ph.D. degree in Electrical Engineering from National Taiwan University of Science and Technology (NTUST), Taiwan, in 2001.
He was a Professor in the Department of Electrical and Electronic at Chung Cheng Institute of Technology (CCIT), National Defense University in Taiwan. He is presently a full professor in the Department of Electrical Engineering, National Ilan University in Taiwan, ROC. He was a visiting professor at New Jersey Institute of Technology (NJIT) in 2008 and 2014.His research interests include discrete event systems, Petri nets, computer integrated manufacturing, automation, reactive systems, air traffic control, intelligent transport systems and motor control systems.Prof. Huang has been serving as a Reviewer for the Automatic,IEEE TSMCA, IEEE TSMCC, IEEE TASE, IEEE TIE, IEEE TITS,IET Control Theory and Application, IET Intelligent Transport Systems, International Journal of Production Research, The Computer Journal, IJAMT, AJC, JCIE and JISE.