Scaling the size of a multiagent formation via distributed feedback. - Samuel Coogan 001; Murat Arcak; Magnus Egerstedt (CDC/ECC, 2011)

Pricing in linear-quadratic dynamic games. - Lillian J. Ratliff; Samuel Coogan 001; Daniel J. Calderone; S. Shankar Sastry (Allerton Conference, 2012)

Formation control with size scaling using relative displacement feedback. - Samuel Coogan 001; Murat Arcak (ACC, 2012)

Guard synthesis for safety of hybrid systems using sum of squares programming. - Samuel Coogan 001; Murat Arcak (CDC, 2012)

Scaling the size of a formation using relative position feedback. - Samuel Coogan 001; Murat Arcak (Autom., 2012)

Energy management via pricing in LQ dynamic games. - Samuel Coogan 001; Lillian J. Ratliff; Daniel J. Calderone; Claire J. Tomlin; S. Shankar Sastry (ACC, 2013)

Verifying safety of interconnected passive systems using SOS programming. - Samuel Coogan 001; Murat Arcak (CDC, 2013)

A note on norm-based Lyapunov functions via contraction analysis. - Samuel Coogan 001; Murat Arcak (CoRR, 2013)

Dynamical properties of a compartmental model for traffic networks. - Samuel Coogan 001; Murat Arcak (ACC, 2014)

A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. - Dorsa Sadigh; Eric S. Kim; Samuel Coogan 001; S. Shankar Sastry; Sanjit A. Seshia (CDC, 2014)

Freeway traffic control from linear temporal logic specifications. - Samuel Coogan 001; Murat Arcak (ICCPS, 2014)

A computational approach to synthesizing guards for hybrid systems. - Samuel Coogan 001; Murat Arcak (Syst. Control. Lett., 2014)

Controlling a network of signalized intersections from temporal logical specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (ACC, 2015)

Offset optimization for a network of signalized intersections via semidefinite relaxation. - Samuel Coogan 001; Gabriel Gomes; Eric S. Kim; Murat Arcak; Pravin Varaiya (CDC, 2015)

Efficient finite abstraction of mixed monotone systems. - Samuel Coogan 001; Murat Arcak (HSCC, 2015)

On the Mixed Monotonicity of FIFO Traffic Flow Models. - Samuel Coogan 001; Murat Arcak; Alexander Kurzhanskiy (CoRR, 2015)

A Dissipativity Approach to Safety Verification for Interconnected Systems. - Samuel Coogan 001; Murat Arcak (IEEE Trans. Autom. Control., 2015)

A Compartmental Model for Traffic Networks and Its Dynamical Behavior. - Samuel Coogan 001; Murat Arcak (IEEE Trans. Autom. Control., 2015)

Synthesis and Verification of Networked Systems with Applications to Transportation Networks. - Samuel Coogan 001 (2015)

Finite state abstraction and formal methods for traffic flow networks. - Samuel Coogan 001; Murat Arcak; Calin Belta (ACC, 2016)

Separability of Lyapunov functions for contractive monotone systems. - Samuel Coogan 001 (CDC, 2016)

Mixed monotonicity of partial first-in-first-out traffic flow models. - Samuel Coogan 001; Murat Arcak; Alexander Kurzhanskiy (CDC, 2016)

Stability of traffic flow networks with a polytree topology. - Samuel Coogan 001; Murat Arcak (Autom., 2016)

Traffic Predictive Control from Low-Rank Structure. - Samuel Coogan 001; Christopher Flores; Pravin Varaiya (CoRR, 2016)

Traffic Network Control From Temporal Logic Specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (IEEE Trans. Control. Netw. Syst., 2016)

Quantile forecasts for traffic predictive control. - Maxence Dutreix; Samuel Coogan 001 (CDC, 2017)

Capacity modeling and routing for traffic networks with mixed autonomy. - Daniel A. Lazar; Samuel Coogan 001; Ramtin Pedarsani (CDC, 2017)

Approximating periodic trajectories of contractive systems. - Michael Margaliot; Samuel Coogan 001 (CDC, 2017)

