@inproceedings{b011fe67caa247a98724ee9983e5c01c,
title = "Automatic PLC code generation using matlab",
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.",
keywords = "Automata theory, Discrete event systems, Implementation, Programmable logic controllers",
author = "Hasdemir, {I. Tolga} and Salman Kurtulan",
year = "2006",
doi = "10.3182/20060926-3-pl-4904.00022",
language = "English",
isbn = "8374810351",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "PART 1",
pages = "131--136",
booktitle = "3rd IFAC Workshop on Discrete-Event System Design, DESDes'06",
edition = "PART 1",
}