On efficient relabeling of symmetric discrete‐event systems

Symmetric discrete‐event systems (SDES) are composed of classes of components with identical structures. By utilizing such symmetry, for specifications irrelevant to the detailed component information, the supervisory control of SDES can be achieved in the relabeled level. Namely, for events fulfill...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Asian journal of control Ročník 24; číslo 6; s. 3603 - 3614
Hlavní autori: Jiao, Ting, Bai, Yu
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Hoboken Wiley Subscription Services, Inc 01.11.2022
Predmet:
Algorithms
discrete‐event systems
efficient relabeling
quotient automata
Supervisory control
Symmetry
ISSN:1561-8625, 1934-6093
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Symmetric discrete‐event systems (SDES) are composed of classes of components with identical structures. By utilizing such symmetry, for specifications irrelevant to the detailed component information, the supervisory control of SDES can be achieved in the relabeled level. Namely, for events fulfilling the same task (similar events) in a class of components, they are relabeled to the same symbol. The relabeling mechanism is first implemented by directly renaming similar events to the same symbol. Then by employing the subset construction algorithm (SCA), the resultant nondeterministic automaton is converted to its deterministic counterpart. As the SCA is computationally intensive, the relabeling algorithm is inefficient, especially when the number of components increases. In this paper, inspired by the construction process of quotient automata, we first employ symmetry to generate the state set of the relabeled automaton. Then the relabeled automaton is generated based on the generated state set and transition information among these states. As we avoid using the SCA to eliminate nondeterminism, the relabeling process is more efficient. A running example is given throughout the paper.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1561-8625
1934-6093
DOI:10.1002/asjc.2717