Approximating the Frequency Response of Contractive Systems. - Michael Margaliot; Samuel Coogan 001 (CoRR, 2017)

Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks. - Samuel Coogan 001; Murat Arcak (CoRR, 2017)

The Price of Anarchy for Transportation Networks with Mixed Autonomy. - Daniel A. Lazar; Samuel Coogan 001; Ramtin Pedarsani (ACC, 2018)

Discount-Based Pricing and Capacity Planning for EV Charging Under Stochastic Demand. - Parthe Pandit; Samuel Coogan 001 (ACC, 2018)

Optimizing Offsets in Signalized Traffic Networks: A Case Study. - Zahra Amini; Samuel Coogan 001; Christopher Flores; Alexander Skabardonis; Pravin Varaiya (CCTA, 2018)

Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. - Asad Ullah Awan; Samuel Coogan 001; Majid Zamani 001 (CDC, 2018)

Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains. - Maxence Dutreix; Samuel Coogan 001 (CDC, 2018)

Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic. - Mohit Srinivasan; Samuel Coogan 001; Magnus Egerstedt (CDC, 2018)

Efficient verification for stochastic mixed monotone systems. - Maxence Dutreix; Samuel Coogan 001 (ICCPS, 2018)

Koopman Operator Approach for Instability Detection and Mitigation in Signalized Traffic. - Esther Ling; Lillian J. Ratliff; Samuel Coogan 001 (ITSC, 2018)

A Benchmark Problem in Transportation Networks. - Samuel Coogan 001; Murat Arcak (CoRR, 2018)

Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains. - Maxence Dutreix; Samuel Coogan 001 (CoRR, 2018)

On contraction analysis for hybrid systems. - Samuel A. Burden; Thomas Libby; Samuel D. Coogan (CoRR, 2018)

Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity. - Pierre-Jean Meyer; Samuel Coogan 001; Murat Arcak (IEEE Control. Syst. Lett., 2018)

Ride-Sharing Networks with Mixed Autonomy. - Qinshuang Wei; Jorge Alberto Rodriguez; Ramtin Pedarsani; Samuel Coogan 001 (ACC, 2019)

Provably-Safe Autonomous Navigation of Traffic Circles. - Rohit Konda; Eric Squires; Pietro Pierpaoli; Magnus Egerstedt; Samuel Coogan 001 (CCTA, 2019)

Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. - Cesar Santoyo; Maxence Dutreix; Samuel Coogan 001 (CCTA, 2019)

Monitor-Based Runtime Assurance for Temporal Logic Specifications. - Matthew Abate; Eric Feron; Samuel Coogan 001 (CDC, 2019)

Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy. - Daniel A. Lazar; Samuel Coogan 001; Ramtin Pedarsani (CDC, 2019)

Weighted Polar Finite Time Control Barrier Functions With Applications To Multi-Robot Systems. - Mohit Srinivasan; Nak-seung Patrick Hyun; Samuel Coogan 001 (CDC, 2019)

Control Barrier Functions: Theory and Applications. - Aaron D. Ames; Samuel Coogan 001; Magnus Egerstedt; Gennaro Notomista; Koushil Sreenath; Paulo Tabuada (ECC, 2019)

Specification-Based Maneuvering of Quadcopters Through Hoops. - Christopher Banks; Kyle Slovak; Samuel Coogan 001; Magnus Egerstedt (IROS, 2019)

A contractive approach to separable Lyapunov functions for monotone systems. - Samuel Coogan 001 (Autom., 2019)

Composition of Safety Constraints With Applications to Decentralized Fixed-Wing Collision Avoidance. - Eric Squires; Pietro Pierpaoli; Rohit Konda; Samuel Coogan 001; Magnus Egerstedt (CoRR, 2019)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. - Matthew Abate; Samuel Coogan 001; Eric Feron (CoRR, 2019)

A Sequential Composition Framework for Coordinating Multi-Robot Behaviors. - Pietro Pierpaoli; Anqi Li 001; Mohit Srinivasan; Xiaoyi Cai; Samuel Coogan 001; Magnus Egerstedt (CoRR, 2019)

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems. - Rohit Konda; Aaron D. Ames; Samuel Coogan 001 (CoRR, 2019)

