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.
The problem of using input and output sequences to determine the current state of logical dynamical systems has applications in many fields such as systems biology, sequential logic circuits, finite-strategic dynamical noncooperative games, and etc., and has been widely investigated during the recent years. There is an algorithm for verifying whether all sufficiently long input sequences determine...
In many practical applications, we need to compute a nonblocking supervisor that not only complies with pre-specified safety requirements but also achieves a certain time optimal performance such as maximum throughput. Previous time optimal synthesis methods have had the significant drawback of only being able to deal with acyclic behavior. In this paper we propose a time optimal synthesis method...
This paper addresses the output regulation of the heterogeneous multi agent system. First, it is shown that the output regulation can be achieved through the local controller design, then the output regulation is formulated in the graphical game framework. To solve the output regulation of a heterogeneous multi agent system in the graphical game framework, one needs to derive the solution to the coupled...
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.