Formal verification of PLC controlled systems using sensor graphs

T Alenljung, B Lennartson - 2009 IEEE International …, 2009 - ieeexplore.ieee.org
This paper describes how a system, consisting of a discrete controller (eg a PLC) that
controls a physical plant/process, can be formally verified. The physical process is assumed …
被引用次数：11 相关文章

Formal verification of PLC controlled systems using sensor graphs

T Alenljung, B Lennartson - Proceedings of the fifth annual IEEE …, 2009 - dl.acm.org
This paper describes how a system, consisting of a discrete controller (eg a PLC) that
controls a physical plant/process, can be formally verified. The physical process is assumed …
[PDF] researchgate.net

[PDF][PDF] Formal Verification of PLC Controlled Systems Using Sensor Graphs

T Alenljung, B Lennartson - researchgate.net
This paper describes how a system, consisting of a discrete controller (eg a PLC) that
controls a physical plant/process, can be formally verified. The physical process is assumed …

Formal verification of PLC controlled systems using Sensor Graphs

T Alenljung, B Lennartson - 2009 IEEE International Conference on Automation … - infona.pl
This paper describes how a system, consisting of a discrete controller (eg a PLC) that
controls a physical plant/process, can be formally verified. The physical process is assumed …