Control and Plant Modeling for Manufacturing Systems using Basic Statecharts

Modelling and Implementation of Supervisory Control Systems Using State Machines with Outputs

“…Furthermore, the implementation of this supervisor in a controller will require considerable non-volatile memory, neither being an elegant solution nor justifying the adoption of a formal method. PLC (Programmable Logic Controller) implementation of DES supervisory control was discussed in many works, as in (Ariñez et al, 1993;Lauzon, 1995;Leduc & Wonham, 1995;Leduc, 1996;Lauzon et al 1997;Fabian & Hellgren, 1998;Dietrich et al, 2002;Hellgren et al, 2002;Liu & Darabi, 2002;Music & Matko, 2002;Queiroz & Cury, 2002;Chandra et al, 2003;Hasdemir et al, 2004;Manesis & Akantziotis, 2005;Vieira et al, 2006, Noorbakhsh & Afzalian 2007Hasdemir et al, 2008;Silva et al, 2008;Leal et al, 2009;Uzam et al, 2009;Moura & Guedes, 2010).…”