针对交通网络中交叉口车流具有连续时间特性,动态信号灯的切换具有离散事件特性的情况,以四相位单交叉口为对象,考虑车辆到达的随机性,以微分包含的形式描述车辆到达率,建立了一个四相位交叉口的矩形混杂自动机模型.该模型中以车辆排队长度为连续状态变量描述连续车流动态,以信号灯状态为离散状态变量描述离散信号灯动态.在该模型基础上,分析了交叉口各个方向的输入、输出车流动态,采用矩形混杂自动机可达性分析方法详细分析了车辆排队长度的可达集,使用CheckMate　3.6工具箱进行仿真.仿真结果表明了矩形混杂自动机模型和可达性分析方法的有效性,不仅能够刻画交叉口车流的动态混杂特性,而且能够验证信号灯配时方案对车流疏导是否有效,为信号灯配时设计提供一种检验方法.