Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm |
| |
Authors: | Fuchun Liu Hai Lin Zbigniew Dziong[Author vitae] |
| |
Affiliation: | aFaculty of Computer, Guangdong University of Technology, Guangzhou, 510006, China;bDepartment of Electrical and Computer Engineering, National University of Singapore, 117576, Singapore;cDepartment of Electrical Engineering, École de Technologie Supérieure, Montreal, H3C 1K3, Canada |
| |
Abstract: | In this paper, the bisimilarity control of discrete event systems (DESs) under partial observations is investigated, where the plant and the specification are allowed to be nondeterministic. A notation of simulation-based controllability and a synchronization scheme for the supervised system are formalized based on the simulation relation between the specification and the plant. It is shown that the existence of bisimilarity supervisors is characterized by the notions of the simulation-based controllability and the language observability, which extends the traditional results of supervisory control from language equivalence to bisimulation equivalence. In addition, a polynomial algorithm to test the simulation-based controllability is developed by constructing a computing tree. This algorithm together with the test of language observability can be used to check the existence of bisimilarity supervisors. |
| |
Keywords: | Bisimulation equivalence Discrete event systems Nondeterministic systems Partial observations Supervisory control |
本文献已被 ScienceDirect 等数据库收录! |
|