2 papers
cs.LO2022
Robustness, Scott Continuity, and Computability
Amin Farjudian, Eugenio Moggi
Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robu…
cs.LO2017
Safe & Robust Reachability Analysis of Hybrid Systems
Eugenio Moggi, Amin Farjudian, Adam Duracz +1
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…