论文标题
自动重新配置不合格的离散事件系统
Automatic Reconfiguration of Untimed Discrete-Event Systems
论文作者
论文摘要
这项工作介绍了不合时宜的离散事件系统（DES）的重新配置问题的一般表述，可以通过监督控制理论（SCT）直接处理。为了建模重新配置要求，我们介绍了重新配置规范（RS）的概念；此处引入了重新配置事件（RE），以迫使从一个系统配置过渡到另一种系统配置。标准SCT合成用于获得重新配置主管（RSUP），其中指定的状态是RE的来源状态。重新配置问题本身被提出为建立RSUP中当前状态中所需RE源状态的保证有限可及性的问题，在该状态下，外部用户命令配置更改。该可达性问题的解决性（或其他方式）是通过回溯和标准动态编程中的回溯确定的。
This work introduces a general formulation of the reconfiguration problem for untimed discrete-event systems (DES), which can be treated directly by supervisory control theory (SCT). To model the reconfiguration requirements we introduce the concept of reconfiguration specification (RS); here reconfiguration events (RE) are introduced to force a transition from one system configuration to another. Standard SCT synthesis is employed to obtain a reconfiguration supervisor (RSUP) in which designated states serve as the source states for RE. The reconfiguration problem itself is formulated as that of establishing guaranteed finite reachability of a desired RE source state in RSUP from the current state in RSUP at which a change in configuration is commanded by an external user. The solvability (or otherwise) of this reachability problem is established by backtracking as in standard dynamic programming.