Mixed Autonomy in Ride-Sharing Network. - Qinshuang Wei; Ramtin Pedarsani; Samuel Coogan 001 (CoRR, 2019)

Approximating the Steady-State Periodic Solutions of Contractive Systems. - Samuel Coogan 001; Michael Margaliot (IEEE Trans. Autom. Control., 2019)

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2020)

Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. - Maxence Dutreix; Cesar Santoyo; Matthew Abate; Samuel Coogan 001 (ACC, 2020)

Bounding the State Covariance Matrix for Switched Linear Systems with Noise. - Corbin Klett; Matthew Abate; Yongeun Yoon; Samuel Coogan 001; Eric Feron (ACC, 2020)

Set-Based State Estimation of Mobile Robots from Coarse Range Measurements. - Tony X. Lin; Samuel Coogan 001; Donald A. Sofge; Fumin Zhang 001 (CCTA, 2020)

Enforcing Safety at Runtime for Systems with Disturbances. - Matthew Abate; Samuel Coogan 001 (CDC, 2020)

Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. - Matthew Abate; Samuel Coogan 001 (CDC, 2020)

Mixed Monotonicity for Reachability and Safety in Dynamical Systems. - Samuel Coogan 001 (CDC, 2020)

Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization. - Christopher Banks; Sean Wilson; Samuel Coogan 001; Magnus Egerstedt (ICRA, 2020)

A Distributed Scalar Field Mapping Strategy for Mobile Robots. - Tony X. Lin; Said Al-Abri; Samuel Coogan 001; Fumin Zhang 001 (IROS, 2020)

Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. - Mohit Srinivasan; Amogh Dabholkar; Samuel Coogan 001; Patricio A. Vela (IROS, 2020)

Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives. - Maxence Dutreix; Jeongmin Huh; Samuel Coogan 001 (CoRR, 2020)

Continuous Reachability Task Transition Using Control Barrier Functions. - Mohit Srinivasan; Cesar Santoyo; Samuel Coogan 001 (CoRR, 2020)

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (CoRR, 2020)

Mixed Autonomy in Ride-Sharing Networks. - Qinshuang Wei; Ramtin Pedarsani; Samuel Coogan 001 (IEEE Trans. Control. Netw. Syst., 2020)

Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. - Matthew Abate; Samuel Coogan 001 (ACC, 2021)

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. - Matthew Abate; Corbin Klett; Samuel Coogan 001; Eric Feron (ACC, 2021)

A Numerical Method to Compute Stability Margins of Switching Linear Systems. - Corbin Klett; Matthew Abate; Samuel Coogan 001; Eric Feron (ACC, 2021)

Strong Integral Input-to-State Stability in Dynamical Flow Networks. - Gustav Nilsson; Samuel Coogan 001 (ACC, 2021)

Scheduling of Urban Air Mobility Services with Limited Landing Capacity and Uncertain Travel Times. - Qinshuang Wei; Gustav Nilsson; Samuel Coogan 001 (ACC, 2021)

On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control. - Michael Enqi Cao; Gustav Nilsson; Samuel Coogan 001 (CCTA, 2021)

Pricing Parameter Design for Electric Vehicle Charging. - Cesar Santoyo; Samuel Coogan 001 (CCTA, 2021)

Estimating High Probability Reachable Sets using Gaussian Processes. - Michael Enqi Cao; Matthieu R. Bloch; Samuel Coogan 001 (CDC, 2021)

Sensitivity of Electric Vehicle Charging Facility Occupancy to Users' Impatience. - Cesar Santoyo; Gustav Nilsson; Samuel Coogan 001 (CDC, 2021)

Safety from in-the-loop reachability for cyber-physical systems. - Christian Llanes; Matthew Abate; Samuel Coogan 001 (CAADCPS@CPSIoTWeek, 2021)

Verification and runtime assurance for dynamical systems with uncertainty. - Matthew Abate; Mark Mote; Eric Feron; Samuel Coogan 001 (HSCC, 2021)

Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. - Eric Squires; Rohit Konda; Pietro Pierpaoli; Samuel Coogan 001; Magnus Egerstedt (ICRA, 2021)

