DocumentCode :
2285886
Title :
Online DES control behavior verification via virtual supervisor
Author :
Trujillo, Jesus M. ; Pasek, Zbigniew J.
Author_Institution :
Dept. de Ingenieria de Sistemas y Autom., Valladolid Univ., Spain
Volume :
2
fYear :
2003
fDate :
5-8 Oct. 2003
Firstpage :
1705
Abstract :
Vast majority of manufacturing devices and systems are controlled by programmable software logic controllers. The primary issues in design, development, and operation of such systems are related to the relative complexity of involved control logic. The focus for DES in supervisory control is how to deal to with uncontrollable events, blocking in the controlled system and unobservable events. This paper presents a new methodology for mapping operational pattern of States-Events-Times during control logic execution. This approach enables identification of conflicts, such as blockings or bottlenecks, which may occur due to exceptions (such as sensor failures). Proposed approach, relying on the historical data, pre-determined operational pattern, and relations of states-events-times, generates a virtual supervisor which not only enables return of the process to deterministic behavior, but also run-time verification of its properties. This new approach offers the flexibility to perform engineering changes, add new specifications, and facilitates future system modifications.
Keywords :
discrete event systems; manufacturing systems; production engineering computing; programmable controllers; temporal logic; virtual reality; control logic execution; discrete event systems; formal methods; machine learning; manufacturing devices; manufacturing systems; online DES control behavior; programmable software logic controllers; supervisory control; temporal logic; uncontrollable events; unobservable events; virtual supervisor; Automatic generation control; Control systems; Discrete event systems; Logic design; Logic devices; Mechanical engineering; Programmable control; Reconfigurable logic; Runtime; Supervisory control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN :
1062-922X
Print_ISBN :
0-7803-7952-7
Type :
conf
DOI :
10.1109/ICSMC.2003.1244658
Filename :
1244658
Link To Document :
بازگشت