Title :
A Control Synthesis Tool for Time Discrete Event Systems
Author :
Leahu, Joana ; Sava, Alexandre ; Achour, Zied ; Rezg, Nidhal
Author_Institution :
Univ. "Al. I. Cuza", Iasi
Abstract :
This paper presents a control synthesis software tool for manufacturing systems with a driven dynamic event. This tool is based on an original control synthesis algorithm which solves the forbidden state problem (FSP) under the following hypothesis: 1) each event may occur at time instants specified by an interval or a union of intervals; 2) two types of events are considered: controllable and uncontrollable events and 3) the evolution of time is discrete. This tool generates a live and maximally permissive controller which can 1) act on the arriving date of controllable events or 2) completely forbid some controllable events. The aim is to guaranty the respect of the given specifications
Keywords :
control system CAD; discrete event systems; manufacturing systems; control synthesis software; control synthesis tool; driven dynamic event; forbidden state problem; manufacturing systems; time discrete event systems; Automatic control; Control system synthesis; Discrete event systems; Logic; Petri nets; Software tools; State-space methods; System recovery; Systems engineering and theory; Time factors; Forbidden state problem; Petri nets; control synthesis; time constraints;
Conference_Titel :
Computational Engineering in Systems Applications, IMACS Multiconference on
Conference_Location :
Beijing
Print_ISBN :
7-302-13922-9
Electronic_ISBN :
7-900718-14-1
DOI :
10.1109/CESA.2006.4281782
