Samuel Coogan

Orcid: 0000-0003-0495-1535

Affiliations:
  • Georgia Institute of Technology, School of Electrical and Computer Engineering, USA
  • Georgia Institute of Technology, School of Civil and Environmental Engineering, USA


According to our database1, Samuel Coogan authored at least 126 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Particle Fusion Approach for Distributed Filtering and Smoothing.
Unmanned Syst., March, 2024

GreenEVT: Greensboro Electric Vehicle Testbed.
IEEE Syst. J., March, 2024

The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks.
IEEE Trans. Autom. Control., February, 2024

immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.
CoRR, 2024

2023
Resource aware pricing for electric vehicle charging.
Autom., February, 2023

Monocular Vision-Based Localization and Pose Estimation with a Nudged Particle Filter and Ellipsoidal Confidence Tubes.
Unmanned Syst., January, 2023

Sensitivity to user mischaracterizations in electric vehicle charging.
Syst. Control. Lett., 2023

Forward Invariance in Neural Network Controlled Systems.
IEEE Control. Syst. Lett., 2023

Interval Signal Temporal Logic From Natural Inclusion Functions.
IEEE Control. Syst. Lett., 2023

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops.
CoRR, 2023

A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems.
CoRR, 2023

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers.
Proceedings of the Learning for Dynamics and Control Conference, 2023

A Contracting Dynamical System Perspective toward Interval Markov Decision Processes.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safe Learning-based Predictive Control from Efficient Reachability.
Proceedings of the American Control Conference, 2023

Runtime Assurance from Signal Temporal Logic Safety Specifications.
Proceedings of the American Control Conference, 2023

2022
Koopman Operator Applications in Signalized Traffic Systems.
IEEE Trans. Intell. Transp. Syst., 2022

Robustly Forward Invariant Sets for Mixed-Monotone Systems.
IEEE Trans. Autom. Control., 2022

Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction.
IEEE Control. Syst. Lett., 2022

Decomposition Functions for Interconnected Mixed Monotone Systems.
IEEE Control. Syst. Lett., 2022

Monotonicity and Contraction on Polyhedral Cones.
CoRR, 2022

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach.
CoRR, 2022

Safe Schedule Verification for Urban Air Mobility Networks with Node Closures.
CoRR, 2022

Leveraging Heterogeneous Capabilities in Multi-Agent Systems for Environmental Conflict Resolution.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2022

Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach.
Proceedings of the Learning for Dynamics and Control Conference, 2022

Safety from Fast, In-the-Loop Reachability with Application to UAVs.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

On infinitesimal contraction analysis for hybrid systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Probabilistic Revenue Analysis for Electric Vehicle Charging.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

A Compartmental Dynamical Network Flow Model for Evacuation Planning of Cities.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Resilience of Input Metering in Dynamic Flow Networks.
Proceedings of the American Control Conference, 2022

2021
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications.
IEEE Trans. Robotics, 2021

A Sequential Composition Framework for Coordinating Multirobot Behaviors.
IEEE Trans. Robotics, 2021

Routing for Traffic Networks With Mixed Autonomy.
IEEE Trans. Autom. Control., 2021

Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems.
IEEE Trans. Autom. Control., 2021

Extent-compatible control barrier functions.
Syst. Control. Lett., 2021

A Numerically Stable Dynamic Mode Decomposition Algorithm for Nearly Defective Systems.
IEEE Control. Syst. Lett., 2021

Characterizing Safety: Minimal Control Barrier Functions From Scalar Comparison Systems.
IEEE Control. Syst. Lett., 2021

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances.
IEEE Control. Syst. Lett., 2021

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems.
CoRR, 2021

Model Free Barrier Functions via Implicit Evading Maneuvers.
CoRR, 2021

Capacity-Constrained Urban Air Mobility Scheduling.
CoRR, 2021

A barrier function approach to finite-time stochastic system verification and control.
Autom., 2021

Safety With Limited Range Sensing Constraints For Fixed Wing Aircraft.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Verification and runtime assurance for dynamical systems with uncertainty.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Safety from in-the-loop reachability for cyber-physical systems.
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Sensitivity of Electric Vehicle Charging Facility Occupancy to Users' Impatience.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Estimating High Probability Reachable Sets using Gaussian Processes.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Pricing Parameter Design for Electric Vehicle Charging.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021

On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021

Scheduling of Urban Air Mobility Services with Limited Landing Capacity and Uncertain Travel Times.
Proceedings of the 2021 American Control Conference, 2021

Strong Integral Input-to-State Stability in Dynamical Flow Networks.
Proceedings of the 2021 American Control Conference, 2021

A Numerical Method to Compute Stability Margins of Switching Linear Systems.
Proceedings of the 2021 American Control Conference, 2021

Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.
Proceedings of the 2021 American Control Conference, 2021

Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations.
Proceedings of the 2021 American Control Conference, 2021