A barrier function approach to finite-time stochastic system verification and control. - Cesar Santoyo; Maxence Dutreix; Samuel Coogan 001 (Autom., 2021)

Capacity-Constrained Urban Air Mobility Scheduling. - Qinshuang Wei; Gustav Nilsson; Samuel Coogan 001 (CoRR, 2021)

Model Free Barrier Functions via Implicit Evading Maneuvers. - Eric Squires; Rohit Konda; Samuel Coogan 001; Magnus Egerstedt (CoRR, 2021)

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. - Kerianne Hobbs; Mark Mote; Matthew Abate; Samuel Coogan 001; Eric Feron (CoRR, 2021)

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. - Matthew Abate; Maxence Dutreix; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2021)

Characterizing Safety: Minimal Control Barrier Functions From Scalar Comparison Systems. - Rohit Konda; Aaron D. Ames; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2021)

A Numerically Stable Dynamic Mode Decomposition Algorithm for Nearly Defective Systems. - Makhin Thitsa; Maison Clouatre; Erik I. Verriest; Samuel Coogan 001; Clyde F. Martin (IEEE Control. Syst. Lett., 2021)

Extent-compatible control barrier functions. - Mohit Srinivasan; Matthew Abate; Gustav Nilsson; Samuel Coogan 001 (Syst. Control. Lett., 2021)

Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems. - Maxence Dutreix; Samuel Coogan 001 (IEEE Trans. Autom. Control., 2021)

Routing for Traffic Networks With Mixed Autonomy. - Daniel A. Lazar; Samuel Coogan 001; Ramtin Pedarsani (IEEE Trans. Autom. Control., 2021)

A Sequential Composition Framework for Coordinating Multirobot Behaviors. - Pietro Pierpaoli; Anqi Li 001; Mohit Srinivasan; Xiaoyi Cai; Samuel Coogan 001; Magnus Egerstedt (IEEE Trans. Robotics, 2021)

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. - Mohit Srinivasan; Samuel Coogan 001 (IEEE Trans. Robotics, 2021)

Resilience of Input Metering in Dynamic Flow Networks. - Saber Jafarpour; Samuel Coogan 001 (ACC, 2022)

A Compartmental Dynamical Network Flow Model for Evacuation Planning of Cities. - Gustav Nilsson; Samuel Coogan 001 (CCTA, 2022)

Probabilistic Revenue Analysis for Electric Vehicle Charging. - Cesar Santoyo; Samuel Coogan 001 (CCTA, 2022)

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. - Alexander Davydov 001; Saber Jafarpour; Matthew Abate; Francesco Bullo; Samuel Coogan 001 (CDC, 2022)

On infinitesimal contraction analysis for hybrid systems. - Samuel A. Burden; Samuel D. Coogan (CDC, 2022)

Safety from Fast, In-the-Loop Reachability with Application to UAVs. - Christian Llanes; Matthew Abate; Samuel Coogan 001 (ICCPS, 2022)

Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. - Saber Jafarpour; Matthew Abate; Alexander Davydov 001; Francesco Bullo; Samuel Coogan 001 (L4DC, 2022)

Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution. - Michael Enqi Cao; Xinpei Ni; Jonas Warnke; Yunhai Han; Samuel Coogan 001; Ye Zhao 002 (SSRR, 2022)

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach. - Saber Jafarpour; Alexander Davydov 001; Matthew Abate; Francesco Bullo; Samuel Coogan 001 (CoRR, 2022)

Decomposition Functions for Interconnected Mixed Monotone Systems. - Matthew Abate; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2022)

Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. - Jesse Jiang; Ye Zhao 002; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2022)

Robustly Forward Invariant Sets for Mixed-Monotone Systems. - Matthew Abate; Samuel Coogan 001 (IEEE Trans. Autom. Control., 2022)

Koopman Operator Applications in Signalized Traffic Systems. - Esther Ling; Liyuan Zheng; Lillian J. Ratliff; Samuel Coogan 001 (IEEE Trans. Intell. Transp. Syst., 2022)

