当前位置: X-MOL 学术IEEE Trans. Control Syst. Technol. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs
IEEE Transactions on Control Systems Technology ( IF 4.8 ) Pub Date : 2019-02-14 , DOI: 10.1109/tcst.2019.2894566
Jiafeng Zhang , Hongyi Li , Georg Frey , Zhiwu Li

In order to satisfy system specifications persistently in the cases of component failure, partial communication blocks, or energy deficiency, safety-critical systems need to apply system reconfigurations at runtime. Such systems can be considered as dynamic reconfigurable discrete event systems (DRDESs) if their logic behaviors are concerned only. A reconfiguration of a DRDES includes the switch of system structures and the update of system states. Based on the assumption that all configurations of a DRDES are designed in advance and dynamic reconfigurations can be implemented only at a few predefined reconfigurable states, a novel reconfiguration control method is proposed in this paper. The aim is to implement a required dynamic reconfiguration smoothly and rapidly. A DRDES is modeled by net condition/event systems (NCESs) under the firing rule “maximal single spontaneous transition steps.” An integer linear programming-based method is developed to compute a shortest legal firing sequence (SLFS) from the state where a reconfiguration requirement arises to a reconfigurable state. Accordingly, a virtual controller for guiding the system to evolve along the obtained SLFS is proposed. The proposed method is able to implement a required reconfiguration before the maximum permissible reconfiguration delay if an SLFS exists. A simple reconfigurable assembly system is adopted to illustrate the method.

中文翻译:

基于NCES的动态可重构离散事件系统的重构控制

为了在组件故障,部分通讯块或能源不足的情况下持续满足系统规范,安全关键型系统需要在运行时应用系统重新配置。如果仅考虑此类系统的逻辑行为,则可以将其视为动态可重配置离散事件系统(DRDES)。DRDES的重新配置包括系统结构的切换和系统状态的更新。基于预先设计DRDES的所有配置并且只能在几个预定义的可重配置状态下实现动态重配置的假设,本文提出了一种新颖的重配置控制方法。目的是平稳,快速地实施所需的动态重新配置。DRDES由网络条件/事件系统(NCES)在触发规则“最大单个自发过渡步骤”下建模。开发了一种基于整数线性规划的方法,以从出现重新配置要求的状态到可重新配置的状态来计算最短合法触发序列(SLFS)。因此,提出了一种虚拟控制器,其用于指导系统沿着所获得的SLFS发展。如果存在SLFS,则所提出的方法能够在最大允许的重新配置延迟之前实现所需的重新配置。采用一个简单的可重构装配系统来说明该方法。开发了一种基于整数线性规划的方法,以从出现重新配置要求的状态到可重新配置的状态计算最短的合法触发序列(SLFS)。因此,提出了一种虚拟控制器,其用于指导系统沿着所获得的SLFS发展。如果存在SLFS,则所提出的方法能够在最大允许的重新配置延迟之前实现所需的重新配置。采用一个简单的可重构装配系统来说明该方法。开发了一种基于整数线性规划的方法,用于从出现重新配置要求的状态到可重新配置的状态来计算最短合法触发序列(SLFS)。因此,提出了一种虚拟控制器,其用于指导系统沿着所获得的SLFS发展。如果存在SLFS,则所提出的方法能够在最大允许的重新配置延迟之前实现所需的重新配置。采用一个简单的可重构装配系统来说明该方法。
更新日期:2020-04-22
down
wechat
bug