Implementation of supervisory control systems based on state machines

  • Authors:

  • Moacyr C. Possan;André B. Leal

  • Affiliations:

  • Whirlpool Latin America, Joinville, SC, Brazil;Automation and Systems Research Group, Santa Catarina State University, Joinville, SC, Brazil

  • Venue:
  • ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a new methodology for the implementation of discrete event-based control systems. An algorithm is proposed to transform an automata-based supervisor obtained from the Supervisory Control Theory (SCT) in a Mealy finite state machine. This machine may be simplified in order to have a reduced number of state transitions. The machine simplification represents a formal method for a discrete event control system to be implemented in a controller. It is presented an example of a manufacturing system to illustrate such procedure. The implementation of the control for this system is performed in Ladder, a useful language for Programmable Logic Controllers (PLCs). The methodology may be expanded to other programming languages and controller types as well.