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.
In this paper, we propose to find upper/lower bounds for different measures that characterize the reachability problem defined in the context of stochastic hybrid systems, using the theory of large deviations. For stochastic hybrid processes, criteria for large deviation results are given using properties of their infinitesimal generators. This represents just the first step towards applying large...
For stochastic hybrid systems, safety verification methods are very little supported mainly because of complexity and difficulty of the associated mathematical problems. The key of the methods that succeeded in solving various instances of this problem is to prove the equivalence of these instances with known problems. In this paper, we apply the same pattern to the most general model of stochastic...
In this paper, we investigate the state preparation problem of quantum noiselsss subsystems for the quantum Markovian systems via quantum feedback control. The controlled dynamics we consider are given by the so-called stochastic master equation including the coupling terms with the environment. We formulate the problem as a stochastic stabilization problem of an invariant set. This formulation allows...
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.