基于关联矩阵代数运算的逻辑型监控器设计
100 积分
50
评分
4.8 积分- 详情
- 2021-04-28
- 简介
pdf
- 516KB
- 页数 4P
- 阅读 104
- 下载 37
对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组"或"的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组"逻辑或"的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
基于关联矩阵代数运算的逻辑型监控器设计 516KB
基于层次关联矩阵的风电工程招标研究 178KB
矩阵的概念及运算 1.0MB
灰色关联矩阵优势分析在模型结构自动选择中的应用 197KB
野外通讯监控器设计 105KB
基于DSP的电源监控器设计 918KB
基于网结构分解的Petri网分散监控器设计 479KB
监控矩阵 101KB
环状给水管网关联矩阵的建立 284KB
大型监控视频矩阵 1015KB