In this thesis, we propose a method to model, verify, and generate IEC standard PLC code using Timed-MPSG. The objective of this research work is to reduce the development time of programmable logic controller, by automating the task of PLC code generation. Furthermore, we propose to use formal verification technique to reduce the error rate. For this purpose, we applied the TimedMPSG (Message ...

Abstract A new generation of Automatic Guided Vehicles (AGV) virtualises their Programmable Logic Controller (PLC) in the cloud deploying 5G-based communication infrastructures to provide ultra-fast and reliable links between AGV its PLC. Stopping an can result a loss tens thousands euros per minute therefore, use machine learning techniques anticipate behavior seems be appropriate. This work p...

In this study the electric power generation from the Kayabogazi Dam has been investigated using Fuzzy logic algorithm to optimize the required power demand. In the implementation of the algorithm the real data recorded by the State Water Works (DSI) which is representing monthly average water flow to the Kayabogazi Dam has been used. An easy and operator friendly control algorithm has been deve...

In order to reduce the production cost of small-scale farms in China and improve work efficiency, an intelligent grading system for citrus was designed. The combines synchronous belt with fruit pallet realize rotation turnover function Citrus conveying process. control scheme is introduced detail. Programmable Logic Controller (PLC) used as core NVIDIA Jetson tx2 (TX2) visual core. Finally, a s...

This paper describes an emerging theory on the role that representations play in engineering problem solving. Modern cognitive psychology has shown that not only do problem solvers use different representations to store information and ideas, the representation itself influences the problem-solvers’ solution approach. I extend this notion to the engineering domain, and illustrate it with an exa...

Nowadays, there are various robotics courses and programs. The media in the is vital classroom because it set up order to enable students learn efficiently. Therefore, goals of this study were 1) To develop a teaching demonstration Programmable Logic Controller (PLC)-controlled 5-axis robotic arm, 2) determine efficiency arm controlled by PLC set, 3) explore learners' learning achievement using...

In this paper, we propose a framework to implement fault-tolerant and reconfigurable distributed control approach in programmable logic controller (PLC) for manufacturing systems (MS). The reconfiguration methodology adopted paper is based on supervisory theory (SCT), it triggered following sensor fault detection. lost information about these sensors replaced by timed allowing the MS continue i...

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the ...

The aim of this paper is to present the design and construction process of the power supply needed for a remote data acquisition system. It is based on twelve AC to DC switching converters in a serial connection and a logic programmable controller (PLC). The energy is transmitted to the acquisition system, which is located several kilometers away, by means of a cable. The supply system has been...