Stabilization and blocking in state feedback control of discrete event systems (Q1842519)

The authors consider controlled discrete event systems modeled by the Ramadge-Wonham model. Control specification is given in terms of both admissible and target states. It is shown that the notion of stabilization plays an important role to design state feedbacks. Using the notion of stability, the authors define blocking in the context of state feedback control. Two logical performance measure for control- invariant predicates, called a prestabilizing measure and a blocking measure, are introduced. An algorithm to compute the minimally restrictive nonblocking solution is given. Design methods to improve the two performance measures are also presented. It is shown that the complexities of the above techniques are polynomial. Moreover, the task of logical optimization of a blocking feedback can be done in two steps.