Sotabase

Career

· Associate Professor, Georgia Institute of Technology2022–
· Assistant Professor, Georgia Institute of Technology2017–2022
· Postdoctoral Researcher, Sensys Networks2015–2015
· Assistant Professor, UCLA2015–2017
· Graduate Research Intern, NASA Jet Propulsion Laboratory2012–2012
· Graduate Student Researcher, UC Berkeley2010–2015
· Undergraduate Co-op, Georgia Tech Research Institute2007–2009
· Bachelor of Science (B.S.), Electrical Engineering, Georgia Institute of Technology
· Doctor of Philosophy (Ph.D.), Electrical Engineering, University of California, Berkeley
· Master of Science (M.S.), Electrical Engineering, University of California, Berkeley

Publications (153)

Control Barrier Functions: Theory and Applications
European Control Conference · 2019
2,032
cited
A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications
IEEE Conference on Decision and Control · 2014
173
cited
Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach
IEEE/RJS International Conference on Intelligent RObots and Systems · 2020
149
cited
Efficient finite abstraction of mixed monotone systems
International Conference on Hybrid Systems: Computation and Control · 2015
135
cited
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
at - Automatisierungstechnik · 2019
126
cited
A Compartmental Model for Traffic Networks and Its Dynamical Behavior
IEEE Transactions on Automatic Control · 2014
95
cited
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic
IEEE Conference on Decision and Control · 2018
85
cited
Scaling the size of a formation using relative position feedback
at - Automatisierungstechnik · 2012
84
cited
Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
IEEE Control Systems · 2021
66
cited
Traffic Network Control From Temporal Logic Specifications
IEEE Transactions on Control of Network Systems · 2014
66
cited
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications
IEEE Transactions on robotics · 2019
60
cited
A Dissipativity Approach to Safety Verification for Interconnected Systems
IEEE Transactions on Automatic Control · 2015
55
cited
Capacity modeling and routing for traffic networks with mixed autonomy
IEEE Conference on Decision and Control · 2017
53
cited
Stability of traffic flow networks with a polytree topology
at - Automatisierungstechnik · 2016
53
cited
Mixed Monotonicity for Reachability and Safety in Dynamical Systems
IEEE Conference on Decision and Control · 2020
52
cited
A Contractive Approach to Separable Lyapunov Functions for Monotone Systems
at - Automatisierungstechnik · 2017
46
cited
Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
IEEE Control Systems · 2017
39
cited
Energy management via pricing in LQ dynamic games
American Control Conference · 2013
38
cited
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances
IEEE Control Systems Letters · 2020
37
cited
Traffic Predictive Control from Low-Rank Structure
arXiv.org · 2016
37
cited
Sotabase
Samuel Coogan | Researcher Profile | Sotabase | Sotabase