The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Current automation systems need to be able to cope with the continuously changing requirements of the applications in terms of complexity, extensibility and dynamism. To match these challenging requirements, modern automation systems need to incorporate new software engineering techniques. These techniques must provide to the automation systems additional abilities such as diagnosis and reconfiguration...
The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components that ensure that the global level requirements are satisfied. We address this issue using an approach based on the notion of contract. In particular, we propose a graphical and text-based language for requirement definition...
In this paper an ontology driven approach to the design of control systems, in particular, control applications of IEC 61499 standard is proposed. The source ontology is an ontological description of control object (plant) while the target ontology is an ontological description of a control system implemented using an appropriate programming language. For the ontologies transformation an extension...
This paper proposes a method for real time diagnosis against product quality drifts in an automated manufacturing system. We use Logical Diagnosis model to reduce the search space of suspected equipment in the production flow, which is then formulated as a Bayesian network to compute risk priority for each equipment, using joint and conditional probabilities. The objective is to quickly and accurately...
This work presents the application of Lagrange interpolation method for a signal reconstruction in event-based Generalized Predictive Control (GPC). The event-based control system is governed by level crossing sampling techniques, which monitors the controlled variable. The Lagrange interpolation method is used to reconstruct signal values between two consecutive events. The interpolated signal values...
In this study, a nonlinear system is controlled using a linear adaptive method. A nonlinear system is approximated a linear model at each operating point, and a control law is designed based on the approximated linear model. To obtain a suitable linear model at each operating point, many linear models are simultaneously identified. However, the computation load for identifying many models is considerably...
Application whitelisting is a method for establishing security by restricting systems to only execute applications that are on a given list — the white list. One of the main questions when using such technology within industrial control systems is whether anti-virus software becomes obsolete, and whether security patches of the underlying system are still required. To answer these questions, we have...
Camber and off-center in hot strip rolling process cause various problems including clogging, defects on the strip, and telescope phenomenon in a coil. To reduce camber and prevent off-center, we propose the integrated camber and steering control system based on adjusting roll gap level by previously designed mathematical model. By considering difficulties in the measurement and knowhow in the operation...
This paper presents a new design methodology of multivariable Smith predictor for stable 2×2 time delay processes based on the centralized inverted decoupling structure. The controller elements are calculated in order to achieve good reference tracking and decoupling response, and the obtained general expressions result very simple. The realizability conditions are stated and the particular case of...
The integration of package units in a SCADA or DCS involves considerable manual effort. Various aspects of automation such as faceplates, states of sequences or interlocks have to be reproduced for the visualization and management of the package unit in the master control system. The integration effort can be reduced using existing technologies, which could also be extended to a modular plug-and-produce...
We present a novel approach for design of manufacturing automation systems with formal verification of selected properties based on the use of Globally Asynchronous Locally Synchronous programming language SystemJ and industrial-proof verification tools. By being able to prove properties of the automation control logic that consists of multiple concurrent controllers, represented by FSMs that correspond...
Field devices are offering more and more functionality to automation systems. This leads to increasing complexity of such devices, to more engineering efforts, and requires more integration tests. Rapid Prototyping is an accepted approach for reducing engineering efforts. Referring to the existing software field device “Generic Device” the paper presents a semi-automatic approach for field device...
Building Automation and Control Systems (BACs) are used to manage the day-to-day functions, operation and maintenance of a huge diversity of equipment within facilities of varying size and function. These systems are developed by a large number of hardware and software manufacturers who produce proprietary products designed to solve specific problems. As a result a number of different BACS can be...
The complexity of modern industrial automation systems means that designing with change in mind is a necessity. Event-driven and time-driven programming paradigms each have their own benefits for the development of distributed systems control. However, flexibility and reconfiguration will always be required as new technologies are introduced and increased distribution results in greater chances for...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.