A control synthesis method for DEDS with the infinite state space

An approach to the control synthesis for discrete event dynamic systems (DEDS) with the infinite state space is presented in this paper. It utilizes the author's method suitable for the control synthesis of DEDS with the finite state space. DEDS are modelled by Petri nets (PN). The coverability graph (CG) playing in systems with the infinite state space the same role as the reachability tree (RT) and/or the reachability graph (RG) in systems with the finite state space is not suitable for the control synthesis. To find feasible control interferences for DEDS with the infinite state space, the proposed approach replaces infinite capacities of the PN-based model by suitable finite ones. Then RT and/or RG can be successfully used. The approach is illustrated on a simple flexible manufacturing system (FMS). The grahical tool GraSim was developed to automate the DEDS control synthesis process.