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.
System evolution, such as addition or replacement of a component, may necessitate complete re-design. Such redesign may be needed to respect new or updated requirements. The models then have to be modified. In this paper, we present a procedure for reconfiguration of a discrete event system (DES) controller. Based on supervisory control theory (SCT), the objective of this work is to show how the SCT...
A framework based on supervisory control theory (SCT) is proposed to assist the design of multi-modal control for discrete-event systems (DESs). Our purpose handled modes which are conceptualized by using multi-model approach. Each mode represents a running part of the system, depending on the requirements to enforce and resources to activate. The resulted framework aims to design each mode independently...
We investigate the implementation of supervisors generated by symbolic BDD-based Discrete Controller Synthesis (DCS). The implementation technique proposed is able to solve both control non-determinism and the structural incompatibility introduced by symbolic DCS. We highlight and illustrate interesting structural properties of the supervisor implementation. Our technique is illustrated on a reallife...
Mode management is one of the problems in discrete events systems control design. Even based on a simple specification, it is very difficult to prove that models of each mode and mutual interaction are correct. This paper demonstrates that supervisory control theory is an effective tool for detecting specification incompatibilities because it clearly separates process, models and specifications. We...
This paper presents an application of watchdog based fault detection methods to the supervisory control of an experimental manufacturing cell. Fault detection is implemented by carrying out slight modifications on the previously designed, modular supervisory control architecture, without using additional sensor devices. Different strategies for avoiding fault propagation are also presented.
This paper deals with operating mode management of discrete event systems (DES) and this contribution is based on supervisory control theory (SCT). Our aim is to extend SCT by introducing a mechanism for managing different operating modes for the controlled system. An operating mode corresponds to a specific system structure (engagement or disengagement of different system components) and specified...
This paper deals with operating mode management of discrete event systems (DES) and this contribution is based on supervisory control theory (SCT). Our aim is to extend SCT by introducing a mechanism for managing different operating modes for the controlled system. An operating mode corresponds to a specific system structure (engagement or disengagement of different system components) and specified...
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.