Verification of declarative LTL-specification of control programs behavior oleh Maxim V. Neyzov, Egor V. Kuzmin

"…Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control programs and building program code based on it in the imperative ST-language for programmable logic controllers. The LTL-specification can be directly verified for compliance with specified temporal properties by the model checking method using the nuXmv symbolic verification tool. …"
Dapatkan teks lengkap

Developing a dual axis photoelectric tracking module using a multi quadrant photoelectric device oleh Bharathi M.L., Vimal Bhatt, V.V. Ravi Kumar, Rajesh Jagdish Sharma, Hemavathi S., Bhasker Pant, Rajendra Prasad Arani, T. Sathish, V. Mohanavel

"…This study planned and constructed a dual-axis solar programmable logical controller (PLC) based automatic tracking system, as well as its management and signal conditioning. …"
Dapatkan teks lengkap

Securing Industrial Control Systems: Components, Cyber Threats, and Machine Learning-Driven Defense Strategies oleh Mary Nankya, Robin Chataut, Robert Akl

"…Industrial Control Systems (ICS), which include Supervisory Control and Data Acquisition (SCADA) systems, Distributed Control Systems (DCS), and Programmable Logic Controllers (PLC), play a crucial role in managing and regulating industrial processes. …"
Dapatkan teks lengkap

A Model-Based Design of Distributed Automation Systems for the Smart Grid: Implementation and Validation oleh Davide Della Giustina, Amelia Alvarez de Sotomayor, Alessio Dedè, Francisco Ramos

"…The same models have also been used in the implementation phase with a semi-automatic code generation procedure, considering as a target system the software programmable logic controllers (soft-PLCs), available on the protection devices. …"
Dapatkan teks lengkap

Data Processing for IoT in Oil and Gas Refineries oleh Hutama A. Bramantyo, Bagus Satrio Utomo, Efrilia M. Khusna

"…To meet the ever-increasing needs of operational demands, SCADA, Distributed Control Systems and Programmable Logic Controllers (DCS & PLCs) have grown significantly. …"
Dapatkan teks lengkap

Design And Control System of Automatic Control System of Coal Flow on Belt Conveyor Installation oleh Bayu Pranoto, Chandra Gunawan, Hilmi Iman Firmansyah, Hangga Wicaksono, Andhika Angger Nugraha, Muhammad Trifiananto

"…The results of this study are in the form of control logic lines that can be applied to Programmable Logic Control (PLC) device and Human Machine Interface (HMI) equipment.…"
Dapatkan teks lengkap

Increase Food Production Efficiency Using the Executable Digital Twin (xdt) oleh Thomas Eppinger, Glenn Longwell, Peter Mas, Kevin Goodheart, Umberto Badiali, Ravindra Aglave

"…The food industry has improved product quality while reducing production time and cost by automating production using programmable logic controllers (PLC) over the last several decades. …"
Dapatkan teks lengkap

Approximate Closed-Form Solution of the Differential Equation Describing Droplet Flight during Sprinkler Irrigation oleh Dario Friso

"…Since the proposed analytical modeling uses only elementary functions, it can be implemented in PLC programmable logic controllers, which could be useful for controlling water waste and erosive effects on the soil during sprinkler irrigation.…"
Dapatkan teks lengkap

Methodology for the Surveillance the Voltage Supply in Public Buildings Using the ITIC Curve and <i>Python</i> Programming oleh Javier Fernández-Morales, Juan-José González-de-la-Rosa, José-María Sierra-Fernández, Olivia Florencias-Oliveros, Paula Remigio-Carmona, Manuel-Jesús Espinosa-Gavira, Agustín Agüera-Pérez, José-Carlos Palomares-Salas

"…These can affect sensitive equipment such as computers, programmable logic controllers, contactors, etc. Therefore, it is of great interest to implement it in any laboratory, not only for protection reasons but also as a safeguard for claims against the supply company. …"
Dapatkan teks lengkap

Advanced Control With PLC&#x2014;Code Generator for aMPC Controller Implementation and Cooperation With External Computational Server for Dealing With Multidimensionality, Constrai... oleh Jaroslaw Tarnawski, Piotr Kudelka, Mateusz Korzeniowski

"…The manufacturers of Programmable Logic Controllers (PLC) usually equip their products with extremely simple control algorithms, such as PID and on-off regulators. …"
Dapatkan teks lengkap

A Smart Agricultural System Based on PLC and a Cloud Computing Web Application Using LoRa and LoRaWan oleh Mohamed Saban, Mostapha Bekkour, Ibtisam Amdaouch, Jaouad El Gueri, Badiaa Ait Ahmed, Mohamed Zied Chaari, Juan Ruiz-Alzola, Alfredo Rosado-Muñoz, Otman Aghzout

