Stabilization and blocking in state feedback control of discrete event systems (Q1842519)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stabilization and blocking in state feedback control of discrete event systems |
scientific article |
Statements
Stabilization and blocking in state feedback control of discrete event systems (English)
0 references
1 May 1995
0 references
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.
0 references
discrete event systems
0 references
stabilization
0 references
state feedback
0 references
blocking
0 references
0 references
0 references