Model checking programs in process-oriented IEC 61131-3 Structured Text oleh Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

"…The paradigm is intended for PLC (programmable logic controllers) developers to write Industry 4.0-enabled software. …"
Dapatkan teks lengkap

Visual programming environment for multidimensional fuzzy interval-logic regulators oleh Andrey F. Antipin, Evgenia V. Antipina

"…The proposed approach provides a clear and quick creation of controller functional blocks for Simatic S7-300 and S7-400 programmable logic controllers. At the same time, it is possible to analyze and simulate the work of the system of production rules and regulators as a whole, which reduces the time of development and debugging of control systems based on them.…"
Dapatkan teks lengkap

Towards Semantic Integration of Machine Vision Systems to Aid Manufacturing Event Understanding oleh Kaishu Xia, Clint Saidy, Max Kirkpatrick, Noble Anumbe, Amit Sheth, Ramy Harik

"…Moreover, extracted signals are interpreted by Programmable Logical Controllers (PLCs) and field devices for cognitive automation towards fully autonomous industrial systems.…"
Dapatkan teks lengkap

تصميم وتنفيذ نظام مراقبة وتحكم مُبرمج بعمل قبانات قسم مطاحن المواد الأولية في شركة طرطوس لصناعة الاسمنت... oleh ثائر ابراهيم, أحمد جوهره

"…The work Will focus on trying to avoid errors and problems that the old control system suffered in order to reach the best possible performance of weigh feeders, facilitate maintenance process and reveal the problems as they happen by proposing controlled weigh feeders by programmable logical controllers from SIEMENS corporation with processor (CPU 315-2 PN / DP), and design supervision and collection data system using software (WINCC Flexible sp3 2008). …"
Dapatkan teks lengkap

LTL-specification for development and verification of logical control programs in feedback systems oleh Maxim V. Neyzov, Egor V. Kuzmin

"…Earlier, a declarative LTL-specification was proposed to describe the strictly deterministic behavior of programs, ways of its verification and translation were worked out: for verification, the model checking tool nuXmv is used, and the translation is carried out into an imperative programming language ST for programmable logic controllers. When verifying the declarative LTL-specification of the behavior of programs, there may be a need to simulate the behavior of its environment. …"
Dapatkan teks lengkap

Modeling and Design of Azimuth-Altitude Dual Axis Solar Tracker for Maximum Solar Energy Generation oleh Salem Alaraby Ali Shufat, Erol Kurt, Aybaba Hancerlioğulları

"…The designed tracking system constructed of microcontroller or programmable logic control (PLC) with a digital program that operates sun tracker using driver, gear box to control the angular speed and mechanical torque, supports and mountings. …"
Dapatkan teks lengkap

Anomaly Detection for a Water Treatment System Based on One-Class Neural Network oleh Emmanuel Aboah Boateng, J. W. Bruce, Douglas A. Talbert

"…The prevalence of Internet-of-Things (IoT) technologies and the ubiquity of networked sensors and actuators in many Industrial Control Systems (ICS) have led to the exposure of critical infrastructure in our society to malicious activities and cyber threats. Programmable logic controllers (PLCs) are embedded devices that automate ICS processes. …"
Dapatkan teks lengkap

A Case Study of Energy Efficient Measures Undertaken in an Industrial Facility oleh Tommy Shannon

"…This paper deals with the design and implementation of low-carbon technologies and engineering innovations which have evolved over recent years, including integration of network-based programmable logic controllers (PLC), to enhance interconnectivity and control. …"
Dapatkan teks lengkap

المنظم التناسبي التكاملي التفاضلي (PID) من الدراسة النظرية إلى التطبيق العملي باستخدام الـمتحكمات المنطقية القابلة للبرمجة (PLC)... oleh بلال شيحا, باسل عبيد

"…Also, display and compare different forms of control and response of sub modes of PID controller, through using programmable logical controller and programmed it to be (PID) controller, and take advantage of this system for accurate control of the three phase motor speed. …"
Dapatkan teks lengkap

