Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems

Ensuring safe operation is one of the basic requirements of the design of discrete event systems (DES), for example, discrete industrial automation systems. The most elegant approach to solve this problem is the synthesis of the safety controller on the basis of a sound theory. The current research for safety controller synthesis is performed using the description of plant and forbidden behavior, but the problem of adjusting the behavior of the existing control systems is not considered. In this paper, we propose a method of synthesis of adaptive safety controller models for distributed control systems based on reverse safe Net Condition/Event Systems (RsNCES), allowing to generate prohibiting rules to prevent the movement of closed loop systems to forbidden states. The method is based on backward search in the state space of the model. The method is illustrated by means of an example of a simple mechatronic system.