论文信息 - How to reuse supervisors when discrete event system models evolve

How to reuse supervisors when discrete event system models evolve

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.

Feng Lin | Yi-Liang Chen | S. Laortune

[1] Feng Lin. Robust and adaptive supervisory control of discrete event systems , 1993 .

[2] Yow-Jian Lin,et al. A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[3] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[4] J. G. Thistle. Supervisory control of discrete event systems , 1996 .

[5] Vijay K. Garg,et al. Model Uncertainty in Discrete Event Systems , 1995 .

[6] Stéphane Lafortune,et al. Priority assignment algorithms for resolving blocking in modular control of discrete event systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[7] W. M. Wonham,et al. The control of discrete event systems , 1989, Proc. IEEE.

[8] Christos G. Cassandras,et al. Introduction to the Modelling, Control and Optimization of Discrete Event Systems , 1995 .

[9] Jonathan R. Agre,et al. Autoconfigurable distributed control systems , 1995, Proceedings ISADS 95. Second International Symposium on Autonomous Decentralized Systems.

[10] Stéphane Lafortune,et al. Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach , 1997, FIW.

[11] W. M. Wonham,et al. On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[12] Feng Lin,et al. Modular Supervisory Control with Priorities for Discrete Event Systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.