Implementation of PI-speed controller of DC motor by mathematical modeling oleh A. S. Semenov, Yu. V. Bebikhov, I. A. Yakushev, O. V. Fedorov

"…The PI controller is widely used in programmable logic controllers due to the simplicity and clarity of the mathematical apparatus. …"
Dapatkan teks lengkap

The “DOLPHINS” Project: A Low-Cost Real-Time Multivariate Process Control From Large Sensor Arrays Providing Sparse Binary Data oleh Eugenio Alladio, Marcello Baricco, Vincenzo Leogrande, Renato Pagliari, Fabio Pozzi, Paolo Foglio, Marco Vincenti

"…For this purpose, several predictive maintenance models were tested starting from databases on programmable logic controllers (PLCs) already available, thus taking advantage of Machine Learning techniques without investing additional resources in purchasing or installing new sensors. …"
Dapatkan teks lengkap

استخدام التوسعة التشابهية للمتحكم المنطقي PLC لتصميم متحكم PID يتحكم بتدفق الهواء oleh أيمن نبهان

"…This paper shows using one of the most accurate, stable and fast to response advanced (PROPORTIONAL INTEGRAL DIFFERENTIAL CONTROL SYSTEM) through using programmable logical controller and programmed it to be (PID) controller, and the use of PLC devices in control systems make them high quality and high reliability systems. …"
Dapatkan teks lengkap

Designing smart greenhouses, satisfactory price-quality oleh B. A. Belgibaev, V. V. Nikulin, A. A. Umarov

"…Improving thequality of service of greenhouses, controlling and monitoring microclimate processes is possiblethrough the use of programmable logic controllers, modern smart, wireless and web technologiesWSN and IoT.The article is devoted to the design of the Home Smart Greenhouse system, the control device ofwhich is implemented on the basis of NLC. …"
Dapatkan teks lengkap

تصميم نظام تحكم ألي لمحطة تبريد باستخدام المتحكمات الضبابية. oleh بلال شيحا, أحمد رضا

"… This paper deals with design of an expert system to control cooling unit operations based on Programmable Logic Controllers (PLC) and fuzzy logic controllers (FLC). …"
Dapatkan teks lengkap

Operational experience with Adaptive Gain Integrating Pixel Detectors at European XFEL oleh Jolanta Sztuk-Dambietz, Vratko Rovensky, Alexander Klujev, Torsten Laurus, Ulrich Trunk, Karim Ahmed, Olivier Meyer, Johannes Möller, Andrea Parenti, Natascha Raab, Roman Shayduk, Marcin Sikorski, Gabriele Ansaldi, Ulrike Bösenberg, Lopez M. Luis, Astrid Muenich, Thomas R. Preston, Philipp Schmidt, Stephan Stern, Richard Bean, Anders Madsen, Luca Gelisio, Steffen Hauf, Patrick Gessler, Krzysztof Wrona, Heinz Graafsma, Heinz Graafsma, Monica Turcato

"…Specific high-level procedures allow facilitated detector control, and dedicated interlock systems based on Programmable Logic Controllers ensure detector safety in case of power, vacuum, or cooling failure. …"
Dapatkan teks lengkap

تصميم ونمذجة نظام تحكم ومراقبة عمل وحدة الضواغط في معمل السماد الآزوتي oleh يعرب بدر, رياض مسعود

"…It is controlled by a special software program for each unit, In this research, programmable logical controllers were used (PLC),Building and monitoring data acquisition system   (SCADA).This control system has the characteristics of controlling the air compressors, the compressors, the working of this unit, and taking the unit parameters through the appropriate sensors for the unit and the control and control system. …"
Dapatkan teks lengkap

Implementación del Control en Planta de un Centro de Distribución Automatizado mediante Agentes Físicos y RFID oleh Javier de las Morenas, Andrés García, Fernando Martínez, Pablo García Ansola

"…Finally, models have been implemented over programmable logic controllers. Palabras clave: PLCs, Agentes Físicos, Control en planta, RFID, Redes de Petri., Keywords: PLCs, Multi-Agent System, Shop Floor Control, RFID, Petri nets.…"
Dapatkan teks lengkap