Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration
作者： Ting Jiao , Yongmei Gan , Guochun Xiao , W. M. Wonham
DOI: 10.1109/TSMC.2018.2795011
关键词: Topology 、 Supervisory control 、 Supervisor 、 Invariant (physics) 、 Structure (category theory) 、 Component (UML) 、 Control reconfiguration 、 Automaton 、 Computer science
摘要: Symmetric discrete-event systems (DESs) are composed of groups identical components (machines) and buffers. As every component in each group has the same structure, they can be relabeled to a prototype machine. With respect buffer specifications (prohibiting overflow underflow) it is shown that optimal supervisory control original DES (with many machines) reduced much smaller collection machines. sizes fixed, result small invariant supervisor which independent total number We analyze underlying reason for this invariance property apply efficient reconfiguration triggered by addition or removal machines increase decrease capacity.
sci-hub.se 参考文章(34)
W. Murray Wonham, Kai Cai, Supervisory Control of Discrete-Event Systems ,(2018)
A. Ramirez-Serrano, S.C. Zhu, B. Benhabib, Moore Automata for the Supervisory Control of Robotic Manufacturing Workcells Autonomous Robots. ,vol. 9, pp. 59- 69 ,(2000) , 10.1023/A:1008976319182
W. Murray Wonham, Linear Multivariable Control: A Geometric Approach ,(1974)
Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow, On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata systems man and cybernetics. ,vol. 43, pp. 139- 148 ,(2013) , 10.1109/TSMCA.2012.2192265
P. J. Ramadge, W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes SIAM Journal on Control and Optimization. ,vol. 25, pp. 206- 230 ,(1987) , 10.1137/0325013
K. W. Schmidt, J. E. R. Cury, Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems IEEE Transactions on Automatic Control. ,vol. 57, pp. 3224- 3229 ,(2012) , 10.1109/TAC.2012.2200373
Kurt Rohloff, Stéphane Lafortune, The Verification and Control of Interacting Similar Discrete-Event Systems Siam Journal on Control and Optimization. ,vol. 45, pp. 634- 667 ,(2006) , 10.1137/040610209
Oulaid Kamach, Laurent Piétrac, Éric niel, Multi-model approach to discrete events systems: application to operating mode management Mathematics and Computers in Simulation. ,vol. 70, pp. 394- 407 ,(2006) , 10.1016/J.MATCOM.2005.11.008
Anas Nooruldeen, Klaus Werner Schmidt, State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems IEEE Transactions on Automatic Control. ,vol. 60, pp. 1630- 1634 ,(2015) , 10.1109/TAC.2014.2358811
Weilin Wang, Rong Su, Liyong Lin, On analysis of deadlock and blocking freeness in isomorphic module systems american control conference. pp. 923- 928 ,(2013) , 10.1109/ACC.2013.6579954