NDLI: Active diagnosis of discrete-event systems

Content Provider	IEEE Xplore Digital Library
Author	Sampath, M. Lafortune, S. Teneketzis, D.
Copyright Year	1963
Abstract	The need for accurate and timely diagnosis of system failures and the advantages of automated diagnostic systems are well appreciated. However, diagnosability considerations are often not explicitly taken into account in the system design. In particular, design of the controller and that of the diagnostic subsystem are decoupled, and this may significantly affect the diagnosability properties of a system. The authors present an integrated approach to control and diagnosis. More specifically, they present an approach for the design of diagnosable systems by appropriate design of the system controller. This problem, which they refer to as the active diagnosis problem, is studied in the framework of discrete-event systems (DESs); it is based on prior and new results on the theory of diagnosis for DESs and on existing results in supervisory control under partial observations. They formulate the active diagnosis problem as a supervisory control problem where the legal language is an "appropriate" regular sublanguage of the regular language generated by the system. They present an iterative procedure for determining the supremal controllable, observable, and diagnosable sublanguage of the legal language and for obtaining the supervisor that synthesizes this language. This procedure provides both a controller that ensures diagnosability of the closed-loop system and a diagnoser for online failure diagnosis. The procedure can be implemented using finite-state machines and is guaranteed to converge in a finite number of iterations. The authors illustrate their approach using a simple pump-valve system.
Sponsorship	IEEE Control Systems Society
Starting Page	908
Ending Page	929
Page Count	22
File Size	895189
File Format	PDF
ISSN	00189286
Volume Number	43
Issue Number	7
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1998-07-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	Discrete event systems Control systems Supervisory control Law Legal factors System testing Condition monitoring Automatic control Control system synthesis Pumps
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

Discrete-event control of nondeterministic systems

Limited lookahead policies in supervisory control of discrete event systems

Multiuser discrete-event control with active events

Language convergence in controlled discrete-event systems

Control of stochastic discrete event systems modeled by probabilistic languages

Supervisory control of probabilistic discrete-event systems with recovery

Online supervisor synthesis for partially observed discrete-event systems

Supervisory control using failure semantics and partial specifications

Decentralized supervisory control with communicating controllers

Active diagnosis of discrete-event systems

Similar Documents

Discrete-event control of nondeterministic systems

Limited lookahead policies in supervisory control of discrete event systems

Multiuser discrete-event control with active events

Language convergence in controlled discrete-event systems

Control of stochastic discrete event systems modeled by probabilistic languages

Supervisory control of probabilistic discrete-event systems with recovery

Online supervisor synthesis for partially observed discrete-event systems

Supervisory control using failure semantics and partial specifications

Decentralized supervisory control with communicating controllers

Active diagnosis of discrete-event systems