Timed automaton models for simple programmable logic controllers

  title={Timed automaton models for simple programmable logic controllers},
  author={Angelika Mader and Hanno Wupper},
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defined in the standard IEC 1131-3. Two different approaches for modelling timers are suggested, that lead to two different timed automaton models. The purpose of this work is to… CONTINUE READING

3 Figures & Tables



Citations per Year

77 Citations

Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.