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...

Full description

Saved in:
Bibliographic Details
Published in:Asian journal of control Vol. 24; no. 6; pp. 3603 - 3614
Main Authors: Jiao, Ting, Bai, Yu
Format: Journal Article
Language:English
Published: Hoboken Wiley Subscription Services, Inc 01.11.2022
Subjects:
Algorithms
discrete‐event systems
efficient relabeling
quotient automata
Supervisory control
Symmetry
ISSN:1561-8625, 1934-6093
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1561-8625
1934-6093
DOI:10.1002/asjc.2717