"…In this system, LoRa connectivity is integrated with existing Programmable Logic Controllers (PLCs), which are commonly used in industry and farming to control multiple processes, devices, and machinery through the Simatic <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>I</mi><mi>O</mi><mi>T</mi><mn>2040</mn></mrow></semantics></math></inline-formula>. …"
Dapatkan teks lengkap

Determination of thermal and drying performances of the solar air dryer with solar tracking system: Apple drying test oleh Mehmet Das, Ebru Kavak Akpinar

"…Solar air collector (SAC) has been provided with solar tracking feature using a programmable logic control system that has not been used before. …"
Dapatkan teks lengkap

Intelligent Control System Architecture for Phosphorus Production from Apatite-Nepheline Ore Waste oleh Maksim Dli, Andrey Puchkov, Artem Vasiliev, Elena Kirillova, Yuri Selyavskiy, Nikolay Kulyasov

"…The artificial intelligence methods underlying the informational model of a control system offer solutions to problems of analyzing control processes at different hierarchy levels, namely the initial level of sensing devices, the levels of programmable logic controllers, dispatching of control and production processes, enterprise management and strategic planning. …"
Dapatkan teks lengkap

Development of a real-time framework between MATLAB and PLC through OPC-UA: A case study of a microgrid energy management system oleh Abdallah EL Zerk, Mohammed Ouassaid, Youssef Zidani

"…The hardware solution involves utilizing a Programmable Logic Control (PLC) to acquire data from diverse sensors and regulate the system through actuators and PI controllers. …"
Dapatkan teks lengkap

Performance Costs of Software Cryptography in Securing New-Generation Internet of Energy Endpoint Devices oleh Lehlogonolo P. I. Ledwaba, Gerhard P. Hancke, Hein S. Venter, Sherrin J. Isaac

"…We evaluate the capabilities of a device family (Cortex-M series processors) commonly found in programmable logic controllers to implement standard, verified software cryptographic libraries in terms of execution times, memory occupation, and power consumption in order to determine their adequacy for use in smart grid applications. …"
Dapatkan teks lengkap

An Enhanced Multi-Stage Semantic Attack Against Industrial Control Systems oleh Yan Hu, Yuyan Sun, Youcheng Wang, Zhiliang Wang

"…By hijacking the communication channels between the Human Machine Interface (HMI) and the remote Programmable Logic Controllers (PLCs), the attacker can manipulate the measurement data and control instructions simultaneously. …"
Dapatkan teks lengkap

Applied methods to detect and prevent vulnerabilities within PLC alarms code oleh Abraham Serhane, Raad Raad, Willy Susilo, Mohamad Raad

"…Abstract Adversaries may target alerting alarms raised by PLCs (Programmable Logic Controllers) to prevent notifying operators of critical conditions, to hide faults, to disrupt operations, to cause damages to ICS (Industrial Control Systems) and surrounding environment, or to lead to financial loss. …"
Dapatkan teks lengkap

IMPLEMENTASI IEC 61131-3 PADA OTOMATISASI PEMBUATAN TIRAMISU oleh Trias Andromeda, Iwan Setiawan, Riva Amrulloh

"…Selama sepuluh hingga lima belas tahun terakhir, berbagai bahasa pemrograman yang berbedatelah digunakan untuk memprogram Programmable Logic Controler (PLC). Untuk satu bahasa pemrograman sajamisalnya Ladder Diagram, tiap-tiap jenis PLC mempunyai aturan dan cara pemrograman yang berbeda-beda.Padahal industri modern biasanya tidak hanya menggunakan satu jenis PLC saja melainkan berbagai jenis PLC, halini akan menjadi tidak effisien, baik dari segi waktu maupun uang.…"
Dapatkan teks lengkap

Parametric and Nonparametric PI Controller Tuning Method for Integrating Processes Based on Magnitude Optimum oleh Tomaž Kos, Mikuláš Huba, Damir Vrančić

"…Besides the mentioned advantages, the extension provides efficient closed-loop control, while PI controller parameters calculation is still based on simple algebraic expressions, making it suitable for less-demanding hardware, like simpler programmable logic controllers (PLC). Additionally, the proposed method incorporates reference weighting factor <i>b</i> that allows users to emphasize either the disturbance-rejection or reference-following response. …"
Dapatkan teks lengkap

An automation model of Effluent Treatment Plant oleh Luiz Alberto Oliveira Lima Roque, Natália Souto Pereira, Thiago Campanati Brandão

"…These functions are achieved with programmable logic controllers (PLC) and Supervisory Systems. …"
Dapatkan teks lengkap