Whenever code for a Programmable Logic Unit (PLC) is generated using a model based approach there are multifarious possibilities for possible code generators. In order that the generated code is changeable and maintainable the code should have a low complexity. A high complexity complicates by hand changes that become necessary when the code generator is not available as well as it is a reason ...

We are interested in the remote use of automated systems by students within the framework of Discrete Event Systems teaching. One of the most important problems in this case, is to guarantee that the proposed PLC (Programmable Logic Controller) control is correct: in the other word, respecting the specifications given by the teacher. Hence, there is a validation problem of the control. To solve...

Embedded systems have the characteristics of reactive, real-time, distributed systems. For these kind of systems formal veri£cation is by nature complex, even more since the system interaction with its environment is often modeled, e.g., as hybrid systems. However, every embedded control system will certainly fail, if its software fails. In this work we present an approach to the formal veri£ca...

This paper describes a visual simulation tool for reliable off-line development, verification and debugging of the control code of the Programmable Logic Controller (PLC) in the sequence control system. First, we discuss the uniform modeling method of the dynamic behavior of various components in a factory ( actuators, sensors, operating panels, etc. ) as the object model and state transition m...

In this paper a graphical editor to design Programmable Logic Controller (PLC) programs using Signal Interpreted Petri Nets (SIPN) is presented. SIPN are an extension of condition event Petri nets that allow the handling of input and output signals. The presented tool, SIPN Editor, has been developed using DiaGen which is an environment for rapidly developing diagram editors from a formal speci...

a portable and light pneumatic branch shake system was designed and manufactured in this research for harvesting fruits that can be harvested by shaking branch. required air flow and electric current are provided for operating system from category containing electrical generator and air compressor on wheelbarrows and portable chassis. vibration is equipped by programmable logic controller (plc)...

Rice improvement breeding is one of the most important research fields in China. With the development of modern rice breeding technology, hundreds to thousands of new varieties are produced daily, creating the impetus for rapid plant phenotyping evaluation. However, traditional measurement is inefficiency, contact-interferential, and lack-objectivity. Thus a high-throughput and automatic extrac...

Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the specification and the implementation of PLC programs, the graphical and hierarchical language Sequential Function Charts (SFC) is increasingly used in industry. To investigate the correctness of SFC programs with respect...

A novel design a fuzzy proportional integral derivative (PID) controller is using Matlab and programmable logic controllers (PLCs) for a set point voltage control problem in the automatic voltage regulator (AVR) system. The controller objective is to maintain the terminal voltage all the time under any loads and operational conditions by attaining to the desired range via the regulation of the ...

The automation products have been applied in various industries, especially in the water disposing industry. This paper describes the design of the hardware and the software of the monitoring system of sewage treatment which is based on S7-300 PLC (Programmable Logic Controller) and the Profibus bus technology. The hardware of PLC includes the power supply, CPU (Central Processing Unit), analog...