Sam Coogan

PhD Candidate in EECS
UC Berkeley

Self Picture

About Me

PhD Candidate
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley
E-mail: sam[dot]coogan[at]berkeley[dot]edu
Advisor: Prof. Murat Arcak

Background

I am a fourth year PhD candidate working with Dr. Murat Arcak in the Networked Dynamical Systems Group. My research is funded in part by a National Science Foundation Graduate Research Fellowship.

I graduated from Georgia Tech with a B.S. in Electrical Engineering in May, 2010 and received a M.S. in Electrical Engineering from UC Berkeley in May, 2012. I expect to complete my PhD in the Spring of 2015.

During Summer 2012, I interned at NASA's Jet Propulsion Lab. I was a visiting scholar at the Lund Center for Control of Complex Engineering Systems at Lund University, Sweden during October 2012. My Erdős number is 4.

Research Interests

My research centers around analysis and control of cyber-physical, networked systems with applications that include dynamic traffic modeling, freeway and arterial traffic control, and formation control of mobile agents. I am interested in applying tools from the computer science domain of formal methods to the problem of control synthesis and verification for dynamical systems. Formal methods tools allow rich control specifications to be expressed using temporal logic, and verification and synthesis algorithms allow development of provably correct control strategies that achieve these rich objectives.