基于petri网的决策发射序列监督控制器设计-控制理论与控制工程专业论文.docxVIP

万方数据 摘要 I 摘要 本文致力于研究一类初始状态和目标状态已知的离散事件系统监督控制器的 设计。这类离散系统要求满足一定线性或非线性的约束并且监督控制器的设计基 本准则是在满足所有约束的条件下，消耗最少系统资源让系统从初始状态进入目 标状态。 已知系统运行约束的情况下，构建初始的 Petri 网模型。根据 Petri 网模型通 过动态规划和线性规划结合或者采用动态搜索的方式求解可行的发射的序列，两 种方式针对系统自身特点各有利弊。获得可行的发射序列后，增加一系列控制库 所和控制变迁形成系统监督控制器。所用到的控制库所不能和系统的最初模型中 的变迁发生关系，如果存在这样的关系相当于改变了原有模型的约束，因此控制 库所只能和补充变迁发生关系。 通过本文上述的方法，可以避免部分可达图求解问题中会遇到的状态爆炸。 最差情况下只需要求解可达图中的部分状态就可以完成控制器的设计。而且控制 器的设计借助了可行发射序列本身的结构特征，并不需要通过可达图更新进行大 量的线性规划计算来获得控制器结构。如果需要保证系统的最大许可性，那么就 需要添加更多的控制库所和补充变迁，但是它们根据可行发射序列是多项式增长 的。相对于复杂的多次线性规划求解，根据结构简单地添加一系列控制库所和补 充变迁是可以接受的。 文章最后给出了一个包含非线性约束的传教士和野人过河游戏的实例来说明 计算和控制器设计过程。 关键