摘要
本发明属于自动制造系统控制技术领域,公开了一种基于安全网的控制器结构简化及行为优化方法;利用约束独立性分析算法初次简化不等式;提出约束转换定理,基于该定理利用分枝定界法实现对不等式的等价分解;结合约束独立性分析算法和约束等价分解算法,对初次简化得到的不等式组进行再次简化。本发明提出的模型转换算法不仅适用于有界的S4R网模型,对于某些有界Petri网模型也同样适用。与原来的控制器简化算法相比,本发明提出的方法不仅可以实现控制器的结构简化,还可以保证受控系统的状态保留度最高,实现对系统行为的优化,提高资源利用率。
- 单位