NDLI: How to reuse supervisors when discrete event system models evolve

Content Provider	IEEE Xplore Digital Library
Author	Yi-Liang Chen Laortune, S. Feng Lin
Copyright Year	1997
Description	Author affiliation: Sci. Center, Rockwell Int. Corp., Thousand Oaks, CA, USA (Yi-Liang Chen)
Abstract	System evolution, such as addition or replacement of a component, reconfiguration upon a diagnosed failure, or process changes leading to new requirements on the system behavior, may often necessitate complete redesign of the existing supervisors for a discrete event dynamic system. Such redesign may occur because the supervisors are synthesized based on the models of the system and the specifications, and these models may have to be modified, or "refined", upon the evolution of the system. The objectives of this work are to: (i) study conditions on the evolution of the system model under which it is possible to reuse the existing supervisors for the original set of specifications, and (ii) propose a systematic method for this reuse of the supervisors, based on the automatic synthesis of input and output "interfaces", when the conditions identified in (i) hold.
Starting Page	2964
Ending Page	2969
File Size	686243
Page Count	6
File Format	PDF
ISBN	0780341872
ISSN	01912216
DOI	10.1109/CDC.1997.657902
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1997-12-12
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Discrete event systems Control system synthesis Supervisory control Manufacturing systems Sensor systems Law Legal factors Production facilities Humans Computational modeling
Content Type	Text
Resource Type	Article

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

Decentralized control of discrete-event systems when supervisors observe particular event occurrences

Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems

Formal modeling and synthesis of state-transferring communication among decentralized supervisors for discrete-event systems

Fault Recovery in Discrete-Event Systems using Observer-Based Supervisors

On-line synthesis of supervisors for discrete events in automated manufacturing systems

On tolerable and desirable behaviors in supervisory control of discrete event systems

Control of stochastic discrete event systems: synthesis

Robust nonblocking supervisory control of discrete-event systems under partial observation

Control and optimization of cost-evaluated discrete event systems

How to reuse supervisors when discrete event system models evolve

Similar Documents

Decentralized control of discrete-event systems when supervisors observe particular event occurrences

Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems

Formal modeling and synthesis of state-transferring communication among decentralized supervisors for discrete-event systems

Fault Recovery in Discrete-Event Systems using Observer-Based Supervisors

On-line synthesis of supervisors for discrete events in automated manufacturing systems

On tolerable and desirable behaviors in supervisory control of discrete event systems

Control of stochastic discrete event systems: synthesis

Robust nonblocking supervisory control of discrete-event systems under partial observation

Control and optimization of cost-evaluated discrete event systems

How to reuse supervisors when discrete event system models evolve