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.
A three-level relaxed coordination control framework of modular discrete-event systems is investigated. Unlike our previous work, we focus on the maximal permissiveness issue studied also in [17], i.e., we propose sufficient conditions for the three-level coordination control synthesis to equal to the global control synthesis. It is shown how the three-level framework helps to weaken the well-known...
Coordination control for multi-level discrete-event systems is generalized to supervisory control with partial observations. The multi-level system architecture is in this paper restricted to three levels, which include two levels of coordination on the two highest levels. At Level 1 a coordinator coordinates several coordinators of Level 2 and at Level 2 each coordinator coordinates a set of subsystems...
A multilevel coordination approach is proposed to lower the complexity of control synthesis of large-scale discrete-event systems. The bottom-up control synthesis method requires only conditional decomposability and conditional controllability of the system and of the specification unlike the top-down approach that requires the specification to be conditionally decomposable and conditionally controllable...
In this paper, hierarchical control of both monolithic and modular discrete-event systems under partial observations is studied. Two new conditions, called observation consistency and local observation consistency, are proposed. These conditions are sufficient for the preservation of observability between the original and the abstracted plant. Moreover, it is shown that both conditions are compositional,...
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.