一阶混杂佩特里网框架呢内的高速公路交通建模和控制(ppt).ppt

一阶混杂佩特里网框架内的高速公路 交通建模和控制 Maria Pia Fanti, Senior Member, IEEE Giorgio Iacobellis, Agostino Marcello Mangini, and Walter Ukovich, Member, IEEE 报 告 人：xxxx 小组成员：xxxx * IEEE Transactions on Automation Science and Engineering Publication Year: 2013 第一部分 原论文结构 * I. Introduction II. Basic of First-Order Hybrid PetriNets III. The Freeway Traffic Model IV. The Freeway Dynamics V. Optimal Control VI. The Case Study VII. Conclusion 第二部分 交通控制策略 * 第一类别：离线或开环控制策略 第二类别：依赖流量传感器的实时闭环控制策略 第三类别：模型预测控制策略(MPC) 通过采取坡道计量、可变限速、联合坡道计量和变速极限控制等方法，同时使用在线和离线信息来预测未来状态和实现系统管理。 缺点：计算复杂，不利于在线应用 一阶混杂佩特里网框架内的高速公路交通流模型 * 与其他文献中的现有模型比较的显著优势： ⅰ 采用图形特征，建模方法简单 ⅱ 采取有效的数学方法，允许系统进行模拟和优化 ⅲ 能够描述车道变化、不可预知的事故和车道堵塞 等特殊情况 该模型是基于MPC策略的FOHPN框架内的一个一阶宏观、时变的交通流状态的模型。 它通过FOHPN动态添加新的宏事件来描述交通流且允许我们定义一个在线的以车流密度最大化为目标的最优限速控制。 第三部分 一阶混杂佩特里网基础 * 3.1 FOHPN的结构和标识 3.2 FOHPN的动态模型 FOHPN的结构和标识 * 1.FOHPN的元素：+库所集P：连续库所集 （ ）；离散库所 （ ）；+ 变迁集T： 连续变迁集 （ ）；离散变迁； 其中，离散变迁分为： 瞬时变迁 （ ）；随机变迁 （ ）；确定时延变迁 （ ） + 令牌（·）是库所中的动态对象，可以从一个库所移动到另一个库所 + 有向弧是库所和变迁之间的有向弧 一个FOHPN是由六元组 描述的有向图 2.弧关联矩阵及关联变迁集 其中，C对 约束为 * 3. 函数 恒定激发时延： 其中F为连续变迁的激发速度，表示为： 为变迁最小（最大）激发速度 FOHPN的结构和标识 离散时延变迁的时延： 其中 为变迁平均激发速率。 平均激发时延： * FOHPN的结构和标识 4.标识 一个标识 分别表示每个离散库所分配 非负托肯数(用小黑点表示)和每个连续库所分配实数； 表示库所 的标识。时刻 的标识记为 。 5.使能 ，则离散变迁t在m使能； ，则连续变迁t在m使能。 ，则使能的连续变迁t是强使能； ，则使能的连续变迁t是弱使能。 * FOHPN的结构和标识 ⅰ 瞬时激发速度与使能关系 在FOHPN系统 中的连续变迁 满足： 若 不使能，则 ； 若 强使能，则 ； 若 弱使能，则 。 其中， 且此由进入 的空输入连续库所数量决定。 ⅱ 时刻在m下IFS矢量 的是下列线性不等式 组的可行解S(PN,m)： （1） 其中， 是在标识m的连续使能(