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.
Recently companies focus on traceability in the factory to control the risk to the products. It is an important task to collect many IDs marked on the items and sections to realize traceability; much equipment for IDs collection is required in the factory. This paper discusses the application to traceability of the information-connection unit of the programmable logic controller (PLC). This unit has...
The use of model-based code-generators for construction of controller software increases the reliability of the software in two ways: first, the models often can be checked for safety conditions. Second the use of code-generators prevents manual implementation faults. However, the reliability depends on the correctness of these code-generators, i.e., whether they really generate code that correctly...
The MatPLC is an international project to develop a program similar to a PLC (programmable logic controller) for POSIX operating systems. It is an open source application consisting of a core, generic modules, and tools for creating custom modules. Since many control and monitoring systems are distributed in nature, they require that the application be running on an embedded system capable of withstanding...
The acceptance of formal methods in industry is a challenging task mainly due to difficult learning process and the lack of the tools and methods helping control engineer to interpret the results of formal verification procedure. We model existing source code of the controller and controller related information (controller model) along with controlled object (plant model) and verify modeled system...
In tunnel-type industrial furnaces there are various subsystems concerning either the temperature regulation or the air flow and pressure. These subsystems are usually controlled by conventional techniques and controllers offering simply an acceptable operation of the whole system. This paper presents design and implementation of a fuzzy control scheme for supervising coordination of the individual...
Many attempts have been made to implement supervisors derived by synthesis procedures peculiar to the supervisory control theory (SCT), most adopting the event-based supervisory control paradigm. However, when considering code generation schemata for programmable logic controllers (PLCs), hardware resources are limited and event tracking is hard to realize satisfactorily. Moreover, previous work has...
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.