13 citations · 13 across the 5 of their papers we have counts for
5 papers
Recursive Solution of Initial Value Problems with Temporal Discretization
Abbas Edalat, Amin Farjudian, Yiran Li
We construct a continuous domain for temporal discretization of differential equations. By using this domain, and the domain of Lipschitz maps, we formulate a generalization of the…
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…
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
Can Zhou, Razin A. Shaikh, Yiran Li +1
A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the…
Uniqueness and Stability of Optimizers for a Membrane Problem
Behrouz Emamizadeh, Amin Farjudian, Yichen Liu +1
We investigate a PDE-constrained optimization problem, with an intuitive interpretation in terms of the design of robust membranes made out of an arbitrary number of different mate…
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…