Title | ||
---|---|---|
Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions |
Abstract | ||
---|---|---|
This paper deals with constraint transformation problems in a system with unobservable events, which is modeled by Petri nets with unobservable transitions. First, the concept of an unobservable influence subnet is presented and its properties are studied. Next, based on the properties, an algorithm is proposed to transform a given generalized mutual exclusion constraint (GMEC) into an optimal admissible one that can be enforced directly on the net in the form of monitor-based supervisor. The proposed algorithm has high computational efficiency at the expense of application scope. Finally, an example is used to illustrate the application of the proposed method. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/ICNSC.2015.7116087 | ICNSC |
Keywords | Field | DocType |
Discrete event system (DES), Petri net, forbidden states, supervisory control | Supervisor,Petri net,Algorithm design,Computer science,Subnet,Process architecture,Control engineering,Stochastic Petri net,Unobservable,Mutual exclusion | Conference |
ISSN | Citations | PageRank |
1810-7869 | 0 | 0.34 |
References | Authors | |
9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ning Ran | 1 | 5 | 2.79 |
Hongye Su | 2 | 3563 | 187.46 |
Weimin Wu | 3 | 236 | 43.97 |
Shouguang Wang | 4 | 0 | 0.34 |
Huixia Liu | 5 | 0 | 0.34 |