DocumentCode :
2409297
Title :
Modular control-loop detection
Author :
Malik, Petra ; Malik, Robi
Author_Institution :
Dept. of Comput. Sci., Waikato Univ., Hamilton
fYear :
2006
fDate :
10-12 July 2006
Firstpage :
119
Lastpage :
124
Abstract :
This paper presents an efficient algorithm to detect control-loops in large finite-state systems. The proposed algorithm exploits the modular structure present in many models of practical relevance, and often successfully avoids the explicit synchronous composition of subsystems and thereby the state explosion problem. Experimental results show that the method can be used to verify industrial applications of considerable complexity
Keywords :
large-scale systems; large finite-state systems; modular control-loop detection; Automatic control; Computer science; Control system synthesis; Control systems; Discrete event systems; Electrical equipment industry; Explosions; Filling; Supervisory control; Valves;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
Type :
conf
DOI :
10.1109/WODES.2006.1678418
Filename :
1678418
Link To Document :
بازگشت