This paper demonstrates how PLC-code for process observation can be automatically generated from a discrete event process model expressed as either PLC-code or as extended finite automata (EFA). The generated code wil...
详细信息
In this paper, we proposed a methodology to model, verify, and generate IEC standard PLC code using Timed- MPSG (an extended version of finite state automata). It can reduce PLC development time and the errors that ge...
详细信息
ISBN:
(纸本)9781622763580
In this paper, we proposed a methodology to model, verify, and generate IEC standard PLC code using Timed- MPSG (an extended version of finite state automata). It can reduce PLC development time and the errors that generally occur when PLC programs are manually programmed. For this purpose, we used Timed-MPSG to model the formal specification of the targeted shop floor controller system, after that, the graphical representation of Timed-MPSG is converted to the textual format automatically. Thereafter, the textural structure of Timed-MPSG translated into input code for model checker (SMV) - for the purpose of formal verification. Although, the simulation can be used to verify the written code, however, the use of formal methods for verification is more desirable to validate the state model for hidden errors. After verifying the model against specified properties, written in temporal logic, finally, generation of programmablelogic controller code by using one-to-one mapping technique. The similarity in the hierarchical and modular architecture of Timed-MPSG, SMV and IEC standard PLC program, made it convenient to transform from one form to another as described in our proposed method. Furthermore, an illustration of methodology to PLC design and development is explained with a suitable example.
Today manufacturing is highly decentralized from the company headquarters to local Production sites, taking advantages from local resources such as labor costs, raw materials, infrastructures, etc. Additionally it is ...
详细信息
This paper proposes a novel monitoring and control system for achieving real-time monitoring and control of a hybrid wind-PV-battery renewable energy system. The proposed system constitutes a supervisory control and d...
详细信息
ISBN:
(纸本)9860130868
This paper proposes a novel monitoring and control system for achieving real-time monitoring and control of a hybrid wind-PV-battery renewable energy system. The proposed system constitutes a supervisory control and data acquisition (SCADA) system that employs campus network of National Cheng Kung University integrated with a programmablelogic controller (PLC) and digital power meters. The proposed system is capable of performing real-time measurement of electrical data that can be effectively transferred to a remote monitoring center using intranet. The studied simulated wind-PV-battery system consists of two wind induction generators (IGs), an AC-to-DC converter, a DC-to-AC inverter, a PV module, and a battery unit. A novel fuzzy controller of the PLC is also designed to switch excitation capacitors of the IGs to control the performance of output voltage and power factor of the IGs. It can be concluded from the simulated and experimental results that the proposed monitoring and control system can achieve real-time supervisory control and data acquisition of remote various forms of renewable energy system.
The paper presents a modern solution for controlling the industrial machines and the manufacturing process in a fodder producing factory. The automation system was chosen such as to allow correct control of whole plan...
详细信息
ROADM and WSS are key network elements in intelligent network. PLC plays an essential role in providing either integrated or hybrid solutions. We will examine the trade-offs and challenges between monolithically integ...
详细信息
In the paper a model-based automated approach to procedural process control software is presented. A domain-specific modelling language specialised for analysis and design of procedural process control software is des...
详细信息
In this work we investigate the implementation of a general parallel architecture using platform FPGA. With the implementation of communicating multiple soft processors mapped over a hypercube topology, our objective ...
详细信息
The programmablelogic Controller (PLC) is used widely in industries to control processes and manufacturing systems. There are several analytical approaches for developing PLC programs which are state diagrams, Petri ...
详细信息
The programmablelogic Controller (PLC) is used widely in industries to control processes and manufacturing systems. There are several analytical approaches for developing PLC programs which are state diagrams, Petri Network and diagrams, truth tables, and Boolean algebra. All of these approaches are useful in developing a sequence of controlling PLC programs in complex systems, but none of these lead to a full automated way of developing a program. In the traditional way of teaching PLC programming such as the state diagram, a diagram is first constructed showing all the possible paths the process can take. Then the Boolean conditions necessary for each path are added. The diagram is then converted to a PLC program and tested. Changes are made to the Boolean conditions and then the new program is tested again. This process of trial and error is continued until a bug free program is developed. This trial and error step does not lead to an automated program development technique. This paper proposes a new approach to controller design and sequence control programming to be used by teachers and industrial trainers. This new method would be a useful tool for teaching beginners a faster way of developing a PLC program. This new approach combines some of the key concepts from various techniques to deliver a novel but effective automated method. This new technique translates in two easy steps truth tables into Ladder logic Diagram, which is the most common graphical language for PLC programming. An example of a typical hydraulic station was used to demonstrate the analytical method. This example shows that this new analytical and systematic approach can be used to develop the sequence control program of complex systems. This new teaching technique has been applied to engineering technology students. A research study was conducted to verify the usefulness of this method. The study separated engineering technology students in two groups. One group was taught PLC programming
We developed a 32ch reconfigurable optical add multiplexer that incorporates inline tap-monitors fully integrated on a silica PLC chip by using a surface-mounting technique for the monitor PD. This paper outlines the ...
详细信息
暂无评论