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 numeric performance comparison of synthesis tools for supervisory controllers. First, a BDD implementation of supervisory synthesis operations is presented. This implementation is based on a predicate representation of SCT previously proved to be successful on establishing a symbolic calculation framework. The implementation is compared with UKDES and Supremica, two tools for...
In this paper we present a generalized model-checking-based approach for the synthesis of automata-based supervisors for discrete-event systems (DES). Expressiveness of μ-calculus is exploited to construct fixpoint operators for supervisory synthesis. A novel Kripke structure is proposed that simplifies the synthesis of supervisors as a model checking problem within the same approach. An efficient...
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.