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
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