Runtime Assurance from Signal Temporal Logic Safety Specifications. - Luke Baird; Samuel Coogan 001 (ACC, 2023)

Safe Learning-based Predictive Control from Efficient Reachability. - Michael Enqi Cao; Samuel Coogan 001 (ACC, 2023)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. - Akash Harapanahalli; Saber Jafarpour; Samuel Coogan 001 (CDC, 2023)

A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. - Saber Jafarpour; Samuel Coogan 001 (CDC, 2023)

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. - Saber Jafarpour; Akash Harapanahalli; Samuel Coogan 001 (L4DC, 2023)

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 001 (CoRR, 2023)

Interval Signal Temporal Logic From Natural Inclusion Functions. - Luke Baird; Akash Harapanahalli; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2023)

Forward Invariance in Neural Network Controlled Systems. - Akash Harapanahalli; Saber Jafarpour; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2023)

Sensitivity to user mischaracterizations in electric vehicle charging. - Cesar Santoyo; Gustav Nilsson; Samuel Coogan 001 (Syst. Control. Lett., 2023)

Monocular Vision-Based Localization and Pose Estimation with a Nudged Particle Filter and Ellipsoidal Confidence Tubes. - Tony X. Lin; Samuel Coogan 001; Daniel M. Lofaro; Donald A. Sofge; Fumin Zhang 001 (Unmanned Syst., 2023)

Resource aware pricing for electric vehicle charging. - Cesar Santoyo; Gustav Nilsson; Samuel Coogan 001 (Autom., 2023)

immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. - Akash Harapanahalli; Saber Jafarpour; Samuel Coogan 001 (ADHS, 2024)

Discontinuous Barrier Functions for Piecewise Continuous Dynamics. - Carmen Jimenez Cortes; Makhin Thitsa; Samuel Coogan 001 (ACC, 2024)

Local-Global Interval MDPs for Efficient Motion Planning with Learnable Uncertainty. - Jesse Jiang; Ye Zhao 002; Samuel Coogan 001 (ACC, 2024)

Newton-Raphson Flow for Aggressive Quadrotor Tracking Control. - Evanns Morales-Cuadrado; Christian Llanes; Yorai Wardi; Samuel Coogan 001 (ACC, 2024)

Interval Signal Temporal Logic for Robust Optimal Control. - Luke Baird; Samuel Coogan 001 (CDC, 2024)

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals. - Akash Harapanahalli; Samuel Coogan 001 (CDC, 2024)

Trajectory Tracking Runtime Assurance for Systems with Partially Unknown Dynamics. - Michael Enqi Cao; Samuel D. Coogan (ICRA, 2024)

CrazySim: A Software-in-the-Loop Simulator for the Crazyflie Nano Quadrotor. - Christian Llanes; Zahi Kakish; Kyle A. Williams; Samuel Coogan 001 (ICRA, 2024)

Bipedal Safe Navigation over Uncertain Rough Terrain: Unifying Terrain Mapping and Locomotion Stability. - Kasidit Muenprasitivej; Jesse Jiang; Abdulaziz Shamsah; Samuel Coogan 001; Ye Zhao 002 (IROS, 2024)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications. - Jiming Ren; Haris Miller; Karen M. Feigh; Samuel Coogan 001; Ye Zhao 002 (IROS, 2024)

A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning. - Jesse Jiang; Samuel Coogan 001; Ye Zhao 002 (CoRR, 2024)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs. - Akash Harapanahalli; Samuel Coogan 001 (CoRR, 2024)

Terrain-Aware Model Predictive Control of Heterogeneous Bipedal and Aerial Robot Coordination for Search and Rescue Tasks. - Abdulaziz Shamsah; Jesse Jiang; Ziwon Yoon; Samuel Coogan 001; Ye Zhao 002 (CoRR, 2024)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow. - Xuan Lin; Jiming Ren; Samuel Coogan 001; Ye Zhao 002 (CoRR, 2024)

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories. - Akash Harapanahalli; Samuel Coogan 001 (CoRR, 2024)

