Timed automaton models for simple programmable logic controllers

@inproceedings{Mader1999TimedAM,
  title={Timed automaton models for simple programmable logic controllers},
  author={Angelika Mader and Hanno Wupper},
  booktitle={ECRTS},
  year={1999}
}
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

Topics

Statistics

0510'00'02'04'06'08'10'12'14'16'18
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.