3KALITA D, KHARGONEKAR P P. Formal verification for analysis and design of reconfigurable controllers for manufacturing systems [C]//Proceedings of the American Control Conference. 2000 : 2533-2539.
4SCHREYER M, TSENG M M. Design framework for PLC-based control for reconfigurable manufacturing systems[C]// Proceedings of International Conference on Flexible Automation and Intelligent Manufacturing. 2000: 33-42.
