Premium
Existence and Verification for Decentralized Nondeterministic Discrete‐Event Systems Under Bisimulation Equivalence
Author(s) -
Liu Fuchun,
Zhao Rui,
Tan Taizhe,
Zhang Qiansheng
Publication year - 2016
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.1253
Subject(s) - bisimulation , nondeterministic algorithm , equivalence (formal languages) , computer science , observational equivalence , theoretical computer science , mathematics , discrete mathematics
In this paper, we study the decentralized control problem for nondeterministic discrete‐event systems (DESs) under bisimulation equivalence. In order to exactly achieve the desired specification in the sense of bisimulation equivalence, we present a synchronous composition for the supervised system based on the simulation relation between the specification and the plant. After introducing the notions of simulation‐based controllability and simulation‐based coobservability, we present the necessary and sufficient condition for the existence of a decentralized supervisor such that the controlled system is bisimilar to the specification, and an algorithm for verifying the simulation‐based coobservability is proposed by constructing a computational tree.