Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
复制标题
利用 Petri 网和整数规划对资源分配系统进行鲁棒控制重构
DOI：
10.1016/j.automatica.2013.12.015
复制
发表时间：
2014-03
期刊：
影响因子：
6.4
通讯作者：
Xianzhong Dai
中科院分区：
文献类型：
--
作者：
Jun Li;MengChu Zhou;Tao Guo;Yahui Gan;Xianzhong Dai
监控重构可以处理离散事件系统中的资源故障和任务变化等不确定性。在以往的研究中，没有考虑利用闭环系统的鲁棒性来适应某些不确定性。这种开发可以成本有效地实现可重构性和灵活性的真实的系统。提出了一种基于Petri网（PN）和整数规划的资源分配系统（RAS）的鲁棒重构方法，用于资源分配关系变化时的监督控制。分配关系被看作是一个控制规范，而执行过程中需要的资源作为一个不受控的工厂。首先，提出了一种鲁棒的重构机制。它包括更新基于P-不变量的监督器和进化闭环系统的状态。后者通过闭环系统状态的自调节来适应控制规范的变化。其次，提出了两种新的控制重构整数规划模型，即可接受重构模型和规范修正重构模型。由于这两个模型都集成了变迁的可靠性条件，因此不需要对状态可达性进行额外的分析。最后以一个医院急救服务系统为例进行了说明。
Supervisory control reconfiguration can handle the uncertainties including resource failures and task changes in discrete event systems. It was not addressed to exploit the robustness of closed-loop systems to accommodate some uncertainties in the prior studies. Such exploitation can cost-efficiently achieve reconfigurability and flexibility for real systems. This paper presents a robust reconfiguration method based on Petri nets (PNs) and integer programming for supervisory control of resource allocation systems (RASs) subject to varying resource allocation relationships. An allocation relationship is seen as a control specification while the execution processes requiring resources as an uncontrolled plant. First, a robust reconfiguration mechanism is proposed. It includes updating the P-invariant-based supervisor and evolving the state of the closed-loop system. The latter adapts to the control specification changes by the self-regulation of the closed-loop system’s state. Next, two novel integer programming models for control reconfiguration are proposed, called a reconfiguration model with acceptability and reconfiguration one with specification correction. Since both models integrate the firability condition of transitions, no additional efforts are required for the state reachability analysis. Finally, a hospital emergency service system is used as an example to illustrate them.
登录
查看更多内容
一类广义 Petri 网的参数化活性和比率执行监督器
影响因子：
6.4
作者：
Liu Ding;Li ZhiWu;Zhou MengChu
通讯作者：
Zhou MengChu
DOI：
10.1016/j.cie.2009.07.013
发表时间：
2009-11
期刊：
Comput. Ind. Eng.
影响因子：
--
作者：
Jun Li;X. Dai;Zhengda Meng;Jianping Dou;Xianping Guan
通讯作者：
Jun Li;X. Dai;Zhengda Meng;Jianping Dou;Xianping Guan
DOI：
10.1109/tsmca.2007.909542
发表时间：
2008
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
N. Wu;Mengchu Zhou;Zhiwu Li
通讯作者：
N. Wu;Mengchu Zhou;Zhiwu Li
影响因子：
7.3
作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li
通讯作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li
DOI：
10.1109/tase.2006.888049
发表时间：
2007-07
影响因子：
5.6
作者：
N. Wu;Mengchu Zhou
通讯作者：
N. Wu;Mengchu Zhou