comments on Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems

Abstract

Region theory can synthesize maximally permissive supervisors by solving a set of inequalities based on the marking/transition-separation instances (MTSIs). It is infeasible to solve these inequalities for either a sizable net or a small net with a sizable initial marking. Huang et al. [1] propose novel crucial MTSIs to reduce the number of MTSIs. Experimental results show that the proposed control policy is the most efficient algorithm among the closely related approaches. One example shows that it not only reaches all live states but also employs fewer control arcs than that by Li et al. Huang et al. offer no hints on why it employs fewer control arcs. This paper develops theory to explain the physics behind.