Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems

We tackle the Non-Blocking Supervisory Control Problem control for Concurrent Discrete Event Systems that are defined by a collection of components that interact with each other. In this study, we first outline the method allowing to solve the state avoidance control problem on concurrent systems. We then present results offering an efficient method to detect deadlock states in the controlled system, which once combined with the previous method, allows us to solve a particular class of the non-blocking state avoidance control problem.