Synthesis of Controllers from Finite State Stack Machine Diagrams

Abstract

Industrial plants are distributed systems whose automation requires complex controllers. Networks of state machines model these controller systems but their syntheses remain a problem. In this paper, we approach it by combining extended finite state machines (EFSM) with state stacks. While EFSM match most design templates, extended finite state stack machines (EFS2M) accommodates to procedural agent architectures for modules at higher-abstraction levels of the controllers' networks. Results include a code generator from state machine diagrams and a simulator of a mobile robot for internal transportation whose controller stack includes EFSM and EFS <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> M.