Back to Search
Start Over
Confusion Diagnosis and Avoidance of Discrete Event Systems Using Supervisory Control.
- Source :
- IEEJ Transactions on Electrical & Electronic Engineering; Jan2016, Vol. 11 Issue 1, p49-62, 14p
- Publication Year :
- 2016
-
Abstract
- Nondeterministic firing of concurrent transitions in Petri nets (PNs) may lead to the disappearance of conflicts. The disappearance implies that the partial conflicting transitions in a conflict become disabled before the resolution of the conflict. The phenomenon is called confusions that are caused by the interlacement of conflicting and concurrent transitions in PNs, which generates incomplete and faulty system conflicting behavior such that conflicts cannot be correctly resolved. In this paper, conflict-increasing confusions (CICs) and conflict-decreasing confusions (CDCs) in a PN are investigated. The relation graph of conflicts and confusions (RGC²) in a PN is proposed to detect the structure of confusions. To avoid the occurrence of confusions in a PN, an algorithm based on generalized mutual exclusion constraints (GMECs) is proposed, which can generate confusion-avoidance supervisors such that the occurrence of conflicts can be ensured in a PN. Finally, an example of confusion detection and avoidance in a flexible assembly system is presented. [ABSTRACT FROM AUTHOR]
- Subjects :
- PETRI nets
DISCRETE systems
SUPERVISORY control systems
GRAPH theory
SYSTEMS theory
Subjects
Details
- Language :
- English
- ISSN :
- 19314973
- Volume :
- 11
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- IEEJ Transactions on Electrical & Electronic Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 112020786
- Full Text :
- https://doi.org/10.1002/tee.22188