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 incontrollable 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.
Forbidden state problem, Petri Nets, control synthesis, time constraints.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).