A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers

• Main Authors: Alwi @ Suhaimi, Saifulza, Salleh, Mohd Rizal, Jaafar, Hazriq Izzuan, Ab Ghani, Mohd Ruddin, Md Fauadi, Muhammad Hafidz Fazli
• Format: Technical Report
• Language: English
• Published: UTeM 2019
• Online Access: http://eprints.utem.edu.my/id/eprint/25473/1/A%20Novel%20Approach%20Of%20Groebner%20Bases%20Computation%20For%20Safety%20Analysis%20Of%20Distributed%20Discrete%20Controllers.pdf; http://eprints.utem.edu.my/id/eprint/25473/; https://plh.utem.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=118046
• Institution: Universiti Teknikal Malaysia Melaka

It is well known that Programmable Logic Controller (PLC) related processes in manufacturing lines are safety-critical systems because of the increasing number of embedded functions and features. Any failure of these process control systems might not only result in a significant financial loss but a...