Reconfiguration of Discrete Event System Controllers with Dynamic Sensing Set

Authors:	Darabi Houshang, University of Illinois at Chicago, United States Liu Jing, University of Illinois at Chicago, United States
Topic:	5.1 Manufacturing Plant Control
Session:	Recovery and Control Adaptation for DES
Keywords:	supervisory control, observability, sensor failures, formal methods.

Abstract

This paper presents a finite automaton model to describe the control reconfiguration of discrete event systems (DES) with respect to the dynamic changes of observation means, especially when the changes are not acceptable for the conventional observability theory. The model includes other classes of events besides the regular DES events, such as repair and failure events of the observation means. Given a regular DES controller, through a systematic procedure it is extended to include the effect of those events on the control. The potential application of this work is the optimization of the reconfiguration strategies. Copyright © 2005 IFAC