Incremental model evolution and reusability of supervisors for discrete event systems

Authors:
Yi-Liang Chen;StéPhane Lafortune;Feng Lin
Affiliations:
Rockwell Science Center, 1049 Camino Dos Rios, Thousand Oaks, CA 91360, USA;Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, MI 48109-2122, USA;Department of Electrical and Computer Engineering, Wayne State University, Detroit, MI 48202, USA
Venue:
Automatica (Journal of IFAC)
Year:
2000

Citing 5
Cited 0

On observability of discrete-event systems

Information Sciences: an International Journal - Robotics and Automation/Control Series
Decentralized supervisory control of discrete-event systems

Information Sciences: an International Journal - Robotics and Automation/Control Series
Model Uncertainty in Discrete Event Systems

SIAM Journal on Control and Optimization
Supervisory control of discrete event systems

Mathematical and Computer Modelling: An International Journal
A feature-interaction benchmark for IN and beyond

IEEE Communications Magazine

Quantified Score

Hi-index	22.14

Visualization

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 invalidate the existing supervisors for a discrete event system. While redesigning these supervisors for the evolved system is always an option, it is often an expensive and time-consuming task. A more practical approach is to attempt, if possible, to reuse these supervisors for enforcing the original set of specifications. 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, 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.