Abstract | ||
---|---|---|
Programmable logic controllers (PLCs) are computers that are hardened for industrial environments and have I/O that are used to monitor and control a physical process. Learning automata specifications from PLCs provides an interface to verification tools that use an automata language, such as Uppaal. This paper introduces the time delay Mealy machine and demonstrates that it is sufficiently expressive to model PLC software. Using the LearnLib library, we implement a custom learning method to learn models from several industrial examples and analyze the efficiency. We show that the method is able to learn from simple PLC software, but the time required to learn increases rapidly with the scale of the software. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/TASE.2015.2496242 | IEEE Trans. Automation Science and Engineering |
Keywords | Field | DocType |
Software,Learning automata,Automata,IEC Standards,Testing,Clocks,Delay effects | Learning automata,Computer science,Automaton,Control engineering,Software,Programmable logic controller,Mealy machine,Iec standards | Journal |
Volume | Issue | ISSN |
13 | 2 | 1545-5955 |
Citations | PageRank | References |
1 | 0.35 | 19 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ben Caldwell | 1 | 14 | 2.06 |
Rachel Cardell-Oliver | 2 | 271 | 33.25 |
Tim French | 3 | 133 | 17.49 |