Samuel Coogan

activity

20212023

most citedRobust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach

1 citations · 1 across the 4 of their papers we have counts for

collaborators

Showing eess.SYShow all

3 papers · 1 filter

eess.SY2024

$immrax$ : A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan

We present an implementation of interval analysis and mixed monotone interval reachability analysis as function transforms in Python, fully composable with the computational framew…

eess.SY2023

A Contracting Dynamical System Perspective toward Interval Markov Decision Processes

Saber Jafarpour, Samuel Coogan

Interval Markov decision processes are a class of Markov models where the transition probabilities between the states belong to intervals. In this paper, we study the problem of ef…

eess.SY2022

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,…

immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX

A Contracting Dynamical System Perspective toward Interval Markov Decision Processes

Safe Schedule Verification for Urban Air Mobility Networks with Node Closures

$immrax$ : A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX