%0 Journal Article %1 JafarinejadPouyan17 %A Jafarinejad, Fatemeh %A Pouyan, Ali A. %D 2017 %I World Scientific Publishing Co. %J J. Adv. Manuf. Syst. %K citas, citeulike control, des, discrete, event, referencias, supervisory, systems %N 02 %P 171--184 %R 10.1142/s0219686717500111 %T A Modular Supervisory Control Design of Discrete Event Systems %U http://dx.doi.org/10.1142/s0219686717500111 %V 16 %X This paper presents a modular liveness-enforcing supervisory control design for scalable discrete event systems. A maximally permissive monitor-based supervisory control policy is suggested using divide and conquer paradigm. A vector-covering approach is used to minimize essential set of legal markings and first-met bad markings. Providing that modules of system interact by Enable operator, it will be proved that monitor-based supervisory control methods can be applied modularly. Then, Enable operator of Petri nets (PNs) can be used to synthesize subsystems. This algorithm is implemented by extending a graphical PN drawing and analysis tool with supervisory control analysis modules as Java codes. The experimental results show that this approach constitutes a primary step towards a hierarchical procedure that overcomes whole reachability graph computation, which is a bottleneck in deadlock preventing supervisory control policies.

@article{JafarinejadPouyan17, abstract = {{This paper presents a modular liveness-enforcing supervisory control design for scalable discrete event systems. A maximally permissive monitor-based supervisory control policy is suggested using divide and conquer paradigm. A vector-covering approach is used to minimize essential set of legal markings and first-met bad markings. Providing that modules of system interact by Enable operator, it will be proved that monitor-based supervisory control methods can be applied modularly. Then, Enable operator of Petri nets (PNs) can be used to synthesize subsystems. This algorithm is implemented by extending a graphical PN drawing and analysis tool with supervisory control analysis modules as Java codes. The experimental results show that this approach constitutes a primary step towards a hierarchical procedure that overcomes whole reachability graph computation, which is a bottleneck in deadlock preventing supervisory control policies.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Jafarinejad, Fatemeh and Pouyan, Ali A.}, biburl = {https://www.bibsonomy.org/bibtex/24a338b85f245b41a149a0fb5ac424659/fernand0}, citeulike-article-id = {14378019}, citeulike-linkout-0 = {http://dx.doi.org/10.1142/s0219686717500111}, citeulike-linkout-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0219686717500111}, day = 1, doi = {10.1142/s0219686717500111}, interhash = {c7bd8c17cfdd56e7af36d18131f58154}, intrahash = {4a338b85f245b41a149a0fb5ac424659}, journal = {J. Adv. Manuf. Syst.}, keywords = {citas, citeulike control, des, discrete, event, referencias, supervisory, systems}, month = jun, number = 02, pages = {171--184}, posted-at = {2017-06-16 18:03:26}, priority = {2}, publisher = {World Scientific Publishing Co.}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{A Modular Supervisory Control Design of Discrete Event Systems}}, url = {http://dx.doi.org/10.1142/s0219686717500111}, volume = 16, year = 2017 }