NDLI: A Framework for Fault-Tolerant Control of Discrete Event Systems

Content Provider	IEEE Xplore Digital Library
Author	Qin Wen Kumar, R. Jing Huang Haifeng Liu
Copyright Year	1963
Abstract	We introduce a framework for fault-tolerant supervisory control of discrete-event systems. Given a plant, possessing both faulty and nonfaulty behavior, and a submodel for just the nonfaulty part, the goal of fault-tolerant supervisory control is to enforce a certain specification for the nonfaulty plant and another (perhaps more liberal) specification for the overall plant, and further to ensure that the plant recovers from any fault within a bounded delay so that following the recovery the system state is equivalent to a nonfaulty state (as if no fault ever happened). The specification for the overall plant is more liberal compared to the one for the nonfaulty part since a degraded performance may be allowed after a fault has occurred. We formulate this notion of fault-tolerant supervisory control and provide a necessary and sufficient condition for the existence of such a supervisor. The condition involves the usual notions of controllability, observability and relative-closure, together with the notion of stability. An example of a power system is provided to illustrate the framework. We also propose a weaker notion of fault-tolerance where following the recovery, the system state is simulated by some nonfaulty state, i.e., behaviors following the recovery are also the behaviors from some faulty state. Also, we formulate the corresponding notion of weakly fault-tolerant supervisory control and present a necessary and sufficient condition (involving the notion of language-stability) for the its existence. We also introduce the notion of nonuniformly-bounded fault-tolerance (and its weak version) where the delay-bound for recovery is not uniformly bounded over the set of faulty traces, and show that when the plant model has finitely many states, this more general notion of fault-tolerance coincides with the one in which the delay-bound for recovery is uniformly bounded.
Sponsorship	IEEE Control Systems Society
Starting Page	1839
Ending Page	1849
Page Count	11
File Size	1103755
File Format	PDF
ISSN	00189286
Volume Number	53
Issue Number	8
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-09-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	Fault tolerant systems Control systems Discrete event systems Supervisory control Fault tolerance Delay Sufficient conditions Power system stability Power system simulation Degradation supervisory control fault-tolerance language convergence stability
Content Type	Text
Resource Type	Article
Subject	Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications

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

Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems

Synthesis of optimal fault-tolerant supervisor for discrete event systems

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors

Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell

Fault-Tolerant Control for Safety of Discrete-Event Systems

Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets

Safe Diagnosability of Stochastic Discrete Event Systems

An Optimal Directed Control Framework for Discrete Event Systems

On fault-tolerant observers

A Framework for Fault-Tolerant Control of Discrete Event Systems

Similar Documents

Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems

Synthesis of optimal fault-tolerant supervisor for discrete event systems

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors

Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell

Fault-Tolerant Control for Safety of Discrete-Event Systems

Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets

Safe Diagnosability of Stochastic Discrete Event Systems

An Optimal Directed Control Framework for Discrete Event Systems

On fault-tolerant observers

A Framework for Fault-Tolerant Control of Discrete Event Systems