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.
Despite the significant research on automation systems verification, further work is needed on methods for the industrial scale verification of automated processes that are able to cover control software errors, sensor and actuator errors as well as design errors in the process to be controlled. In this paper, such an approach is based building on previous work on runtime verification using plant...
Industrial applications with reliable predictive features are becoming increasingly important. A tracking simulator is an example of an online simulation system with great capabilities that fills the gap left by other predictive applications. In a tracking simulator, a simulation model is run in parallel with a physical process controlled by the process' control system. At the same time, a tracking...
A tracking simulator is a simulation system that runs in parallel with the real process. They integrate model and process using a persistent and direct communication between the physical system and the simulation. In a tracking simulator, the simulation system receives data measured from the process instrumentation in order to adjust the model parameters so that the simulated state matches the real...
A smart electric grid incorporating local generation and storage is an area of active research in the industrial automation community. Very little attention has been given to similar possibilities in hot water grids that are used extensively for district heating in several countries, especially in Central and Northern Europe. In this paper, possibilities for heat trade in such a grid are investigated...
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.