AUTOMATIC PLC CODE GENERATION USING MATLAB

Abstract

Abstract Automata formalism has been used extensively in control design of Discrete Event Systems (DES) and, realization methodologies to implement automata that are synthesized using formal methods are needed. In this study, we present a methodology that can be used to express a given automaton in logical domain. Using this methodology, a Matlab program which automatically generates Programmable Logic Controller (PLC) codes that realize the given automaton has been developed.