Samuel Coogan

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 147

Top Venues

CoRR

CDC

ACC

IEEE Control. Syst. Lett.

Publications

Akash Harapanahalli, Samuel Coogan
Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals. CoRR (2024)
Gustav Nilsson, Samuel Coogan
The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. IEEE Trans. Autom. Control. 69 (2) (2024)
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. CoRR (2024)
Soobum Kim, Ruoyu Lin, Samuel Coogan, Magnus Egerstedt
Area Coverage Using Multiple Aerial Robots With Coverage Redundancy and Collision Avoidance. IEEE Control. Syst. Lett. 8 (2024)
Qinshuang Wei, Gustav Nilsson, Samuel Coogan
Safe Schedule Verification for Urban Air Mobility Networks With Node Closures. IEEE Trans. Control. Netw. Syst. 11 (2) (2024)
Jiming Ren, Haris Miller, Karen M. Feigh, Samuel Coogan, Ye Zhao
LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications. CoRR (2024)
Matthew Abate, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips, Kendra Lang, Panagiotis Tsiotras, Eric Feron, Samuel Coogan
Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. IEEE Trans. Control. Syst. Technol. 32 (3) (2024)
Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn
GreenEVT: Greensboro Electric Vehicle Testbed. IEEE Syst. J. 18 (1) (2024)
Christian Llanes, Zahi Kakish, Kyle Williams, Samuel Coogan
CrazySim: A Software-in-the-Loop Simulator for the Crazyflie Nano Quadrotor. ICRA (2024)
Carmen Jimenez Cortes, Grant Clark, Samuel Coogan, Makhin Thitsa
The Mandalay Derivative for Nonsmooth Systems: Applications to Nonsmooth Control Barrier Functions. IEEE Control. Syst. Lett. 8 (2024)
Tony X. Lin, Samuel Coogan, Donald A. Sofge, Fumin Zhang
A Particle Fusion Approach for Distributed Filtering and Smoothing. Unmanned Syst. 12 (2) (2024)
Kasidit Muenprasitivej, Jesse Jiang, Abdulaziz Shamsah, Samuel Coogan, Ye Zhao
Bipedal Safe Navigation over Uncertain Rough Terrain: Unifying Terrain Mapping and Locomotion Stability. CoRR (2024)
Jesse Jiang, Samuel Coogan, Ye Zhao
A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning. CoRR (2024)
Michael Enqi Cao, Samuel Coogan
Safe Learning-based Predictive Control from Efficient Reachability. ACC (2023)
Cesar Santoyo, Gustav Nilsson, Samuel Coogan
Resource aware pricing for electric vehicle charging. Autom. 148 (2023)
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. CoRR (2023)
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
Forward Invariance in Neural Network Controlled Systems. CoRR (2023)
Luke Baird, Akash Harapanahalli, Samuel Coogan
Interval Signal Temporal Logic from Natural Inclusion Functions. CoRR (2023)
Cesar Santoyo, Gustav Nilsson, Samuel Coogan
Sensitivity to user mischaracterizations in electric vehicle charging. Syst. Control. Lett. 171 (2023)
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
Forward Invariance in Neural Network Controlled Systems. IEEE Control. Syst. Lett. 7 (2023)
Luke Baird, Akash Harapanahalli, Samuel Coogan
Interval Signal Temporal Logic From Natural Inclusion Functions. IEEE Control. Syst. Lett. 7 (2023)
Saber Jafarpour, Samuel Coogan
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CDC (2023)
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. L4DC (2023)
Saber Jafarpour, Samuel Coogan
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CoRR (2023)
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. CoRR (2023)
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems. CoRR (2023)
Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn
GreenEVT: Greensboro Electric Vehicle Testbed. CoRR (2023)
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CoRR (2023)
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CDC (2023)
Luke Baird, Samuel Coogan
Runtime Assurance from Signal Temporal Logic Safety Specifications. ACC (2023)
Tony X. Lin, Samuel Coogan, Daniel M. Lofaro, Donald A. Sofge, Fumin Zhang
Monocular Vision-Based Localization and Pose Estimation with a Nudged Particle Filter and Ellipsoidal Confidence Tubes. Unmanned Syst. 11 (1) (2023)
Matthew Abate, Samuel Coogan
Robustly Forward Invariant Sets for Mixed-Monotone Systems. IEEE Trans. Autom. Control. 67 (9) (2022)
Gustav Nilsson, Samuel Coogan
A Compartmental Dynamical Network Flow Model for Evacuation Planning of Cities. CCTA (2022)
Michael Enqi Cao, Jonas Warnke, Yunhai Han, Xinpei Ni, Ye Zhao, Samuel Coogan
Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution. CoRR (2022)
Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. L4DC (2022)
Esther Ling, Liyuan Zheng, Lillian J. Ratliff, Samuel Coogan
Koopman Operator Applications in Signalized Traffic Systems. IEEE Trans. Intell. Transp. Syst. 23 (4) (2022)
Saber Jafarpour, Samuel Coogan
Resilience of Input Metering in Dynamic Flow Networks. ACC (2022)
Jesse Jiang, Ye Zhao, Samuel Coogan
Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. CoRR (2022)
Saber Jafarpour, Samuel Coogan
Monotonicity and Contraction on Polyhedral Cones. CoRR (2022)
Michael Enqi Cao, Xinpei Ni, Jonas Warnke, Yunhai Han, Samuel Coogan, Ye Zhao
Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution. SSRR (2022)
Qinshuang Wei, Gustav Nilsson, Samuel Coogan
Safe Schedule Verification for Urban Air Mobility Networks with Node Closures. CoRR (2022)
Cesar Santoyo, Samuel Coogan
Probabilistic Revenue Analysis for Electric Vehicle Charging. CCTA (2022)
Matthew Abate, Samuel Coogan
Decomposition Functions for Interconnected Mixed Monotone Systems. IEEE Control. Syst. Lett. 6 (2022)
Jesse Jiang, Ye Zhao, Samuel Coogan
Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. IEEE Control. Syst. Lett. 6 (2022)
Saber Jafarpour, Samuel Coogan
Resilience of Input Metering in Dynamic Flow Networks. CoRR (2022)
Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CoRR (2022)
Christian Llanes, Matthew Abate, Samuel Coogan
Safety from Fast, In-the-Loop Reachability with Application to UAVs. ICCPS (2022)
Saber Jafarpour, Alexander Davydov, Matthew Abate, Francesco Bullo, Samuel Coogan
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach. CoRR (2022)
Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CDC (2022)
Eric Squires, Rohit Konda, Pietro Pierpaoli, Samuel Coogan, Magnus Egerstedt
Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. ICRA (2021)
Mohit Srinivasan, Samuel Coogan
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. IEEE Trans. Robotics 37 (2) (2021)
Gustav Nilsson, Samuel Coogan
The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. CoRR (2021)
Christian Llanes, Matthew Abate, Samuel Coogan
Safety from in-the-loop reachability for cyber-physical systems. CAADCPS@CPSIoTWeek (2021)
Michael Enqi Cao, Gustav Nilsson, Samuel Coogan
On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control. CCTA (2021)
Michael Enqi Cao, Matthieu Bloch, Samuel Coogan
Estimating High Probability Reachable Sets using Gaussian Processes. CDC (2021)
Matthew Abate, Maxence Dutreix, Samuel Coogan
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. IEEE Control. Syst. Lett. 5 (1) (2021)
Maxence Dutreix, Samuel Coogan
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems. IEEE Trans. Autom. Control. 66 (7) (2021)
Cesar Santoyo, Gustav Nilsson, Samuel Coogan
Sensitivity to User Mischaracterizations in Electric Vehicle Charging. CoRR (2021)
Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. CoRR (2021)
Qinshuang Wei, Gustav Nilsson, Samuel Coogan
Scheduling of Urban Air Mobility Services with Limited Landing Capacity and Uncertain Travel Times. ACC (2021)
Cesar Santoyo, Samuel Coogan
Pricing Parameter Design for Electric Vehicle Charging. CCTA (2021)
Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR (2021)
Eric Squires, Rohit Konda, Samuel Coogan, Magnus Egerstedt
Model Free Barrier Functions via Implicit Evading Maneuvers. CoRR (2021)
Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan
Verification and runtime assurance for dynamical systems with uncertainty. HSCC (2021)
Michael Enqi Cao, Gustav Nilsson, Samuel Coogan
On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control. CoRR (2021)
Makhin Thitsa, Maison Clouatre, Erik I. Verriest, Samuel Coogan, Clyde F. Martin
A Numerically Stable Dynamic Mode Decomposition Algorithm for Nearly Defective Systems. IEEE Control. Syst. Lett. 5 (1) (2021)
Qinshuang Wei, Gustav Nilsson, Samuel Coogan
Capacity-Constrained Urban Air Mobility Scheduling. CoRR (2021)
Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. ACC (2021)
Pietro Pierpaoli, Anqi Li, Mohit Srinivasan, Xiaoyi Cai, Samuel Coogan, Magnus Egerstedt
A Sequential Composition Framework for Coordinating Multirobot Behaviors. IEEE Trans. Robotics 37 (3) (2021)
Cesar Santoyo, Gustav Nilsson, Samuel Coogan
Sensitivity of Electric Vehicle Charging Facility Occupancy to Users' Impatience. CDC (2021)
Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani
Routing for Traffic Networks With Mixed Autonomy. IEEE Trans. Autom. Control. 66 (6) (2021)
Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan
Extent-compatible control barrier functions. Syst. Control. Lett. 150 (2021)
Gustav Nilsson, Samuel Coogan
Strong Integral Input-to-State Stability in Dynamical Flow Networks. ACC (2021)
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
A barrier function approach to finite-time stochastic system verification and control. Autom. 125 (2021)
Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
A Numerical Method to Compute Stability Margins of Switching Linear Systems. ACC (2021)
Matthew Abate, Samuel Coogan
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. ACC (2021)
Rohit Konda, Aaron D. Ames, Samuel Coogan
Characterizing Safety: Minimal Control Barrier Functions From Scalar Comparison Systems. IEEE Control. Syst. Lett. 5 (2) (2021)
Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan
Mixed Autonomy in Ride-Sharing Networks. IEEE Trans. Control. Netw. Syst. 7 (4) (2020)
Matthew Abate, Samuel Coogan
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CDC (2020)
Samuel Coogan
Mixed Monotonicity for Reachability and Safety in Dynamical Systems. CDC (2020)
Mohit Srinivasan, Amogh Dabholkar, Samuel Coogan, Patricio A. Vela
Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. CoRR (2020)
Matthew Abate, Samuel Coogan
Enforcing Safety at Runtime for Systems with Disturbances. CoRR (2020)
Matthew Abate, Samuel Coogan
Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CoRR (2020)
Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
A Numerical Method to Compute Stability Margins of Switching Linear Systems. CoRR (2020)
Tony X. Lin, Samuel Coogan, Donald A. Sofge, Fumin Zhang
Set-Based State Estimation of Mobile Robots from Coarse Range Measurements. CCTA (2020)
Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan
Extent-Compatible Control Barrier Functions. CoRR (2020)
Christopher Banks, Sean Wilson, Samuel Coogan, Magnus Egerstedt
Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization. ICRA (2020)
Matthew Abate, Samuel Coogan
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. CoRR (2020)
Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan
Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. ACC (2020)
Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. CoRR (2020)
Maxence Dutreix, Jeongmin Huh, Samuel Coogan
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives. CoRR (2020)
Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. ACC (2020)
Mohit Srinivasan, Amogh Dabholkar, Samuel Coogan, Patricio A. Vela
Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. IROS (2020)
Eric Squires, Rohit Konda, Pietro Pierpaoli, Samuel Coogan, Magnus Egerstedt
Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. CoRR (2020)
Matthew Abate, Maxence Dutreix, Samuel Coogan
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances. CoRR (2020)
Mohit Srinivasan, Cesar Santoyo, Samuel Coogan
Continuous Reachability Task Transition Using Control Barrier Functions. CoRR (2020)
Cesar Santoyo, Gustav Nilsson, Samuel Coogan
Resource Aware Pricing for Electric Vehicle Charging. CoRR (2020)
Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan, Eric Feron
Bounding the State Covariance Matrix for Switched Linear Systems with Noise. ACC (2020)
Tony X. Lin, Said Al-Abri, Samuel Coogan, Fumin Zhang
A Distributed Scalar Field Mapping Strategy for Mobile Robots. IROS (2020)
Matthew Abate, Samuel Coogan
Enforcing Safety at Runtime for Systems with Disturbances. CDC (2020)

Samuel Coogan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Samuel Coogan