The Mandalay Derivative for Nonsmooth Systems: Applications to Nonsmooth Control Barrier Functions. - Carmen Jimenez Cortes; Grant Clark; Samuel Coogan 001; Makhin Thitsa (IEEE Control. Syst. Lett., 2024)

Feedback Linearization of an Underactuated Miniature Blimp With Zero Dynamics Mitigation Using High Order Control Barrier Functions. - Mihir Kasmalkar; Luke Baird; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2024)

Area Coverage Using Multiple Aerial Robots With Coverage Redundancy and Collision Avoidance. - Soobum Kim; Ruoyu Lin; Samuel Coogan 001; Magnus Egerstedt (IEEE Control. Syst. Lett., 2024)

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics. - David van Wijk; Samuel Coogan 001; Tamás G. Molnár; Manoranjan Majji; Kerianne L. Hobbs (IEEE Control. Syst. Lett., 2024)

The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. - Gustav Nilsson; Samuel Coogan 001 (IEEE Trans. Autom. Control., 2024)

GreenEVT: Greensboro Electric Vehicle Testbed. - Gustav Nilsson; Alejandro D. Owen Aquino; Samuel Coogan 001; Daniel K. Molzahn (IEEE Syst. J., 2024)

A Particle Fusion Approach for Distributed Filtering and Smoothing. - Tony X. Lin; Samuel Coogan 001; Donald A. Sofge; Fumin Zhang 001 (Unmanned Syst., 2024)

Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. - Matthew Abate; Mark Mote; Mehregan Dor; Corbin Klett; Sean Phillips; Kendra Lang; Panagiotis Tsiotras; Eric Feron; Samuel Coogan 001 (IEEE Trans. Control. Syst. Technol., 2024)

Safe Schedule Verification for Urban Air Mobility Networks With Node Closures. - Qinshuang Wei; Gustav Nilsson; Samuel Coogan 001 (IEEE Trans. Control. Netw. Syst., 2024)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. - Saber Jafarpour; Akash Harapanahalli; Samuel Coogan 001 (IEEE Trans. Autom. Control., 2024)

Safe and Performant Control via Efficient Overapproximation of the Reachable Set Probability Distribution. - Michael Enqi Cao; Samuel Coogan 001 (ACC, 2025)

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds. - Akash Harapanahalli; Samuel Coogan 001 (ACC, 2025)

An optimistic approach to cost-aware predictive control. - Michael Enqi Cao; Matthieu R. Bloch; Samuel Coogan 001 (Autom., 2025)

Automatic and Scalable Safety Verification Using Interval Reachability With Subspace Sampling. - Brendan T. Gould; Akash Harapanahalli; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2025)

Monotonicity and Contraction on Polyhedral Cones. - Saber Jafarpour; Samuel Coogan 001 (IEEE Trans. Autom. Control., 2025)

Disturbance Observers for Robust Backup Control Barrier Functions. - David van Wijk; Ersin Das; Anil Alan; Samuel Coogan 001; Tamás G. Molnár; Joel W. Burdick; Manoranjan Majji; Kerianne L. Hobbs (CoRR, 2025)

Parametric Reachable Sets Via Controlled Dynamical Embeddings. - Akash Harapanahalli; Samuel Coogan 001 (CoRR, 2025)

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots. - Dan BW Choe; Sundhar Vinodh Sangeetha; Steven Emanuel; Chih-Yuan Chiu; Samuel Coogan 001; Shreyas Kousik (CoRR, 2025)

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition. - Jiming Ren; Xuan Lin; Roman Mineyev; Karen M. Feigh; Samuel Coogan 001; Ye Zhao 002 (CoRR, 2025)

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method. - Evanns Morales-Cuadrado; Luke Baird; Yorai Wardi; Samuel Coogan 001 (CoRR, 2025)

Attention-Tunable Safety Barriers for Human-Autonomy Teaming in Specialized Aviation Missions. - Carmen Jimenez Cortes; Richard Agbeyibor; Jack Kolb; Ryan Bowers; Karen M. Feigh; Samuel Coogan 001 (IEEE Robotics Autom. Lett., 2025)