Title :
On the synthesis of a controllable supervisor for discrete processes modeled by temporal Petri nets
Author :
Caramihai, S.I. ; Alla, H.
Author_Institution :
Control & Comput. Fac., Politehnic Inst. of Bucharest, Romania
Abstract :
The paper presents the conceptual framework and the synthesis procedure for temporal discrete event system supervisor. The approach is suitable in controlling systems as flexible manufacturing systems, in which certain durations of operations are not precisely known a priori. In this way, the model embodies temporal uncertainties of the process and the supervisor is “robust” to this indeterminism. The synthesis procedure could result in one ore more controllable supervision policies
Keywords :
Petri nets; controllability; discrete event systems; finite automata; flexible manufacturing systems; optimisation; production control; controllability; controllable supervision policies; discrete event system; finite automata; flexible manufacturing systems; optimisation; temporal Petri nets; Automata; Automatic control; Clocks; Control system synthesis; Control systems; Discrete event systems; Flexible manufacturing systems; Petri nets; Power system modeling; Virtual manufacturing;
Conference_Titel :
Robotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on
Conference_Location :
Leuven
Print_ISBN :
0-7803-4300-X
DOI :
10.1109/ROBOT.1998.677253
