Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation

Supervisory synthesis for product-driven automation and its application to a flexible assembly cell

“…In the field of SCT, the benefit of modularity in avoiding the state space explosion generated by the synthesis algorithms has been widely demonstrated (De Queiroz & Cury 2002, Vahidi et al 2006, Endsley et al 2006. Several extensions of the original framework have been proposed, such as:…”

“…From a syntactic point of view, IEC 61499 3 provides a function block structure where the clear separation between execution control and algorithm description facilitates dynamic reconfiguration. From a semantic point of view, interoperability requires the standardisation of component interfaces and behaviour as well as the definition of a collaboration protocol (Endsley et al 2006;Wright & Bourne, 1988;Newman et al, 2000).…”

Control and Plant Modeling for Manufacturing Systems using Basic Statecharts

“…The two most common approaches are Finite State Machines (FSM) and Petri nets; both allow for formal verification of the correctness of a control system. However, despite significant research advances in recent years, these formal techniques have not been widely employed in industry (Endsley et al, 2006). We believe that such approaches are still low-level formalisms, resulting in large and unwieldy systems.…”

Automatic generation of controllers for collision-free flexible manufacturing systems

“…Some reasons are given in [4], including modeling difficulties and state space explosion. This problem is further discussed in [5], [6], and [7], where in the latter a formal language for hierarchical operations and sequences of operations (SOPs) are introduced to support controller synthesis.…”