Samuel Coogan - RankMe

211 papers A* 5A 5C 24Journal 127Unranked 49

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Linear Differential Inclusion for Contraction Analysis to Known Trajectories. IEEE Trans. Autom. Control. Akash Harapanahalli, Samuel Coogan
2026	J	`jnl`	Learning Certified Neural Network Controllers Using Contraction and Interval Analysis. CoRR Akash Harapanahalli, Samuel Coogan, Alexander Davydov
2026	J	`jnl`	RTD-RAX: Fast, Safe Trajectory Planning for Systems under Unknown Disturbances. CoRR Evanns Morales-Cuadrado, Long Kiu Chung, Shreyas Kousik, Samuel Coogan
2025	C	`conf`	A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds. ACC Akash Harapanahalli, Samuel Coogan
2025	J	`jnl`	Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition. CoRR Jiming Ren, Xuan Lin, Roman Mineyev, Karen M. Feigh, Samuel Coogan, Ye Zhao
2025	J	`jnl`	Adaptive Obstacle-Aware Task Assignment and Planning for Heterogeneous Robot Teaming. CoRR Nan Li, Jiming Ren, Haris Miller, Samuel Coogan, Karen M. Feigh, Ye Zhao
2025	—	`conf`	Advances in Contraction Theory for Robust Optimization, Control, and Neural Computation. CDC Francesco Bullo, Samuel Coogan, Emiliano Dall'Anese, Ian R. Manchester, Giovanni Russo
2025	J	`jnl`	An optimistic approach to cost-aware predictive control. Autom. Michael Enqi Cao, Matthieu R. Bloch, Samuel Coogan
2025	J	`jnl`	Ask, Reason, Assist: Decentralized Robot Collaboration via Language and Logic. CoRR Dan BW Choe, Sundhar Vinodh Sangeetha, Steven Emanuel, Chih-Yuan Chiu, Samuel Coogan, Shreyas Kousik
2025	J	`jnl`	Attention-Tunable Safety Barriers for Human-Autonomy Teaming in Specialized Aviation Missions. IEEE Robotics Autom. Lett. Carmen Jimenez Cortes, Richard Agbeyibor, Jack Kolb, Ryan Bowers, Karen M. Feigh, Samuel Coogan
2025	J	`jnl`	Automatic and Scalable Safety Verification Using Interval Reachability With Subspace Sampling. IEEE Control. Syst. Lett. Brendan T. Gould, Akash Harapanahalli, Samuel Coogan
2025	J	`jnl`	Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling. CoRR Brendan T. Gould, Akash Harapanahalli, Samuel Coogan
2025	J	`jnl`	Disturbance Observers for Robust Backup Control Barrier Functions. CoRR David van Wijk, Ersin Das, Anil Alan, Samuel Coogan, Tamás G. Molnár, Joel W. Burdick, Manoranjan Majji, Kerianne L. Hobbs
2025	J	`jnl`	Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming. CoRR Akash Harapanahalli, Samuel Coogan
2025	J	`jnl`	Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method. CoRR Evanns Morales-Cuadrado, Luke Baird, Yorai Wardi, Samuel Coogan
2025	J	`jnl`	Monotonicity and Contraction on Polyhedral Cones. IEEE Trans. Autom. Control. Saber Jafarpour, Samuel Coogan
2025	A*	`conf`	Optimization-Based Task and Motion Planning Under Signal Temporal Logic Specifications Using Logic Network Flow. ICRA Xuan Lin, Jiming Ren, Samuel Coogan, Ye Zhao
2025	—	`conf`	Parametric Reachable Sets Via Controlled Dynamical Embeddings. CDC Akash Harapanahalli, Samuel Coogan
2025	J	`jnl`	Parametric Reachable Sets Via Controlled Dynamical Embeddings. CoRR Akash Harapanahalli, Samuel Coogan
2025	J	`jnl`	Risk Mitigation for Interval Signal Temporal Logic Monitoring and Synthesis. IEEE Control. Syst. Lett. Luke Baird, Andrew Schoer, Matthew Cleaveland, Samuel Coogan, Kevin Leahy
2025	C	`conf`	Safe and Performant Control via Efficient Overapproximation of the Reachable Set Probability Distribution. ACC Michael Enqi Cao, Samuel Coogan
2025	J	`jnl`	Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots. CoRR Dan BW Choe, Sundhar Vinodh Sangeetha, Steven Emanuel, Chih-Yuan Chiu, Samuel Coogan, Shreyas Kousik
2025	A*	`conf`	Terrain-Aware Model Predictive Control of Heterogeneous Bipedal and Aerial Robot Coordination for Search and Rescue Tasks. ICRA Abdulaziz Shamsah, Jesse Jiang, Ziwon Yoon, Samuel Coogan, Ye Zhao
2025	J	`jnl`	linrax: A JAX Compatible, Simplex Method Linear Program Solver. CoRR Brendan T. Gould, Akash Harapanahalli, Samuel Coogan
2024	J	`jnl`	A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds. CoRR Akash Harapanahalli, Samuel Coogan
2024	J	`jnl`	A Linear Differential Inclusion for Contraction Analysis to Known Trajectories. CoRR Akash Harapanahalli, Samuel Coogan
2024	J	`jnl`	A Particle Fusion Approach for Distributed Filtering and Smoothing. Unmanned Syst. Tony X. Lin, Samuel Coogan, Donald A. Sofge, Fumin Zhang
2024	J	`jnl`	A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning. CoRR Jesse Jiang, Samuel Coogan, Ye Zhao
2024	J	`jnl`	Area Coverage Using Multiple Aerial Robots With Coverage Redundancy and Collision Avoidance. IEEE Control. Syst. Lett. Soobum Kim, Ruoyu Lin, Samuel Coogan, Magnus Egerstedt
2024	A	`conf`	Bipedal Safe Navigation over Uncertain Rough Terrain: Unifying Terrain Mapping and Locomotion Stability. IROS Kasidit Muenprasitivej, Jesse Jiang, Abdulaziz Shamsah, Samuel Coogan, Ye Zhao
2024	J	`jnl`	Bipedal Safe Navigation over Uncertain Rough Terrain: Unifying Terrain Mapping and Locomotion Stability. CoRR Kasidit Muenprasitivej, Jesse Jiang, Abdulaziz Shamsah, Samuel Coogan, Ye Zhao
2024	J	`jnl`	Certified Robust Invariant Polytope Training in Neural Controlled ODEs. CoRR Akash Harapanahalli, Samuel Coogan
2024	A*	`conf`	CrazySim: A Software-in-the-Loop Simulator for the Crazyflie Nano Quadrotor. ICRA Christian Llanes, Zahi Kakish, Kyle A. Williams, Samuel Coogan
2024	C	`conf`	Discontinuous Barrier Functions for Piecewise Continuous Dynamics. ACC Carmen Jimenez Cortes, Makhin Thitsa, Samuel Coogan
2024	J	`jnl`	Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics. CoRR David van Wijk, Samuel Coogan, Tamás G. Molnár, Manoranjan Majji, Kerianne L. Hobbs
2024	J	`jnl`	Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics. IEEE Control. Syst. Lett. David van Wijk, Samuel Coogan, Tamás G. Molnár, Manoranjan Majji, Kerianne L. Hobbs
2024	J	`jnl`	Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. IEEE Trans. Autom. Control. Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2024	—	`conf`	Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals. CDC Akash Harapanahalli, Samuel Coogan
2024	J	`jnl`	Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals. CoRR Akash Harapanahalli, Samuel Coogan
2024	J	`jnl`	Feedback Linearization of an Underactuated Miniature Blimp With Zero Dynamics Mitigation Using High Order Control Barrier Functions. IEEE Control. Syst. Lett. Mihir Kasmalkar, Luke Baird, Samuel Coogan
2024	J	`jnl`	GreenEVT: Greensboro Electric Vehicle Testbed. IEEE Syst. J. Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn
2024	—	`conf`	Interval Signal Temporal Logic for Robust Optimal Control. CDC Luke Baird, Samuel Coogan
2024	A	`conf`	LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications. IROS Jiming Ren, Haris Miller, Karen M. Feigh, Samuel Coogan, Ye Zhao
2024	J	`jnl`	LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications. CoRR Jiming Ren, Haris Miller, Karen M. Feigh, Samuel Coogan, Ye Zhao
2024	C	`conf`	Local-Global Interval MDPs for Efficient Motion Planning with Learnable Uncertainty. ACC Jesse Jiang, Ye Zhao, Samuel Coogan
2024	C	`conf`	Newton-Raphson Flow for Aggressive Quadrotor Tracking Control. ACC Evanns Morales-Cuadrado, Christian Llanes, Yorai Wardi, Samuel Coogan
2024	J	`jnl`	Newton-Raphson Flow for Aggressive Quadrotor Tracking Control. CoRR Evanns Morales-Cuadrado, Christian Llanes, Yorai Wardi, Samuel Coogan
2024	J	`jnl`	Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow. CoRR Xuan Lin, Jiming Ren, Samuel Coogan, Ye Zhao
2024	J	`jnl`	Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. IEEE Trans. Control. Syst. Technol. Matthew Abate, Mark Mote, Mehregan Dor, Corbin Klett, Sean Phillips, Kendra Lang, Panagiotis Tsiotras, Eric Feron, Samuel Coogan
2024	J	`jnl`	Safe Schedule Verification for Urban Air Mobility Networks With Node Closures. IEEE Trans. Control. Netw. Syst. Qinshuang Wei, Gustav Nilsson, Samuel Coogan
2024	J	`jnl`	Terrain-Aware Model Predictive Control of Heterogeneous Bipedal and Aerial Robot Coordination for Search and Rescue Tasks. CoRR Abdulaziz Shamsah, Jesse Jiang, Ziwon Yoon, Samuel Coogan, Ye Zhao
2024	J	`jnl`	The Mandalay Derivative for Nonsmooth Systems: Applications to Nonsmooth Control Barrier Functions. IEEE Control. Syst. Lett. Carmen Jimenez Cortes, Grant Clark, Samuel Coogan, Makhin Thitsa
2024	J	`jnl`	The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. IEEE Trans. Autom. Control. Gustav Nilsson, Samuel Coogan
2024	—	`conf`	immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. ADHS Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2024	J	`jnl`	immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. CoRR Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023	—	`conf`	A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CDC Saber Jafarpour, Samuel Coogan
2023	J	`jnl`	A Contracting Dynamical System Perspective toward Interval Markov Decision Processes. CoRR Saber Jafarpour, Samuel Coogan
2023	J	`jnl`	A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems. CoRR Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023	—	`conf`	Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CDC Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023	J	`jnl`	Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems. CoRR Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023	J	`jnl`	Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. CoRR Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2023	J	`jnl`	Forward Invariance in Neural Network Controlled Systems. CoRR Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023	J	`jnl`	Forward Invariance in Neural Network Controlled Systems. IEEE Control. Syst. Lett. Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023	J	`jnl`	GreenEVT: Greensboro Electric Vehicle Testbed. CoRR Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn
2023	—	`conf`	Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. L4DC Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2023	J	`jnl`	Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers. CoRR Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2023	J	`jnl`	Interval Signal Temporal Logic From Natural Inclusion Functions. IEEE Control. Syst. Lett. Luke Baird, Akash Harapanahalli, Samuel Coogan
2023	J	`jnl`	Interval Signal Temporal Logic from Natural Inclusion Functions. CoRR Luke Baird, Akash Harapanahalli, Samuel Coogan
2023	J	`jnl`	Monocular Vision-Based Localization and Pose Estimation with a Nudged Particle Filter and Ellipsoidal Confidence Tubes. Unmanned Syst. Tony X. Lin, Samuel Coogan, Daniel M. Lofaro, Donald A. Sofge, Fumin Zhang
2023	J	`jnl`	Resource aware pricing for electric vehicle charging. Autom. Cesar Santoyo, Gustav Nilsson, Samuel Coogan
2023	C	`conf`	Runtime Assurance from Signal Temporal Logic Safety Specifications. ACC Luke Baird, Samuel Coogan
2023	C	`conf`	Safe Learning-based Predictive Control from Efficient Reachability. ACC Michael Enqi Cao, Samuel Coogan
2023	J	`jnl`	Sensitivity to user mischaracterizations in electric vehicle charging. Syst. Control. Lett. Cesar Santoyo, Gustav Nilsson, Samuel Coogan
2022	—	`conf`	A Compartmental Dynamical Network Flow Model for Evacuation Planning of Cities. CCTA Gustav Nilsson, Samuel Coogan
2022	—	`conf`	Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CDC Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan
2022	J	`jnl`	Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks. CoRR Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan
2022	J	`jnl`	Decomposition Functions for Interconnected Mixed Monotone Systems. IEEE Control. Syst. Lett. Matthew Abate, Samuel Coogan
2022	J	`jnl`	Koopman Operator Applications in Signalized Traffic Systems. IEEE Trans. Intell. Transp. Syst. Esther Ling, Liyuan Zheng, Lillian J. Ratliff, Samuel Coogan
2022	—	`conf`	Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution. SSRR Michael Enqi Cao, Xinpei Ni, Jonas Warnke, Yunhai Han, Samuel Coogan, Ye Zhao
2022	J	`jnl`	Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution. CoRR Michael Enqi Cao, Jonas Warnke, Yunhai Han, Xinpei Ni, Ye Zhao, Samuel Coogan
2022	J	`jnl`	Monotonicity and Contraction on Polyhedral Cones. CoRR Saber Jafarpour, Samuel Coogan
2022	—	`conf`	Probabilistic Revenue Analysis for Electric Vehicle Charging. CCTA Cesar Santoyo, Samuel Coogan
2022	C	`conf`	Resilience of Input Metering in Dynamic Flow Networks. ACC Saber Jafarpour, Samuel Coogan
2022	J	`jnl`	Resilience of Input Metering in Dynamic Flow Networks. CoRR Saber Jafarpour, Samuel Coogan
2022	J	`jnl`	Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach. CoRR Saber Jafarpour, Alexander Davydov, Matthew Abate, Francesco Bullo, Samuel Coogan
2022	J	`jnl`	Robustly Forward Invariant Sets for Mixed-Monotone Systems. IEEE Trans. Autom. Control. Matthew Abate, Samuel Coogan
2022	—	`conf`	Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. L4DC Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan
2022	J	`jnl`	Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. CoRR Jesse Jiang, Ye Zhao, Samuel Coogan
2022	J	`jnl`	Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction. IEEE Control. Syst. Lett. Jesse Jiang, Ye Zhao, Samuel Coogan
2022	J	`jnl`	Safe Schedule Verification for Urban Air Mobility Networks with Node Closures. CoRR Qinshuang Wei, Gustav Nilsson, Samuel Coogan
2022	—	`conf`	Safety from Fast, In-the-Loop Reachability with Application to UAVs. ICCPS Christian Llanes, Matthew Abate, Samuel Coogan
2021	C	`conf`	A Numerical Method to Compute Stability Margins of Switching Linear Systems. ACC Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
2021	J	`jnl`	A Numerically Stable Dynamic Mode Decomposition Algorithm for Nearly Defective Systems. IEEE Control. Syst. Lett. Makhin Thitsa, Maison Clouatre, Erik I. Verriest, Samuel Coogan, Clyde F. Martin
2021	J	`jnl`	A Sequential Composition Framework for Coordinating Multirobot Behaviors. IEEE Trans. Robotics Pietro Pierpaoli, Anqi Li, Mohit Srinivasan, Xiaoyi Cai, Samuel Coogan, Magnus Egerstedt
2021	J	`jnl`	A barrier function approach to finite-time stochastic system verification and control. Autom. Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2021	J	`jnl`	Capacity-Constrained Urban Air Mobility Scheduling. CoRR Qinshuang Wei, Gustav Nilsson, Samuel Coogan
2021	J	`jnl`	Characterizing Safety: Minimal Control Barrier Functions From Scalar Comparison Systems. IEEE Control. Syst. Lett. Rohit Konda, Aaron D. Ames, Samuel Coogan
2021	J	`jnl`	Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. IEEE Trans. Robotics Mohit Srinivasan, Samuel Coogan
2021	—	`conf`	Estimating High Probability Reachable Sets using Gaussian Processes. CDC Michael Enqi Cao, Matthieu R. Bloch, Samuel Coogan
2021	J	`jnl`	Extent-compatible control barrier functions. Syst. Control. Lett. Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan
2021	C	`conf`	Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. ACC Matthew Abate, Samuel Coogan
2021	J	`jnl`	Model Free Barrier Functions via Implicit Evading Maneuvers. CoRR Eric Squires, Rohit Konda, Samuel Coogan, Magnus Egerstedt
2021	—	`conf`	On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control. CCTA Michael Enqi Cao, Gustav Nilsson, Samuel Coogan
2021	J	`jnl`	On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control. CoRR Michael Enqi Cao, Gustav Nilsson, Samuel Coogan
2021	C	`conf`	Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. ACC Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
2021	—	`conf`	Pricing Parameter Design for Electric Vehicle Charging. CCTA Cesar Santoyo, Samuel Coogan
2021	J	`jnl`	Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach. CoRR Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan
2021	J	`jnl`	Routing for Traffic Networks With Mixed Autonomy. IEEE Trans. Autom. Control. Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani
2021	J	`jnl`	Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron
2021	A*	`conf`	Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. ICRA Eric Squires, Rohit Konda, Pietro Pierpaoli, Samuel Coogan, Magnus Egerstedt
2021	—	`conf`	Safety from in-the-loop reachability for cyber-physical systems. CAADCPS@CPSIoTWeek Christian Llanes, Matthew Abate, Samuel Coogan
2021	C	`conf`	Scheduling of Urban Air Mobility Services with Limited Landing Capacity and Uncertain Travel Times. ACC Qinshuang Wei, Gustav Nilsson, Samuel Coogan
2021	—	`conf`	Sensitivity of Electric Vehicle Charging Facility Occupancy to Users' Impatience. CDC Cesar Santoyo, Gustav Nilsson, Samuel Coogan
2021	J	`jnl`	Sensitivity to User Mischaracterizations in Electric Vehicle Charging. CoRR Cesar Santoyo, Gustav Nilsson, Samuel Coogan
2021	J	`jnl`	Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems. IEEE Trans. Autom. Control. Maxence Dutreix, Samuel Coogan
2021	C	`conf`	Strong Integral Input-to-State Stability in Dynamical Flow Networks. ACC Gustav Nilsson, Samuel Coogan
2021	J	`jnl`	The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks. CoRR Gustav Nilsson, Samuel Coogan
2021	J	`jnl`	Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. IEEE Control. Syst. Lett. Matthew Abate, Maxence Dutreix, Samuel Coogan
2021	—	`conf`	Verification and runtime assurance for dynamical systems with uncertainty. HSCC Matthew Abate, Mark Mote, Eric Feron, Samuel Coogan
2020	A	`conf`	A Distributed Scalar Field Mapping Strategy for Mobile Robots. IROS Tony X. Lin, Said Al-Abri, Samuel Coogan, Fumin Zhang
2020	J	`jnl`	A Numerical Method to Compute Stability Margins of Switching Linear Systems. CoRR Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron
2020	J	`jnl`	Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives. CoRR Maxence Dutreix, Jeongmin Huh, Samuel Coogan
2020	C	`conf`	Bounding the State Covariance Matrix for Switched Linear Systems with Noise. ACC Corbin Klett, Matthew Abate, Yongeun Yoon, Samuel Coogan, Eric Feron
2020	—	`conf`	Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CDC Matthew Abate, Samuel Coogan
2020	J	`jnl`	Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems. CoRR Matthew Abate, Samuel Coogan
2020	J	`jnl`	Continuous Reachability Task Transition Using Control Barrier Functions. CoRR Mohit Srinivasan, Cesar Santoyo, Samuel Coogan
2020	—	`conf`	Enforcing Safety at Runtime for Systems with Disturbances. CDC Matthew Abate, Samuel Coogan
2020	J	`jnl`	Enforcing Safety at Runtime for Systems with Disturbances. CoRR Matthew Abate, Samuel Coogan
2020	J	`jnl`	Extent-Compatible Control Barrier Functions. CoRR Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan
2020	J	`jnl`	Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations. CoRR Matthew Abate, Samuel Coogan
2020	C	`conf`	Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. ACC Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan
2020	C	`conf`	Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. ACC Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
2020	J	`jnl`	Mixed Autonomy in Ride-Sharing Networks. IEEE Trans. Control. Netw. Syst. Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan
2020	—	`conf`	Mixed Monotonicity for Reachability and Safety in Dynamical Systems. CDC Samuel Coogan
2020	A*	`conf`	Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization. ICRA Christopher Banks, Sean Wilson, Samuel Coogan, Magnus Egerstedt
2020	J	`jnl`	Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems. CoRR Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron
2020	J	`jnl`	Resource Aware Pricing for Electric Vehicle Charging. CoRR Cesar Santoyo, Gustav Nilsson, Samuel Coogan
2020	J	`jnl`	Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft. CoRR Eric Squires, Rohit Konda, Pietro Pierpaoli, Samuel Coogan, Magnus Egerstedt
2020	—	`conf`	Set-Based State Estimation of Mobile Robots from Coarse Range Measurements. CCTA Tony X. Lin, Samuel Coogan, Donald A. Sofge, Fumin Zhang
2020	A	`conf`	Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. IROS Mohit Srinivasan, Amogh Dabholkar, Samuel Coogan, Patricio A. Vela
2020	J	`jnl`	Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach. CoRR Mohit Srinivasan, Amogh Dabholkar, Samuel Coogan, Patricio A. Vela
2020	J	`jnl`	Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances. CoRR Matthew Abate, Maxence Dutreix, Samuel Coogan
2019	J	`jnl`	A Barrier Function Approach to Finite-Time Stochastic System Verification and Control. CoRR Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2019	J	`jnl`	A Sequential Composition Framework for Coordinating Multi-Robot Behaviors. CoRR Pietro Pierpaoli, Anqi Li, Mohit Srinivasan, Xiaoyi Cai, Samuel Coogan, Magnus Egerstedt
2019	J	`jnl`	A contractive approach to separable Lyapunov functions for monotone systems. Autom. Samuel Coogan
2019	J	`jnl`	Approximating the Steady-State Periodic Solutions of Contractive Systems. IEEE Trans. Autom. Control. Samuel Coogan, Michael Margaliot
2019	J	`jnl`	Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems. CoRR Rohit Konda, Aaron D. Ames, Samuel Coogan
2019	J	`jnl`	Composition of Safety Constraints With Applications to Decentralized Fixed-Wing Collision Avoidance. CoRR Eric Squires, Pietro Pierpaoli, Rohit Konda, Samuel Coogan, Magnus Egerstedt
2019	—	`conf`	Control Barrier Functions: Theory and Applications. ECC Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada
2019	J	`jnl`	Control Barrier Functions: Theory and Applications. CoRR Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada
2019	J	`jnl`	Control Of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. CoRR Mohit Srinivasan, Samuel Coogan
2019	J	`jnl`	Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems. CoRR Matthew Abate, Samuel Coogan, Eric Feron
2019	J	`jnl`	Mixed Autonomy in Ride-Sharing Network. CoRR Qinshuang Wei, Ramtin Pedarsani, Samuel Coogan
2019	—	`conf`	Monitor-Based Runtime Assurance for Temporal Logic Specifications. CDC Matthew Abate, Eric Feron, Samuel Coogan
2019	J	`jnl`	Monitor-Based Runtime Assurance for Temporal Logic Specifications. CoRR Matthew Abate, Eric Feron, Samuel Coogan
2019	—	`conf`	Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy. CDC Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani
2019	—	`conf`	Provably-Safe Autonomous Navigation of Traffic Circles. CCTA Rohit Konda, Eric Squires, Pietro Pierpaoli, Magnus Egerstedt, Samuel Coogan
2019	C	`conf`	Ride-Sharing Networks with Mixed Autonomy. ACC Qinshuang Wei, Jorge Alberto Rodriguez, Ramtin Pedarsani, Samuel Coogan
2019	A	`conf`	Specification-Based Maneuvering of Quadcopters Through Hoops. IROS Christopher Banks, Kyle Slovak, Samuel Coogan, Magnus Egerstedt
2019	—	`conf`	Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CCTA Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2019	J	`jnl`	Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CoRR Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2019	—	`conf`	Weighted Polar Finite Time Control Barrier Functions With Applications To Multi-Robot Systems. CDC Mohit Srinivasan, Nak-seung Patrick Hyun, Samuel Coogan
2018	J	`jnl`	A Benchmark Problem in Transportation Networks. CoRR Samuel Coogan, Murat Arcak
2018	—	`conf`	Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. CDC Asad Ullah Awan, Samuel Coogan, Majid Zamani
2018	—	`conf`	Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic. CDC Mohit Srinivasan, Samuel Coogan, Magnus Egerstedt
2018	J	`jnl`	Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic. CoRR Mohit Srinivasan, Samuel Coogan, Magnus Egerstedt
2018	C	`conf`	Discount-Based Pricing and Capacity Planning for EV Charging Under Stochastic Demand. ACC Parthe Pandit, Samuel Coogan
2018	—	`conf`	Efficient verification for stochastic mixed monotone systems. ICCPS Maxence Dutreix, Samuel Coogan
2018	—	`conf`	Koopman Operator Approach for Instability Detection and Mitigation in Signalized Traffic. ITSC Esther Ling, Lillian J. Ratliff, Samuel Coogan
2018	—	`conf`	Optimizing Offsets in Signalized Traffic Networks: A Case Study. CCTA Zahra Amini, Samuel Coogan, Christopher Flores, Alexander Skabardonis, Pravin Varaiya
2018	J	`jnl`	Routing for Traffic Networks with Mixed Autonomy. CoRR Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani
2018	J	`jnl`	Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity. IEEE Control. Syst. Lett. Pierre-Jean Meyer, Samuel Coogan, Murat Arcak
2018	J	`jnl`	Sampled-data reachability analysis using sensitivity and mixed-monotonicity. CoRR Pierre-Jean Meyer, Samuel Coogan, Murat Arcak
2018	—	`conf`	Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains. CDC Maxence Dutreix, Samuel Coogan
2018	J	`jnl`	Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains. CoRR Maxence Dutreix, Samuel Coogan
2018	C	`conf`	The Price of Anarchy for Transportation Networks with Mixed Autonomy. ACC Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani
2017	J	`jnl`	A Contractive Approach to Separable Lyapunov Functions for Monotone Systems. CoRR Samuel Coogan
2017	—	`conf`	Approximating periodic trajectories of contractive systems. CDC Michael Margaliot, Samuel Coogan
2017	J	`jnl`	Approximating the Frequency Response of Contractive Systems. CoRR Michael Margaliot, Samuel Coogan
2017	—	`conf`	Capacity modeling and routing for traffic networks with mixed autonomy. CDC Daniel A. Lazar, Samuel Coogan, Ramtin Pedarsani
2017	J	`jnl`	Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks. CoRR Samuel Coogan, Murat Arcak
2017	—	`conf`	Quantile forecasts for traffic predictive control. CDC Maxence Dutreix, Samuel Coogan
2016	C	`conf`	Finite state abstraction and formal methods for traffic flow networks. ACC Samuel Coogan, Murat Arcak, Calin Belta
2016	—	`conf`	Mixed monotonicity of partial first-in-first-out traffic flow models. CDC Samuel Coogan, Murat Arcak, Alexander Kurzhanskiy
2016	J	`jnl`	Separability of Lyapunov Functions for Contractive Monotone Systems. CoRR Samuel Coogan
2016	—	`conf`	Separability of Lyapunov functions for contractive monotone systems. CDC Samuel Coogan
2016	J	`jnl`	Stability of traffic flow networks with a polytree topology. Autom. Samuel Coogan, Murat Arcak
2016	J	`jnl`	Traffic Network Control From Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
2016	J	`jnl`	Traffic Predictive Control from Low-Rank Structure. CoRR Samuel Coogan, Christopher Flores, Pravin Varaiya
2015	J	`jnl`	A Compartmental Model for Traffic Networks and Its Dynamical Behavior. IEEE Trans. Autom. Control. Samuel Coogan, Murat Arcak
2015	J	`jnl`	A Dissipativity Approach to Safety Verification for Interconnected Systems. IEEE Trans. Autom. Control. Samuel Coogan, Murat Arcak
2015	C	`conf`	Controlling a network of signalized intersections from temporal logical specifications. ACC Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
2015	—	`conf`	Efficient finite abstraction of mixed monotone systems. HSCC Samuel Coogan, Murat Arcak
2015	—	`conf`	Offset optimization for a network of signalized intersections via semidefinite relaxation. CDC Samuel Coogan, Gabriel Gomes, Eric S. Kim, Murat Arcak, Pravin Varaiya
2015	J	`jnl`	On the Mixed Monotonicity of FIFO Traffic Flow Models. CoRR Samuel Coogan, Murat Arcak, Alexander Kurzhanskiy
2015	—	`—`	Synthesis and Verification of Networked Systems with Applications to Transportation Networks. Samuel Coogan
2014	J	`jnl`	A Compartmental Model for Traffic Networks and its Dynamical Behavior. CoRR Samuel Coogan, Murat Arcak
2014	J	`jnl`	A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. CoRR Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia
2014	J	`jnl`	A computational approach to synthesizing guards for hybrid systems. Syst. Control. Lett. Samuel Coogan, Murat Arcak
2014	—	`conf`	A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. CDC Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia
2014	C	`conf`	Dynamical properties of a compartmental model for traffic networks. ACC Samuel Coogan, Murat Arcak
2014	—	`conf`	Freeway traffic control from linear temporal logic specifications. ICCPS Samuel Coogan, Murat Arcak
2014	J	`jnl`	Traffic Network Control from Temporal Logic Specifications. CoRR Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
2013	J	`jnl`	A note on norm-based Lyapunov functions via contraction analysis. CoRR Samuel Coogan, Murat Arcak
2013	C	`conf`	Energy management via pricing in LQ dynamic games. ACC Samuel Coogan, Lillian J. Ratliff, Daniel J. Calderone, Claire J. Tomlin, S. Shankar Sastry
2013	—	`conf`	Verifying safety of interconnected passive systems using SOS programming. CDC Samuel Coogan, Murat Arcak
2012	C	`conf`	Formation control with size scaling using relative displacement feedback. ACC Samuel Coogan, Murat Arcak
2012	—	`conf`	Guard synthesis for safety of hybrid systems using sum of squares programming. CDC Samuel Coogan, Murat Arcak
2012	—	`conf`	Pricing in linear-quadratic dynamic games. Allerton Conference Lillian J. Ratliff, Samuel Coogan, Daniel J. Calderone, S. Shankar Sastry
2012	J	`jnl`	Scaling the size of a formation using relative position feedback. Autom. Samuel Coogan, Murat Arcak
2011	—	`conf`	Scaling the size of a multiagent formation via distributed feedback. CDC/ECC Samuel Coogan, Murat Arcak, Magnus Egerstedt