76 citations · 213 across the 52 of their papers we have counts for
7 papers · 1 filter
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Saber Jafarpour, Matthew Abate, Alexander Davydov +2
Implicit neural networks are a general class of learning models that replace the layers in traditional feedforward models with implicit algebraic equations. Compared to traditional…
Sensitivity to User Mischaracterizations in Electric Vehicle Charging
Cesar Santoyo, Gustav Nilsson, Samuel Coogan
In this paper, we consider electric vehicle charging facilities that offer various levels of service for varying prices such that rational users choose a level of service that mini…
The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks
Gustav Nilsson, Samuel Coogan
Dynamical flow networks serve as macroscopic models for, e.g., transportation networks, queuing networks, and distribution networks. While the flow dynamics in such networks follow…
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
Kerianne Hobbs, Mark Mote, Matthew Abate +2
Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a…
Capacity-Constrained Urban Air Mobility Scheduling
Qinshuang Wei, Gustav Nilsson, Samuel Coogan
This paper studies the problem of scheduling urban air mobility trips when travel times are uncertain and capacity at destinations is limited. Urban air mobility, in which air tran…
Model Free Barrier Functions via Implicit Evading Maneuvers
Eric Squires, Rohit Konda, Samuel Coogan +1
This paper demonstrates that the safety override arising from the use of a barrier function can in some cases be needlessly restrictive. In particular, we examine the case of fixed…
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…