Reconfigurability of behavioural specifications for manufacturing systems

References

• Brave, Y., & Heymann, M. (1990). Stabilization of discrete-event processes. International Journal of Control, 51, 1101–1117.
   Web of Science ®Google Scholar
• Cassandras, C.G., & Lafortune, S. (2008). Introduction to discrete event systems (2nd ed.). Springer.
   Google Scholar
• Cho, H., & Marcus, S.I. (1989). On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Mathematics of Control, Signals and Systems, 2(1), 47–69.
   Google Scholar
• Dashchenko, A. (Ed.) (2006). Reconfigurable manufacturing systems and transformable factories. Berlin Heidelberg: Springer.
   Google Scholar
• ElMaraghy, H.A. (2009). Changeable and reconfigurable manufacturing systems, London: Springer-Verlag.
   Google Scholar
• Endsley, E.W., Almeida, E.E., & Tilbury, D.M. (2006). Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation. Control Engineering Practice, 14(10), 1127–1142.
   Web of Science ®Google Scholar
• Faraut, G., Piétrac, L., & Niel, E. (2009). Formal approach to multimodal control design: Application to mode switching. IEEE Transactions on Industrial Informatics, 5(4), 443–453.
   Web of Science ®Google Scholar
• Garcia, H.E., & Ray, A. (1996). State-space supervisory control of reconfigurable discrete event systems. International Journal of Control, 63(4), 767–797.
   Web of Science ®Google Scholar
• Harrison, R., Colombo, A., West, A., & Lee, S. (2006). Reconfigurable modular automation systems for automotive power-train manufacture. International Journal of Flexible Manufacturing Systems, 18(3), 175–190. doi:10.1007/s10696-006-9008-y
   Google Scholar
• Koren, Y. (2010). The global manufacturing revolution. Hoboken, NJ: John Wiley & Sons.
   Google Scholar
• Koren, Y., Heisel, U., Jovane, F., Moriwaki, T., Pritschow, G., Ulsoy, G., & Brussel, H.V. (1999). Reconfigurable manufacturing systems. CIRP Annals – Manufacturing Technology, 48, 527–540.
   Web of Science ®Google Scholar
• Kumar, R., Garg, V., & Marcus, S.I. (1993). Language stability and stabilizability of discrete event dynamical systems. SIAM Journal of Control and Optimization, 31, 132–154.
   Web of Science ®Google Scholar
• Kumar, R., Takai, S., Fabian, M., & Ushio, T. (2005). Maximally permissive mutually and globally nonblocking supervision with application to switching control. Automatica, 41(8),1299–1312.
   Web of Science ®Google Scholar
• Lafortune, S., & Chen, E. (1990). The infimal closed controllable superlanguage and its application in supervisory control. IEEE Transactions on Automatic Control, 35(4), 398–405.
   Web of Science ®Google Scholar
• Li, J., Dai, X., & Meng, Z. (2009). Automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system-based approach. IEEE Transactions on Automation Science and Engineering, 6(1), 156–167.
   Web of Science ®Google Scholar
• libFAUDES (2006–2015). libFAUDES software library for discrete event systems. Retrieved fromwww.rt.eei.uni-erlangen.de/FGdes/faudes
   Google Scholar
• Lin, F., & Wonham, W.M. (1985). On the computation of supremal controllable sublanguages. In Allerton conference on communication, control and computing (pp. 942–950). Allerton, Illinois.
   Google Scholar
• Mehrabi, M.G., Ulsoy, A.G., & Koren, Y. (2000). Reconfigurable manufacturing systems: Key to future manufacturing. Journal of Intelligent Manufacturing, 11, 403–419.
   Web of Science ®Google Scholar
• Nooruldeen, A., & Schmidt, K. (2015). State attraction under language specification for the reconfiguration of discrete event systems. IEEE Transactions on Automatic Control, 60(6), 1630–1634.
   Web of Science ®Google Scholar
• Ramadge, P.J., & Wonham, W.M. (1987). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1), 206–230.
   Web of Science ®Google Scholar
• Sampath, R., Darabi, H., Buy, U., & Jing, L. (2008). Control reconfiguration of discrete event systems with dynamic control specifications. IEEE Transactions on Automation Science and Engineering, 5(1), 84–100.
   Web of Science ®Google Scholar
• Schmidt, K. (2015). Computation of supervisors for reconfigurable machine tools. Discrete Event Dynamic Systems, 25(1–2), 125–158.
   Web of Science ®Google Scholar
• Schmidt, K.W. (2013). Optimal configuration changes for reconfigurable manufacturing systems. In IEEE conference on decision and control (pp. 7621–7626). Florence, Italy.
   Google Scholar
• Sengupta, R., & Lafortune, S. (1998). An optimal control theory for discrete event systems. SIAM Journal on Control and Optimization, 36(2), 488–541.
   Web of Science ®Google Scholar
• Wen, Q., Kumar, R., & Huang, J. (2008). Synthesis of optimal fault-tolerant supervisor for discrete event systems. In American control conference (pp. 1172–1177). Seattle, USA.
   Google Scholar
• Willner, Y., & Heymann, M. (1995). Language convergence in controlled discrete-event systems. IEEE Transactions on Automatic Control, 40(4), 616–627.
   Web of Science ®Google Scholar
• Wonham, W.M. (2015). Supervisory control of discrete-event systems. Lecture Notes. Department of Electrical and Computer Engineering, Toronto: University of Toronto.
   Google Scholar