| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 721440 | IFAC Proceedings Volumes | 2006 | 6 Pages |
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.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
İ. Tolga Hasdemir, Salman Kurtulan,