A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers
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...
Saved in:
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal Verification of Logic Control Systems with Nondeterministic Behaviors
by: Alwi, Saifulza, et al.
Published: (2013) -
Information requirements for mould making in a job shop manufacturing system
by: Md. Fauadi, Muhammad Hafidz Fazli
Published: (2005) -
PSO-Tuned PID controller of a gantry crane system
by: Jaafar, Hazriq Izzuan
Published: (2013) -
Current Trend of Tactile Sensor in Advanced Applications
by: Jaafar, Hazriq Izzuan
Published: (2012) -
PSO-Tuned PID Controller for a Nonlinear Gantry Crane System
by: Jaafar, Hazriq Izzuan
Published: (2012)