2020
Mixed Autonomy in Ride-Sharing Networks.
IEEE Trans. Control. Netw. Syst., 2020

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems.
CoRR, 2020

Continuous Reachability Task Transition Using Control Barrier Functions.
CoRR, 2020

Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives.
CoRR, 2020

Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

A Distributed Scalar Field Mapping Strategy for Mobile Robots.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Mixed Monotonicity for Reachability and Safety in Dynamical Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Enforcing Safety at Runtime for Systems with Disturbances.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Set-Based State Estimation of Mobile Robots from Coarse Range Measurements.
Proceedings of the 2020 IEEE Conference on Control Technology and Applications, 2020

Bounding the State Covariance Matrix for Switched Linear Systems with Noise.
Proceedings of the 2020 American Control Conference, 2020

Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions.
Proceedings of the 2020 American Control Conference, 2020

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.
Proceedings of the 2020 American Control Conference, 2020

2019
Approximating the Steady-State Periodic Solutions of Contractive Systems.
IEEE Trans. Autom. Control., 2019

Mixed Autonomy in Ride-Sharing Network.
CoRR, 2019

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems.
CoRR, 2019

A Sequential Composition Framework for Coordinating Multi-Robot Behaviors.
CoRR, 2019

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems.
CoRR, 2019

Composition of Safety Constraints With Applications to Decentralized Fixed-Wing Collision Avoidance.
CoRR, 2019

A contractive approach to separable Lyapunov functions for monotone systems.
Autom., 2019

Specification-Based Maneuvering of Quadcopters Through Hoops.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Control Barrier Functions: Theory and Applications.
Proceedings of the 17th European Control Conference, 2019

Weighted Polar Finite Time Control Barrier Functions With Applications To Multi-Robot Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Monitor-Based Runtime Assurance for Temporal Logic Specifications.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions.
Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

Provably-Safe Autonomous Navigation of Traffic Circles.
Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

Ride-Sharing Networks with Mixed Autonomy.
Proceedings of the 2019 American Control Conference, 2019

2018
Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity.
IEEE Control. Syst. Lett., 2018

On contraction analysis for hybrid systems.
CoRR, 2018

Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains.
CoRR, 2018

A Benchmark Problem in Transportation Networks.
CoRR, 2018

Koopman Operator Approach for Instability Detection and Mitigation in Signalized Traffic.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Efficient verification for stochastic mixed monotone systems.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Optimizing Offsets in Signalized Traffic Networks: A Case Study.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

Discount-Based Pricing and Capacity Planning for EV Charging Under Stochastic Demand.
Proceedings of the 2018 Annual American Control Conference, 2018

The Price of Anarchy for Transportation Networks with Mixed Autonomy.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Contraction-based Observers using non-Euclidean Norms with an Application to Traffic Networks.
CoRR, 2017

Approximating the Frequency Response of Contractive Systems.
CoRR, 2017

Approximating periodic trajectories of contractive systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Capacity modeling and routing for traffic networks with mixed autonomy.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Quantile forecasts for traffic predictive control.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Traffic Network Control From Temporal Logic Specifications.
IEEE Trans. Control. Netw. Syst., 2016

Traffic Predictive Control from Low-Rank Structure.
CoRR, 2016

Stability of traffic flow networks with a polytree topology.
Autom., 2016

Mixed monotonicity of partial first-in-first-out traffic flow models.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Separability of Lyapunov functions for contractive monotone systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Finite state abstraction and formal methods for traffic flow networks.
Proceedings of the 2016 American Control Conference, 2016

2015
Synthesis and Verification of Networked Systems with Applications to Transportation Networks.
PhD thesis, 2015

A Compartmental Model for Traffic Networks and Its Dynamical Behavior.
IEEE Trans. Autom. Control., 2015

A Dissipativity Approach to Safety Verification for Interconnected Systems.
IEEE Trans. Autom. Control., 2015

On the Mixed Monotonicity of FIFO Traffic Flow Models.
CoRR, 2015

Efficient finite abstraction of mixed monotone systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Offset optimization for a network of signalized intersections via semidefinite relaxation.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Controlling a network of signalized intersections from temporal logical specifications.
Proceedings of the American Control Conference, 2015

2014
A computational approach to synthesizing guards for hybrid systems.
Syst. Control. Lett., 2014

Freeway traffic control from linear temporal logic specifications.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Dynamical properties of a compartmental model for traffic networks.
Proceedings of the American Control Conference, 2014

2013
A note on norm-based Lyapunov functions via contraction analysis.
CoRR, 2013

Verifying safety of interconnected passive systems using SOS programming.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Energy management via pricing in LQ dynamic games.
Proceedings of the American Control Conference, 2013

2012
Scaling the size of a formation using relative position feedback.
Autom., 2012

Guard synthesis for safety of hybrid systems using sum of squares programming.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Formation control with size scaling using relative displacement feedback.
Proceedings of the American Control Conference, 2012

Pricing in linear-quadratic dynamic games.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Scaling the size of a multiagent formation via distributed feedback.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011


  Loading...