Safe & robust reachability analysis of hybrid systems

Moggi, Eugenio and Farjudian, Amin and Duracz, Adam and Taha, Walid (2018) Safe & robust reachability analysis of hybrid systems. Theoretical Computer Science, 747 . pp. 75-99. ISSN 03043975

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (538kB) | Preview

Abstract

Hybrid systems—more precisely, their mathematical models—can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we observe that, in this context, the usual definition of reachability—namely, the reflexive and transitive closure of a transition relation—can be unsafe, i.e., it may compute a proper subset of the set of states reachable in finite time from a set of initial states. Therefore, we propose safe reachability, which always computes a superset of the set of reachable states.

Second, in safety analysis of hybrid and continuous systems, it is important to ensure that a reachability analysis is also robust w.r.t. small perturbations to the set of initial states and to the system itself, since discrepancies between a system and its mathematical models are unavoidable. We show that, under certain conditions, the best Scott continuous approximation of an analysis A is also its best robust approximation. Finally, we exemplify the gap between the set of reachable states and the supersets computed by safe reachability and its best robust approximation.

Item Type: Article
Keywords: Hybrid systems; Reachability; Robustness; Domain theory
Schools/Departments: University of Nottingham Ningbo China > Faculty of Science and Engineering > School of Mathematical Sciences
Identification Number: https://doi.org/10.1016/j.tcs.2018.06.020
Related URLs:
URLURL Type
UNSPECIFIEDPublisher
Depositing User: Yu, Tiffany
Date Deposited: 04 Mar 2019 09:51
Last Modified: 04 Mar 2019 09:51
URI: http://eprints.nottingham.ac.uk/id/eprint/56209

Actions (Archive Staff Only)

Edit View Edit View