Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10225750 | Theoretical Computer Science | 2018 | 25 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha,