基于关联矩阵代数运算的逻辑型监控器设计
100 积分
50
评分
4.8 积分- 详情
- 2021-04-28
- 简介
pdf
- 516KB
- 页数 4P
- 阅读 107
- 下载 37
对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组"或"的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组"逻辑或"的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
基于关联矩阵代数运算的逻辑型监控器设计 516KB
监控矩阵 101KB
环状给水管网关联矩阵的建立 284KB
矩阵的定义及其运算规则. 198KB
基于ARM的橡塑机械双层网络监控器设计 812KB
基于广义轮换矩阵的伪随机广义二进制轮换矩阵设计 498KB
VGA矩阵—视频矩阵切换器 982KB
基于CAN总线的视频切换矩阵设计 1.1MB
基于Clarke矩阵的不对称输电线路相模变换矩阵求解 252KB
基于CAN总线的采煤机定位系统的监控器设计 139KB