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.
This paper presents a new methodology for the implementation of discrete event-based control systems. An algorithm is proposed to transform an automata-based supervisor obtained from the supervisory control theory (SCT) in a Mealy finite state machine. This machine may be simplified in order to have a reduced number of state transitions. The machine simplification represents a formal method for a...
This paper deals with the implementation of supervisory control of discrete event systems into Programmable Logic Controllers (PLCs). It discusses the problems that arise in this type of implementation and presents an implementation methodology that solves these problems. The local modular approach is used to synthesize the supervisors and a case study problem is presented as an example.
This paper presents an application of the supervisory control theory in the development of control logics for refrigerators. A structure containing a Peltier Mini-Refrigerator controlled by an electronic circuit was developed, aiming to create and validate different control strategies that will be implemented in household and commercial refrigerators. The local modular control approach is applied...
This paper presents a modular approach to the supervisory control of hybrid systems that always leads to optimal solutions. The class of hybrid systems considered is such that threshold-crossing events in the continuous state space force discrete state transitions; and the continuous dynamics are determined by a discrete condition, which depends on the current discrete state of the system. The problem...
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.