A Classification of PLC Models and Applications

Angelika H. Mader, R. Boel (Editor), G. Stremersch (Editor)

    Research output: Contribution to conferencePaper

    109 Downloads (Pure)


    In the past years there is an increasing interest in analysing PLC applications with formal methods. The first step to this end is to get formal models of PLC applications. Meanwhile, various models for PLCs have already been introduced in the literature. In our paper we discuss several classification criteria that characterise different ways of modelling. The criteria include the PLC execution mechanism, the treatment of time and language fragments used. We try to motivate by examples which models are useful for which class of applications. Finally, we briefly reflect on a number of models from the literature according to the criteria discussed.
    Original languageUndefined
    Number of pages9
    Publication statusPublished - Aug 2000


    • EWI-995
    • IR-56182

    Cite this