Abstract
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 graphical tool GraSim was developed to automate the DEDS control synthesis process
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
