An event‐based supervisory control scheme, in the Ramdage–Wonham framework, will be proposed for the cyber‐physical Waterway Lock system, known as Lock III, in Tilburg, the Netherlands. The proposed control scheme imposes desired behavior, by appropriately disabling controllable events, so as to avoid activation of actuator commands that may lead to undesired and potentially hazardous operating states. The discrete event model of the total Waterway Lock system, comprising 54 actuator and sensor automata, will be presented in analytic 6‐tuple forms of its subsystems. The system's desired behavior, which is expressed using six rules, will be formulated as 84 regular and prefix closed languages that will be realized as appropriate supervisor automata. All supervisors are developed by a general two‐state supervisor form, which facilitates their implementation. A distributed control architecture will be proposed, which organizes all supervisors in distinct groups, each of which controls one and only one distinct command event. The complexity of the proposed control scheme will be computed to be equal to (168,324,564), being reasonable, as compared to the large number of subsystems and the restrictive design requirements. The physical realizability of the 84 supervisors, with respect to the 54 subsystems of the waterway lock system, will be proved analytically. Also, it will be proved analytically that the proposed supervisor architecture guarantees the nonblocking property of the controlled automaton, including all subsystems. The establishment of these analytic proofs supports the extendibility of the results to other applications. To demonstrate the resulting large‐scale controlled automaton's good performance, its marked behavior and simulation results will be presented.

中文翻译：

---

用于信息物理水道船闸系统的基于事件的监控器


在荷兰蒂尔堡（Tilburg）的网络物理水道锁系统（称为 Lock III）中，将提出一种基于 Ramdage-Wonham 框架的基于事件的监督控制方案。所提出的控制方案通过适当禁用可控事件来施加期望的行为，以避免激活可能导致意外和潜在危险运行状态的执行器命令。整个 Waterway Lock 系统的离散事件模型，包括 54 个执行器和传感器自动机，将以其子系统的解析 6 元组形式呈现。系统所需的行为（使用六条规则表示）将被表述为 84 种常规和前缀封闭语言，这些语言将作为适当的监督自动机实现。所有 Supervisor 都是由通用的 Two-States Supervisor 表格开发的，这有助于它们的实施。将提出一种分布式控制架构，它将所有监控器组织在不同的组中，每个组控制一个且只有一个不同的命令事件。所提出的控制方案的复杂度将被计算为等于 （168,324,564），与大量的子系统和严格的设计要求相比，这是合理的。对于水道船闸系统的 54 个子系统，84 个监督器的物理可实现性将通过分析得到证明。此外，还将通过分析证明，所提出的 Supervisor 架构保证了受控自动机（包括所有子系统）的非阻塞特性。这些分析证明的建立支持将结果扩展到其他应用程序。为了证明所得到的大规模受控自动机的良好性能，将介绍其标记的行为和仿真结果。