Bisimilarity control of decentralized nondeterministic discrete-event systems

Author

Liu Fuchun ; Zhang Qiansheng ; Chen Xuesong

Author_Institution

Sch. of Comput., Guangdong Univ. of Technol., Guangzhou, China

fYear

2014

fDate

28-30 July 2014

Firstpage

3898

Lastpage

3903

Abstract

Recently, we investigated bisimilarity control of nondeterministic discrete-event systems (DESs), where the constructed framework is centralized. This paper aims to generalize it to the decentralized case and develop a decentralized supervisory control theory for nondeterministic DESs with bisimulation equivalence. A synchronous composition for supervised systems is proposed based on the simulation relation between nondeterministic specification and plant. The notions of simulation-based controllability and simulation-based coobservability are formalized to characterize the necessary and sufficient conditions for the existence of the decentralized bisimilarity supervisor that achieve the given specification in terms of bisimulation equivalence.

Keywords

control systems; controllability; decentralised control; discrete event systems; observability; bisimilarity control; bisimulation equivalence; decentralized nondeterministic discrete-event system; decentralized supervisory control theory; nondeterministic DES; simulation-based controllability; simulation-based coobservability; Control theory; Controllability; Discrete-event systems; Educational institutions; Silicon; Supervisory control; Bisimulation equivalence; Discrete-event systems; Nondeterministic systems; decentralized supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (CCC), 2014 33rd Chinese

Conference_Location

Nanjing

Type

conf

DOI

10.1109/ChiCC.2014.6895589

Filename

6895589