The complexity of the design of supervisory controllers for today’s high-tech systems is ever increasing with the rise in demands for higher safety and functionality. Supervisory control synthesis enables the design engineer to automatically generate a supervisory controller from a model of the plant and a model of the controller requirements. Although supervisory control theory is an active research area, the number of industrial applications remains relatively low. One of the main reasons for this is the lack of guidelines for practical applications of supervisory control theory, especially in case of large-scale systems with numerous components and complex dependencies. In this paper, guidelines are given for the process of obtaining and validating a supervisory controller, more specifically for large-scale systems with isomorphisms. Systems with isomorphisms are systems with a high degree of symmetry and repetitiveness in their components, such as manufacturing lines with parallel processing lines or infrastructural systems with repeating modules. This paper shows how coordination between the steps in obtaining a supervisory controller for a large-scale system improves the efficiency of the process and quality of the end result, and how the isomorphism of components in the system can be exploited in these steps. This process is demonstrated in this paper by a case study related to the Eerste Heinenoordtunnel, a road tunnel in the Netherlands. The case study shows the steps of modeling the plant and the controller requirements, performing model reduction based on isomorphisms in the system, synthesizing the supervisory controller, and validating the controller by means of simulation.

随着对更高安全性和功能性需求的增加，当今高科技系统的监控控制器设计的复杂性不断增加。监控综合使设计工程师能够根据工厂模型和控制器需求模型自动生成监控控制器。尽管监督控制理论是一个活跃的研究领域，但工业应用的数量仍然相对较少。造成这种情况的主要原因之一是缺乏监督控制理论实际应用的指导方针，特别是在具有众多组件和复杂依赖关系的大型系统的情况下。在本文中，给出了获取和验证监督控制器的过程的指南，更具体地针对具有同构的大规模系统。具有同构性的系统是其组件具有高度对称性和重复性的系统，例如具有并行处理线的生产线或具有重复模块的基础设施系统。本文展示了为大型系统获得监督控制器的步骤之间的协调如何提高过程的效率和最终结果的质量，以及如何在这些步骤中利用系统中组件的同构性。本文通过与荷兰公路隧道 Eerste Heinenoordtunnel 相关的案例研究展示了这一过程。案例研究展示了对工厂和控制器要求建模、基于系统中的同构执行模型简化、综合监控控制器、