76 citations · 213 across the 52 of their papers we have counts for
7 papers · 1 filter
Monotonicity and Contraction on Polyhedral Cones
Saber Jafarpour, Samuel Coogan
In this note, we study monotone dynamical systems with respect to polyhedral cones. Using the half-space representation and the vertex representation, we propose three equivalent c…
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach
Saber Jafarpour, Alexander Davydov, Matthew Abate +2
This paper proposes a theoretical and computational framework for training and robustness verification of implicit neural networks based upon non-Euclidean contraction theory. The…
Safe Schedule Verification for Urban Air Mobility Networks with Node Closures
Qinshuang Wei, Gustav Nilsson, Samuel Coogan
In Urban Air Mobility (UAM) networks, takeoff and landing sites, called vertiports, are likely to experience intermittent closures due to, e.g., adverse weather. To ensure safety,…
Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution
Michael Enqi Cao, Jonas Warnke, Yunhai Han +3
In this paper, we introduce a high-level controller synthesis framework that enables teams of heterogeneous agents to assist each other in resolving environmental conflicts that ap…
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks
Alexander Davydov, Saber Jafarpour, Matthew Abate +2
We use interval reachability analysis to obtain robustness guarantees for implicit neural networks (INNs). INNs are a class of implicit learning models that use implicit equations…
Resilience of Input Metering in Dynamic Flow Networks
Saber Jafarpour, Samuel Coogan
In this paper, we study robustness of input metering policies in dynamic flow networks in the presence of transient disturbances and attacks. We consider a compartmental model for…
Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction
Jesse Jiang, Ye Zhao, Samuel Coogan
We study the problem of refining satisfiability bounds for partially-known stochastic systems against planning specifications defined using syntactically co-safe Linear Temporal Lo…