Reducing the Supervisory Control of Discrete-Event Systems under Partial Observation | ||
| The Modares Journal of Electrical Engineering | ||
| Article 5, Volume 16, Issue 4, 2017, Pages 29-34 PDF (822.43 K) | ||
| Authors | ||
| Vahid Saeidi1; Ali Akbar Afzalian* 2; Davood Gharavian3 | ||
| 1Department of Electrical Eng., Abbaspour School of Engineering, Shahid Beheshti University | ||
| 2Dept. of Electrical Eng, Abbaspour School of Engineering, Shahid Beheshti University, PO Box 16765-1719 | ||
| 3Department of Electrical Engineering- Shahid Beheshti University | ||
| Abstract | ||
| Supervisor reduction procedure can be used to construct the reduced supervisor with a reduced number of states in discrete-event systems. However, it was proved that the reduced supervisor is control equivalent to the original supervisor with respect to the plant; it has not been guaranteed that the reduced supervisor and the original one are control equivalent under partial observation. In this paper, we extend the supervisor reduction procedure by considering partial observation; namely not all events are observable. A feasible supervisor which is constructed under partial observation becomes reduced based on control consistency of uncertainty sets of states, instead of the original supervisor. In order to construct a partial observation reduced supervisor, a partial observation control cover is constructed based on control consistency of uncertainty sets in the supervisor. Four basic functions are defined in order to capture the control and marking information on the uncertainty sets. In the resulting reduced supervisor, only observable events can cause state changes. The results are illustrated by some examples. | ||
| Keywords | ||
| control consistency; control cover; discrete-event systems; partial observation; supervisor reduction | ||
|
Statistics Article View: 109 PDF Download: 83 |
||
| Number of Journals | 45 |
| Number of Issues | 2,171 |
| Number of Articles | 24,674 |
| Article View | 24,447,959 |
| PDF Download | 17,555,106 |