论文部分内容阅读
针对交通网络中交叉口车流具有连续时间特性，动态信号灯的切换具有离散事件特性的情况，以四相位单交叉口为对象，考虑车辆到达的随机性，以微分包含的形式描述车辆到达率，建立了一个四相位交叉口的矩形混杂自动机模型．该模型中以车辆排队长度为连续状态变量描述连续车流动态，以信号灯状态为离散状态变量描述离散信号灯动态．在该模型基础上，分析了交叉口各个方向的输入、输出车流动态，采用矩形混杂自动机可达性分析方法详细分析了车辆排队长度的可达集，使用CheckMate3．6工具箱进行仿真．仿真结果表明了矩形混杂自动机模型和可达性