Analysis and control of fuzzy discrete event systems using bisimulation equivalence

Authors:
Hongyan Xing;Qiansheng Zhang;Kaisheng Huang
Affiliations:
Faculty of Applied Mathematics, Guangdong University of Technology, Guangzhou 510000, PR China;School of Informatics, Guangdong University of Foreign Studies, Guangzhou 510000, PR China;Faculty of Automation, Guangdong University of Technology, Guangzhou 510000, PR China
Venue:
Theoretical Computer Science
Year:
2012

Citing 7
Cited 1

Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation

SIAM Journal on Control and Optimization
Introduction to Automata Theory, Languages and Computability

Introduction to Automata Theory, Languages and Computability
Bisimulation for Labelled Markov Processes

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
Theory of extended fuzzy discrete-event systems for handling ranges of knowledge uncertainties and subjectivity

IEEE Transactions on Fuzzy Systems
Modeling and control of fuzzy discrete event systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Supervisory control of fuzzy discrete event systems: a formal approach

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Coalgebras for Fuzzy Transition Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	5.23

Visualization

Abstract

In order to more effectively cope with the real-world problems of vagueness, impreciseness, and subjectivity, fuzzy discrete event systems (FDESs) were proposed recently. In this paper, we deal with the analysis and control of fuzzy discrete event systems by using bisimulation equivalence. In practice, we design a supervisor such that the controlled system is bisimilar to the specification. Also, a model theorem showing that a supervisor exists over a certain finite fuzzy state space is obtained. Furthermore, the notion of fuzzy state controllability is introduced as part of a necessary and sufficient condition for the existence of a supervisor.