通知公告
当前位置:首页  对外交流  通知公告
学术报告:Critical Scenarios and their Identification in Parallel Railroad Level Crossing Traffic Control System
时间:2011-07-13 来源:综合办 编辑:qqli 访问次数:3321

题目Critical Scenarios and their Identification in Parallel Railroad Level Crossing Traffic Control System

报告人Prof. Yi-Sheng Huang(黄懿盛教授)

Department of Electrical Engineering

National IlanUniversity

Taiwan.

时间715日星期五下午15:00-16:00

地点:智能系统与控制研究所(教18223

报告摘要

Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This topic proposes to use them to model parallel railroad level crossing control systems. Their applications to both single and double-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph method. Their important properties are verified. To our knowledge, this is the first work that employs DSPNs to model a parallel railroad level crossing system and identify its critical scenarios for the purpose of their complete avoidance. This helps advance the state-of-the-art in traffic safety related to the intersection of railroads and roadways.

 

 

报告人简介:

Yi-Sheng Huang (M’05-SM’11) received the B.S. degree in automatic control engineering from Feng Chia University, Taichung, Taiwan, in 1989, the M.S. degree in electronic engineering from Chung Yuan Christian University, Chung Li, Taiwan, in 1991, and the Ph.D. degree in electrical engineering from National Taiwan University of Science and Technology, Taipei, Taiwan, in 2001. He was a Professor in the Department of Electrical and Electronic Engineering, NationalDefenseUniversity in Taiwan, since 2006. He is currently a Professor in the Department of Electrical Engineering, National Ilan University, Taiwan. Prof. Huang has been serving as a Reviewer for the Automatic, IEEE TSMCA, IEEE TSMCC, IEEE TASE, IEEE TIE, IET Control Theory and Application, IET Intelligent Transport Systems, International Journal of Production Research, The Computer Journal, IJAMT, AJC, JCIE and JISE.  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.