NDLI: Fuzzy Discrete-Event Systems Under Fuzzy Observability and a Test Algorithm

Content Provider	IEEE Xplore Digital Library
Author	Daowen Qiu Fuchun Liu
Copyright Year	1993
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. Notably, FDESs have been applied to biomedical control for human immunodeficiency virus (HIV)/acquired immune deficiency syndrome (AIDS) treatment planning and sensory information processing for robotic control. Qiu independently developed supervisory control theory of FDESs. We note that the controllability of events in Qiu's work is fuzzy, but the observability of events is crisp, and the observability of events in Cao and Ying's work is also crisp, although the controllability is not completely crisp since the controllable events can be disabled with any degrees. Motivated by the necessity to consider the situation that the events may be observed or controlled with some membership degrees, in this paper, we establish the supervisory control theory of FDESs with partial observations in which both the observability and controllability of events are fuzzy instead. We formalize the notions of fuzzy controllability condition and fuzzy observability condition.In addition, controllability and observability theorem of FDESs is set up in a more generic framework. In particular, we present a detailed computing flow to verify whether the controllability and observability conditions hold. Thus, this result can decide the existence of supervisors. Also, we use this computing method to check the existence of supervisors in the controllability and observability theorem of classical discrete-event systems (DESs), which is a new method and different from classical case. A number of examples are elaborated on to illustrate the presented results.
Sponsorship	IEEE Computational Intelligence Society
Starting Page	578
Ending Page	589
Page Count	12
File Size	293017
File Format	PDF
ISSN	10636706
Volume Number	17
Issue Number	3
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-06-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Fuzzy systems Discrete event systems Observability System testing Controllability Fuzzy control Human immunodeficiency virus Acquired immune deficiency syndrome Supervisory control Fuzzy sets supervisory control Discrete-event systems (DESs) fuzzy finite automata fuzzy logic observability
Content Type	Text
Resource Type	Article
Subject	Applied Mathematics Artificial Intelligence Control and Systems Engineering Computational Theory and Mathematics

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Theory of Extended Fuzzy Discrete-Event Systems for Handling Ranges of Knowledge Uncertainties and Subjectivity

Bifuzzy Discrete Event Systems and Their Supervisory Control Theory

Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach

Observability and decentralized control of fuzzy discrete-event systems

Reliable Decentralized Control of Fuzzy Discrete-Event Systems and a Test Algorithm

Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence

Generalizing the Decentralized Control of Fuzzy Discrete Event Systems

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata

Discrete-Event Coordination Design for Distributed Agents

Fuzzy Discrete-Event Systems Under Fuzzy Observability and a Test Algorithm

Similar Documents

Theory of Extended Fuzzy Discrete-Event Systems for Handling Ranges of Knowledge Uncertainties and Subjectivity

Bifuzzy Discrete Event Systems and Their Supervisory Control Theory

Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach

Observability and decentralized control of fuzzy discrete-event systems

Reliable Decentralized Control of Fuzzy Discrete-Event Systems and a Test Algorithm

Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence

Generalizing the Decentralized Control of Fuzzy Discrete Event Systems

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata

Discrete-Event Coordination Design for Distributed Agents

Fuzzy Discrete-Event Systems Under Fuzzy Observability and a Test Algorithm