A Classification of PLC Models and Applications

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

    Research output: Contribution to conferencePaperpeer-review

    122 Downloads (Pure)

    Abstract

    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
    Pages239-247
    Number of pages9
    Publication statusPublished - Aug 2000
    Event5th Int. Workshop on Discrete Event Systems (WODES) -- Discrete Event Systems, Analysis and Control - Ghent, Belgium
    Duration: 1 Aug 20001 Aug 2000

    Workshop

    Workshop5th Int. Workshop on Discrete Event Systems (WODES) -- Discrete Event Systems, Analysis and Control
    Period1/08/001/08/00

    Keywords

    • EWI-995
    • IR-56182

    Cite this