The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL
Transactions ID Number: 52-127
Full Name: Lucien Ngalamou
Position: Assistant Professor
Age: ON
Sex: Male
Address: Grand Valley State University, School of Engineering
Country: UNITED STATES
Tel: 16165896239
Tel prefix: 16163316502
Fax: 16163317215
E-mail address: ngalamol@gvsu.edu
Other E-mails: lngalamou@gmail.com
Title of the Paper: Exploring Methods for Effective Deployment of Programmable Logic Controllers (PLCs): A Preliminary Study
Authors as they appear in the Paper: Lucien Ngalamou, Leary Myers
Email addresses of all the authors: ngalamol@gvsu.edu , leary.myers@mona.uwi.edu
Number of paper pages: 14
Abstract: This paper presents a preliminary study of an approach that models programmable logic controllers (PLCs) for their effective deployment in industrial control processes. A working model is developed for automatic allocation of PLCs and formal verification of Ladder Diagram representations of control processes using the SMV (Symbolic Model Verifier) tool. Automatic resource allocation is achieved through the proposition of a digraph model for any Ladder Diagram representation of a control process, which is then translated to an XML model. The required PLC resources needed to implement a control process are extracted from the XML model. These resources are then used by a selection engine to determine from a PLC database the most appropriate PLCs or Embedded Controllers (EBCs) that can satisfy the resource requirements. Additionally, information extracted from the XML model is used to generate a formally verifiable SMV code of the system. This paper focuses on the p!
ractical implementation, testing, and verification of three conceptual modules applied to a control process, which are: the XML model of the control process, the PLC Database Automatic Resource Allocation, and the XML-to-SMV translator. This work was significantly motivated by the ever increasing number of industries who seek to increase efficiencies through the automation of their processes. Practitioners in the PLC industry should find this work extremely useful. This endeavor is a precursory step in the drive to the total automation and formal verification of industrial processes.
Keywords: Automatic Resource Allocation, XML Model, Programmable Logic Controllers (PLCs), PLC
EXTENSION of the file: .pdf
Special (Invited) Session:
Organizer of the Session:
How Did you learn about congress:
IP ADDRESS: 148.61.155.13
