The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis
作者： Martijn Goorden , Joanna van de Mortel-Fronczak , Michel Reniers , Wan Fokkink , Jacobus Rooda
DOI: 10.1007/978-3-030-27008-7_5
关键词:
摘要: Supervisory control theory provides means to synthesize supervisors for a cyber-physical system based on models of the uncontrolled components and requirements. Although several synthesis procedures have been proposed automated, obtaining correct useful industrial-size applications that are needed as their input remains challenge. We show efficiency supervisor techniques tends increase significantly if single large requirement is split into set smaller A theoretical underpinning provided showing strength this modeling guideline. Moreover, examples from literature well some real-life case studies included illustration.
springer.com
tue.nl参考文章(35)
Ting Jiao, Yongmei Gan, Guochun Xiao, W. M. Wonham, Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration IEEE Transactions on Systems, Man, and Cybernetics. ,vol. 50, pp. 2056- 2067 ,(2020) , 10.1109/TSMC.2018.2795011
J.M. van de Mortel-Fronczak, J.E. Rooda, F.F.H. Reijnen, Supervisory control synthesis for a lock-bridge combination 37th Benelux Meeting on Systems and Control. ,(2018)
F.F.H. Reijnen, M.A. Goorden, J.M. van de Mortel-Fronczak, M.A. Reniers, J.E. Rooda, Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line 2018 IEEE Conference on Control Technology and Applications (CCTA). pp. 458- 464 ,(2018) , 10.1109/CCTA.2018.8511449
F.F.H. Reijnen, J.J. Verbakel, J.M. van de Mortel-Fronczak, J.E. Rooda, Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex 2019 IEEE Conference on Control Technology and Applications (CCTA). pp. 843- 850 ,(2019) , 10.1109/CCTA.2019.8920561
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, Modeling for supervisor synthesis – a lock-bridge combination case study Discrete Event Dynamic Systems. ,vol. 30, pp. 499- 532 ,(2020) , 10.1007/S10626-020-00314-0
Tyson R. Browning, Steven D. Eppinger, Design Structure Matrix Methods and Applications ,(2012)
D. A. van Beek, W. J. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski, J. M. van de Mortel-Fronczak, M. A. Reniers, CIF 3: Model-Based Engineering of Supervisory Controllers Tools and Algorithms for the Construction and Analysis of Systems. ,vol. 8413, pp. 575- 580 ,(2014) , 10.1007/978-3-642-54862-8_48
Mohammad Modarres, Risk Analysis in Engineering : Techniques, Tools, and Trends CRC Press. ,(2016) , 10.1201/B21429
Max H. Queiroz, José E. R. Cury, Modular Supervisory Control of Large Scale Discrete Event Systems Springer, Boston, MA. pp. 103- 110 ,(2000) , 10.1007/978-1-4615-4493-7_10
Stephane Lafortune, Christos G. Cassandras, Introduction to Discrete Event Systems ,(1999)