State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems

作者: Anas Nooruldeen , Klaus Werner Schmidt

DOI: 10.1109/TAC.2014.2358811

关键词: Supervisory controlSupervisorWorkcellDiscrete event dynamic systemProgramming language specificationComputer scienceEvent (computing)Distributed computingControl reconfiguration

摘要: In this note, we study a particular setting for the reconfiguration of discrete event systems (DES) that is applicable to control reconfigurable manufacturing (RMS). We consider DES can operate in different configurations and are interested realization configuration changes. Different from previous work, intend reach set plant states where new be started bounded number transitions at same time fulfill behavioral specification before starting configuration. To end, introduce concept weak attraction under language (WALS) derive necessary sufficient conditions its verification. Using WALS, propose polynomial-time algorithm computing supervisor performs described demonstrate applicability our method using workcell an RMS.

参考文章(20)
Stephane Lafortune, Christos G. Cassandras, Introduction to Discrete Event Systems ,(1999)
Andrea Paoli, Matteo Sartini, Stéphane Lafortune, Active fault tolerant control of discrete event systems using online diagnostics Automatica. ,vol. 47, pp. 639- 649 ,(2011) , 10.1016/J.AUTOMATICA.2011.01.007
Y. Li, W.M. Wonham, Control of vector discrete-event systems. I. The base model IEEE Transactions on Automatic Control. ,vol. 38, pp. 1214- 1227 ,(1993) , 10.1109/9.233154
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
HUMBERTO E. GARCIA, ASOK RAY, State-space supervisory control of reconfigurable discrete event systems International Journal of Control. ,vol. 63, pp. 767- 797 ,(1996) , 10.1080/00207179608921868
Harith M. Khalid, Mustafa Sancay Kırık, Klaus Werner Schmidt, Abstraction-based Supervisory Control for Reconfigurable Manufacturing Systems IFAC Proceedings Volumes. ,vol. 46, pp. 157- 162 ,(2013) , 10.3182/20130904-3-UK-4041.00036
Ratnesh Kumar, Shigemasa Takai, A Framework for Control-Reconfiguration Following Fault-Detection in Discrete Event Systems IFAC Proceedings Volumes. ,vol. 45, pp. 848- 853 ,(2012) , 10.3182/20120829-3-MX-2028.00289
Cüneyt M. Özveren, Alan S. Willsky, Panos J. Antsaklis, Stability and stabilizability of discrete event dynamic systems Journal of the ACM. ,vol. 38, pp. 729- 751 ,(1991) , 10.1145/116825.116855
Qin Wen, Ratnesh Kumar, Jing Huang, Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors systems man and cybernetics. ,vol. 44, pp. 1056- 1066 ,(2014) , 10.1109/TSMC.2013.2291538
Klaus Werner Schmidt, Optimal configuration changes for reconfigurable manufacturing systems conference on decision and control. pp. 7621- 7626 ,(2013) , 10.1109/CDC.2013.6761099