Abstract | ||
---|---|---|
Supervisory control synthesis encounters with computational complexity. This can be reduced by decentralized supervisory control approach. In this paper, we define intrinsic control consistency for a pair of states of the plant. G-control consistency (GCC) is another concept which is defined for a natural projection w.r.t. the plant. We prove that, if a natural projection is output control consistent for the closed language of the plant, and is a natural observer for the marked language of the plant, then it is G-control consistent. Namely, we relax the conditions for synthesis the optimal non-blocking decentralized supervisory control by substituting GCC property for L-OCC and Lm-observer properties of a natural projection. We propose a method to synthesize the optimal non-blocking decentralized supervisory control based on GCC property for a natural projection. In fact, we change the approach from language-based properties of a natural projection to DES-based property by defining GCC property. |
Year | Venue | Field |
---|---|---|
2017 | arXiv: Systems and Control | Mathematical optimization,Control theory,Supervisory control,Observer (quantum physics),Mathematics,Computational complexity theory |
DocType | Volume | Citations |
Journal | abs/1703.01048 | 0 |
PageRank | References | Authors |
0.34 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vahid Saeidi | 1 | 0 | 1.35 |
Ali Afzalian | 2 | 2 | 3.37 |
Davood Gharavian | 3 | 117 | 10.06 |