The increasing demand for flexibility and reconfigurability of assembly lines generates new
challenges for the control of these lines and their subsystems, such as robots, grippers …

The correct configuration of the control code is a critical part of every process control system
engineering project. To ensure the conformity of the implemented control functions with the …

Factories of the future must be capable to adapt themselves to continuously changing
market demand. Therefore new manufacturing technologies are needed: from agile …

This paper introduces an approach to automatic verification of mechatronic systems
designed as plug-and-play of Intelligent Mechatronic Components (IMC). The control logic of …

This paper proposes a framework for formal verification of industrial automation software in
an intuitive way. The IEC 61499 function block architecture is assumed to be the input …

The world is facing the challenge of global warming and environment protection. On the
other hand, the demand of electricity is growing fast due to economic growth and increase in …

This paper proposes a step-by-step approach for developing modular and reusable logic
controllers of mechatronic systems. Following that, it presents the results of employing three …

Software is exponentially growing in modern automatic machines. Consequently, the
operations of writing, debug and maintenance are increasing the time necessary to be …

Traditional control application engineering techniques tend to mix logical functionality with
hardware access methods. This greatly impedes reusability. Through separation of the …

Presents an application of object-oriented methodology to the development of
programmable logic controller (PLC) programs. The PLC is widely used as a computer …