Modeling and reachabilty analysis for a single intersection based on rectangular hybrid automata - 文章详情页

作者：

Li, Hongfeng (Li, Hongfeng.) | Jiang, Guangxiu (Jiang, Guangxiu.) | Chen, Yangzhou (Chen, Yangzhou.) (学者：陈阳舟)

收录：

摘要：

A　rectangular　hybrid　automata　model　of　a　four-phase　intersection　is　given,　in　which　the　queue　lengths　are　considered　as　continuous　variables　to　represent　the　vehicle　flow　behavior　of　the　intersection　and　the　discrete　event　part　represent　the　traffic　light　behavior.　Based　on　the　rectangular　hybrid　automata　model,　all　directional　vehicle　flows　are　analyzed.　A　method　for　reachability　analysis　of　rectangular　hybrid　automata　is　applied　to　analyze　the　maximum　and　minimum　of　each　queue　length　of　the　single　intersection.　Simulation　completed　with　the　help　of　the　toolbox　CheckMate　shows　that　the　rectangular　hybrid　automata　model　and　the　method　can　not　only　perfectly　represent　the　hybrid　character　of　the　dynamic　traffic　flow　of　the　single　intersection,　but　also　can　verify　the　efficiency　of　the　timed　scheme　of　the　traffic　light.

关键词：

Traffic control Discrete event simulation Hybrid systems Automata theory

作者机构：

[ 1 ] [Li, Hongfeng]Beijing University of Technology, Electronic Information and Control Engineering College, Beijing 100124, China
[ 2 ] [Jiang, Guangxiu]Beijing University of Technology, Electronic Information and Control Engineering College, Beijing 100124, China
[ 3 ] [Chen, Yangzhou]Beijing University of Technology, Electronic Information and Control Engineering College, Beijing 100124, China

通讯作者信息：

电子邮件地址：

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至