Title :
Efficient Synthesis of Control Logic for a Class of Discrete Event Systems
Author :
Holloway, Lawrence E. ; Krogh, Bruce H.
Author_Institution :
Laboratory for Automated Systems and Information Processing, Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213
Abstract :
Real-world applications of the emerging theory of controlled discrete event systems (DESs) will not be realized until the obstacle of computational complexity is overcome. This paper presents a step in that direction by developing a computationally efficient solution for a class of forbidden state problems. We consider DESs which can be modeled as cyclic controlled marked graphs (CMGs), a class of controlled Petri nets (CPNs). The distributed representation of the DES state in terms of the CMG marking permits an efficient specification of the forbidden states in terms of individual place markings. More importantly, we show that the graphical representation of the state transition logic in a CMG can be used to synthesize state feedback logic which is maximally permissive while guaranteeing the forbidden states will not occur. The practical application of the theoretical results is illustrated for an example of automated guided vehicle (AGV) coordination in a flexible manufacturing facility.
Keywords :
Application software; Automatic control; Computational complexity; Control system synthesis; Discrete event systems; Information processing; Laboratories; Logic; Petri nets; State feedback;
Conference_Titel :
American Control Conference, 1989
Conference_Location :
Pittsburgh, PA, USA