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

作者：

Jiang, G.-X. (Jiang, G.-X..) | Chen, Y.-Z. (Chen, Y.-Z..) (学者：陈阳舟) | Zhang, L.-G. (Zhang, L.-G..) (学者：张利国) | Li, H.-F. (Li, H.-F..)

收录：

Scopus CSCD

摘要：

Vehicle　flow　show　continuous　behavior　and　traffic　light　exhibit　discrete　event　behavior,　thus　a　rectangular　hybrid　automata　model　of　a　four-phase　intersection　is　proposed　in　this　paper.　The　queue　lengths　are　considered　as　continuous　variables　to　represent　the　vehicle　flow　behavior　of　the　intersection,　and　the　discrete　event　part　are　used　to　reflect　the　discrete　characteristics　traffic　light.　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　examine　the　maximum　and　minimum　of　each　queue　length　of　the　single　intersection.　The　simulation　based　on　toolbox　CheckMate　3.6　shows　that　the　rectangular　hybrid　automata　model　not　only　perfectly　represents　the　hybrid　characters　of　the　dynamic　traffic　flow　of　the　single　intersection,　but　also　verifies　the　efficiency　of　the　time　scheme　of　the　traffic　light.

关键词：

CheckMate; Hybrid system; Reachability analysis; Rectangular hybrid automata; Single intersection

作者机构：

[ 1 ] [Jiang, G.-X.]Electronic Information and Control Engineering College, Beijing University of Technology, Beijing 100124, China
[ 2 ] [Chen, Y.-Z.]Electronic Information and Control Engineering College, Beijing University of Technology, Beijing 100124, China
[ 3 ] [Zhang, L.-G.]Electronic Information and Control Engineering College, Beijing University of Technology, Beijing 100124, China
[ 4 ] [Li, H.-F.]Electronic Information and Control Engineering College, Beijing University of Technology, Beijing 100124, China

通讯作者信息：

陈阳舟
[Chen, Y.-Z.]Electronic Information and Control Engineering College, Beijing University of Technology, Beijing 100124, China

电子邮件地址：

yzchen@bjut.edu.cn

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至