17 citations · 26 across the 10 of their papers we have counts for
22 papers · 1 filter
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
In this paper, we propose a computationally efficient framework for interval reachability of systems with neural network controllers. Our approach leverages inclusion functions for…
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
In this paper, we present a toolbox for interval analysis in numpy, with an application to formal verification of neural network controlled systems. Using the notion of natural inc…
GreenEVT: Greensboro Electric Vehicle Testbed
Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan +1
The ongoing electrification of the transportation fleet will increase the load on the electric power grid. Since both the transportation network and the power grid already experien…
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
In this paper, we present a contraction-guided adaptive partitioning algorithm for improving interval-valued robust reachable set estimates in a nonlinear feedback loop with a neur…
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…
On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control
Michael Enqi Cao, Gustav Nilsson, Samuel Coogan
Capacity drop is an empirically observed phenomenon in vehicular traffic flow on freeways whereby, after a critical density is reached, a state of congestion sets in, but the freew…