BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Exploiting Structure for Scalable Design and Verification of Compl
 ex Systems - Professor Murat Arcak\, Electrical Engineering and Computer S
 cience Department\, UC Berkeley
DTSTART:20231121T160000Z
DTEND:20231121T170000Z
UID:TALK207886@talks.cam.ac.uk
CONTACT:Rachel Fogg
DESCRIPTION:Abstract.  This talk will showcase how exploiting structural p
 roperties in natural and engineered dynamical systems can greatly simplify
  design and verification tasks. We will begin with the structure of geneti
 c circuits and multicellular interactions that generate spatiotemporal phe
 nomena essential to developmental biology. We will then demonstrate our sy
 nthetic circuit designs that reproduced such phenomena in live cells. Movi
 ng from synthetic biology to engineering\, we will address the problem of 
 verifying performance and safety of autonomous systems\, with control stac
 ks that integrate control\, planning\, and decision-making layers. Vital t
 o this verification process is reachability analysis\, which is a major co
 mputational challenge for complex systems. We will explain how exploiting 
 dynamical properties has helped us overcome this challenge\, resulting in 
 computationally efficient and scalable reachability methods. The talk will
  conclude with a discussion of open problems and research opportunities.\n
  \nBiography.  Murat Arcak is a professor at U.C. Berkeley in the Electric
 al Engineering and Computer Sciences Department\, with a courtesy appointm
 ent in Mechanical Engineering.  He received the B.S. degree from Bogazici 
 University\, Istanbul\, Turkey (1996) and the M.S. and Ph.D. degrees from 
 the University of California\, Santa Barbara (1997 and 2000). He received 
 a CAREER Award from the National Science Foundation in 2003\, the Donald P
 . Eckman Award from the American Automatic Control Council in 2006\, the C
 ontrol and Systems Theory Prize from the Society for Industrial and Applie
 d Mathematics (SIAM) in 2007\, and the Antonio Ruberti Young Researcher Pr
 ize from the IEEE Control Systems Society in 2014. He is a member of ACM a
 nd SIAM\, and a fellow of IEEE and the International Federation of Automat
 ic Control (IFAC).\n
LOCATION:Department of Engineering\, James Dyson Building Seminar Room
END:VEVENT
END:VCALENDAR