TOWARDS A FRAMEWORK FOR INTEGRATED SUPERVISORY AND LOGIC CONTROL

An architecture for integrated supervisory and logic control is presented together with a modeling formalism, Extended Finite Automata (EFA). It is argued that the architecture and modeling formalism may be used to efficiently represent many control programs formulated with sequential function charts and ladder logic. Since EFA is an extension to finite automata, EFA is also useful for modeling traditional supervisory control problems. With a small example it is argued that the presented architecture together with the EFA formalism can be used to efficiently verify and synthesize control functions that contain both supervisory control and traditional logic control.