Predicate Abstraction for Programmable Logic Controllers

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41010-9_9 ◽

2013 ◽

pp. 123-138 ◽

Cited By ~ 3

Author(s):

Sebastian Biallas ◽

Mirco Giacobbe ◽

Stefan Kowalewski

Keyword(s):

Predicate Abstraction ◽

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Where others fear to tread [programmable automation controllers (PACs) and programmable logic controllers (PLCs)]

Computing & Control Engineering Journal ◽

10.1049/cce:20060203 ◽

2006 ◽

Vol 17 (2) ◽

pp. 26-29

Author(s):

T. Walter ◽

I. Bell

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Teaching Programmable Logic Controllers Using Multimedia-Based Courseware

International Journal of Electrical Engineering Education ◽

10.7227/ijeee.37.4.1 ◽

2000 ◽

Vol 37 (4) ◽

pp. 305-315 ◽

Cited By ~ 5

Author(s):

J. J. Blakley ◽

D. A. Irvine

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

تصميم مشاريع تخرّج في موضوع المتحكمات المنطقية القابلة للبرمجة لطلبة المعاهد التقنية (Design of Graduate Projects in the Subject of Programmable Logic Controllers for Students of Technical Institutes)

SSRN Electronic Journal ◽

10.2139/ssrn.3793253 ◽

2021 ◽

Author(s):

Hassaan Thabet

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Technical Institutes ◽

The Subject ◽

Logic Controllers

Download Full-text

Enhancing the Security and Forensic Capabilities of Programmable Logic Controllers

Advances in Digital Forensics XIV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-3-319-99277-8_19 ◽

2018 ◽

pp. 351-367 ◽

Cited By ~ 1

Author(s):

Chun-Fai Chan ◽

Kam-Pui Chow ◽

Siu-Ming Yiu ◽

Ken Yau

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Range and Value-Set Analysis for Programmable Logic Controllers

IFAC Proceedings Volumes ◽

10.3182/20121003-3-mx-4033.00060 ◽

2012 ◽

Vol 45 (29) ◽

pp. 378-383 ◽

Cited By ~ 1

Author(s):

Sebastian Biallas ◽

Stefan Kowalewski ◽

Bastian Schlich

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Value Set ◽

Logic Controllers

Download Full-text

A User’s Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications

Technology and Assessment of Safety-Critical Systems ◽

10.1007/978-1-4471-2082-7_1 ◽

1994 ◽

pp. 1-20 ◽

Cited By ~ 2

Author(s):

A. Greenway

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Programmable Logic Controllers In The High Schools Improve College Enrollments

10.18260/1-2--15442 ◽

2020 ◽

Author(s):

John Marshall

Keyword(s):

High Schools ◽

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Use Of Programmable Logic Controllers To Motivate High School Students To Pursue Engineering

10.18260/1-2--16405 ◽

2020 ◽

Author(s):

Rashpal Ahluwalia ◽

Atul Phadke ◽

Gary Winn ◽

Reagan Curtis

Keyword(s):

High School ◽

High School Students ◽

Programmable Logic ◽

Programmable Logic Controllers ◽

School Students ◽

Logic Controllers

Download Full-text

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

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24704-5_15 ◽

2015 ◽

pp. 241-256 ◽

Cited By ~ 3

Author(s):

Roland Glück ◽

Florian Benedikt Krebs

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Kleene Algebra ◽

Logic Controllers

Download Full-text

Application Centered Methodology For Teaching Programmable Logic Controllers

10.18260/1-2--11836 ◽

2020 ◽

Author(s):

Sridhar Condoor

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text