Samuel Coogan
Associate Professor
Studies control and verification of autonomous and cyber-physical systems using formal methods and learning.
Samuel Coogan's lab at Georgia Tech works on planning, control & multi-robot systems, compilers & programming languages and embodied & active vision. 63 papers since 2023, 11 at top venues, mostly ACC and CDC. 7 PhD students. 13 alumni, most often to Ford Motor Company. Applications close .
At a glance
- papers, 2023–2026
- 16/ year
- at T1 venues
- 17%
- PhD students
- 7
- MS students
- 0
- alumni listed
- 13
Papers by yearfrom the lab homepage, 2023–2026
- 9 papers2026 · T1 2 · collecting
- 14 papers2025 · T1 3
- 24 papers2024 · T1 6
- 16 papers2023 · T1 0
T1 venuesOtherVenues: ACC, CDC, ICRA, TAC, IROS
Research focuspaper titles that use each topic's words
- Planning, control & multi-robot systems29 papers
- Compilers & programming languages2 papers
- Embodied & active vision2 papers
- studies control0 papers
- formal methods0 papers
Paper list
From the lab homepage.
20269 papers
- TAC (T1)A linear differential inclusion for contraction analysis to known trajectories (opens in a new tab)
- L4DCCertified robust invariant polytope training in neural controlled ODEs (opens in a new tab)
- ACCEfficient norm-based reachable sets via iterative dynamic programming (opens in a new tab)
- International Symposium on Distributed Autonomous Robotic SystemsGTernal: a robot design for the autonomous operation of a multi-robot research testbed (opens in a new tab)
- IEEE Control Systems LettersLearning certified neural network controllers using contraction and interval analysis (opens in a new tab)
- ICRA (T1)Learning cooperative strategies for drone swarms using multi-agent reinforcement learning (opens in a new tab)
- IEEE Transactions on Control Systems TechnologyLightweight tracking control for computationally constrained aerial systems with the Newton-Raphson method (opens in a new tab)
- ACCLinrax: a JAX compatible, simplex method linear program solver (opens in a new tab)
- IEEE Control Systems LettersLow-discrepancy perturbation design for numerically stable gradient estimation in feedback optimization (opens in a new tab)
202514 papers
- ACCA global coordinate-free approach to invariant contraction on homogeneous manifolds (opens in a new tab)
- CDCAdvances in contraction theory for robust optimization, control, and neural computation
- AutomaticaAn optimistic approach to cost-aware predictive control (opens in a new tab)
- Proceedings of Int. Workshop on Applied Verification for Continuous and Hybrid SystemsARCH-COMP25 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants (opens in a new tab)
- RA-LAttention-tunable safety barriers for human-autonomy teaming in specialized aviation missions (opens in a new tab)
- IEEE Control Systems LettersAutomatic and scalable safety verification using interval reachability with subspace sampling (opens in a new tab)
- TAC (T1)Monotonicity and contraction on polyhedral cones
- ICRA (T1)Optimization-based task and motion planning under signal temporal logic specifications using logic network flow (opens in a new tab)
- CDCParametric reachable sets via controlled dynamical embeddings (opens in a new tab)
- IEEE Control Systems LettersRisk mitigation for interval signal temporal logic monitoring and synthesis (opens in a new tab)
- ACCSafe and performant control via efficient overapproximation of the reachable set probability distribution (opens in a new tab)
- Smarter Cyber Physical Systems: Enabling Methodologies and ApplicationsSpecification-guided safe learning for robotic systems (opens in a new tab)
202424 papers
- Journal of Guidance, Control, and DynamicsA hierarchy of quadratic Lyapunov functions for linear time-varying and related systems (opens in a new tab)
- Unmanned SystemsA particle fusion approach for distributed filtering and smoothing (opens in a new tab)
- IEEE Control Systems LettersArea coverage using multiple aerial robots with coverage redundancy and collision avoidance (opens in a new tab)
- IROS (T1)Bipedal safe navigation over uncertain rough terrain: unifying terrain mapping and locomotion stability (opens in a new tab)
- ICRA (T1)Crazysim: a software-in-the-loop simulator for the crazyflie nano quadrotor (opens in a new tab)
- ACCDiscontinuous barrier functions for piecewise continuous dynamics (opens in a new tab)
- IEEE Control Systems LettersDisturbance-robust backup control barrier functions: safety under uncertain dynamics (opens in a new tab)
- TAC (T1)Efficient interaction-aware interval analysis of neural network feedback loops (opens in a new tab)
- CDCEfficient reachable sets on Lie groups using Lie algebra monotonicity and tangent intervals (opens in a new tab)
- IEEE Control Systems LettersFeedback linearization of an underactuated miniature blimp with zero dynamics mitigation using high order control barrier functions (opens in a new tab)
- IEEE Systems JournalGreenEVT: Greensboro electric vehicle testbed (opens in a new tab)
- ADHSImmrax: a parallelizable and differentiable toolbox for interval analysis and mixed monotone reachability in JAX (opens in a new tab)
202316 papers
- CDCA contracting dynamical system perspective toward interval Markov decision processes (opens in a new tab)
- AIAA SCITECH ForumA ROS package for UAV run time assurance with in-the-loop reachability (opens in a new tab)
- WFVMLA toolbox for fast interval arithmetic in numpy with an application to formal verification of neural network controlled systems (opens in a new tab)
- IEEE Open Journal of Control SystemsAbstraction-based planning for uncertainty-aware legged navigation (opens in a new tab)
- CDCContraction-guided adaptive partitioning for reachability analysis of neural network controlled systems (opens in a new tab)
- Modeling, Estimation and Control ConferenceExperimental validation on aerial vehicles of real-time motion planning with continuous-time Q-learning (opens in a new tab)
- IEEE Control Systems LettersForward invariance in neural network controlled systems (opens in a new tab)
- Learning for Dynamics and Control ConferenceInterval reachability of nonlinear dynamical systems with neural network controllers (opens in a new tab)
- IEEE Control Systems LettersInterval signal temporal logic from natural inclusion functions (opens in a new tab)
- Cyber-Physical SystemsLTL cross entropy optimization for quadcopter task orchestration (opens in a new tab)
- Unmanned SystemsMonocular vision-based localization and pose estimation with a nudged particle filter and ellipsoidal confidence tubes (opens in a new tab)
- AutomaticaResource aware pricing for electric vehicle charging (opens in a new tab)
Where alumni went13 listed, 50% to industry
Industry 2Academia 2
Most often to
- Ford Motor Company
Also to
- EPFL
- Kennesaw State University
Apply to Georgia TechFall 2027
Georgia Tech Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- optional
- English
- TOEFL/IELTS
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USUC Berkeley
Alexandre Bayen
- Autonomous vehicles & drones
- USUSC
Gaurav Sukhatme
- Manipulation & robot learning
- GBOxford
Sara Bernardini
- Autonomous vehicles & drones
- GBUCL
Lorenzo Jamone
- Manipulation & robot learning
- USGeorgia Tech
Jiachen Li
- Autonomous vehicles & drones
- CHETH Zurich
Melanie Zeilinger
- Planning, control & multi-robot systems
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Georgia Techcloses