scholarly journals Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

2015 ◽  
pp. 241-256 ◽  
Author(s):  
Roland Glück ◽  
Florian Benedikt Krebs
Keyword(s):  
Programmable Logic ◽  
Programmable Logic Controllers ◽  
Kleene Algebra ◽  
Logic Controllers

Range and Value-Set Analysis for Programmable Logic Controllers

2012 ◽  
Vol 45 (29) ◽  
pp. 378-383 ◽  
Author(s):  
Sebastian Biallas ◽  
Stefan Kowalewski ◽  
Bastian Schlich
Keyword(s):  
Programmable Logic ◽  
Programmable Logic Controllers ◽  
Value Set ◽  
Logic Controllers

Sensitivity of Programmable Logic Controllers to Voltage Sags

2019 ◽  
Vol 34 (1) ◽  
pp. 2-10 ◽  
Author(s):  
Yonghai Xu ◽  
Yapen Wu ◽  
Mengmeng Zhang ◽  
Shaobo Xu
Keyword(s):  
Voltage Sags ◽  
Programmable Logic ◽  
Programmable Logic Controllers ◽  
Logic Controllers
Sign in / Sign up

Export Citation Format

Share Document