基于关联矩阵代数运算的逻辑型监控器设计
下载：2771
大小：439KB
语言：简体中文
时间：2012-03-20
大小：439KB
语言：简体中文
时间：2012-03-20
公司：
类型：
环境：
类型：
环境：
很抱歉注册登录后才能下载
软件介绍
摘 要：对于含有不可控变迁的Ｐｅｔｒｉ网监控问题，允许状态空间可能需要一组“或” 的允许约束来描述，而库所不变量的监控方法［１２］只将给定约束转换为单个的允许约束，其监控器将系统行为限制在允许标识状态空间的较小子集内，其限制性过于严格，且该方法无法解决某些监控问题。针对上述问题，给出了一种基于关联矩阵代数运算的约束转换方法，能够将给定约束转换为一组“逻辑或”的允许约束，进而给出了逻辑型监控器的设计方法，其控制策略的在线计算可以在多项式时间内完成，能够满...
