BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
X-WR-CALNAME:CompSci Colloquium: Sriram Sankaranarayanan (CU Boulder)
X-WR-TIMEZONE:Mountain Time (US & Canada)
BEGIN:VEVENT
DTSTAMP:20260712T211341Z
UID:tag:localist.com\,2008:EventInstance_3922008
DTSTART:20181101T213000Z
DTEND:20181101T223000Z
DESCRIPTION:Learning Controllers (and Proofs of Correctness) from Demonstra
 tions\n\nABSTRACT: We present approaches for learning control algorithms f
 or autonomous vehicles from demonstrations. Given a dynamical model of a v
 ehicle\, and a desired specification such as the trajectory to be driven a
 nd speed limits to maintain\, we wish to learn control laws\, along with "
 certificates" of correctness\, expressed in a suitable formal proof system
 .  Our learning approach is based on a user-provided demonstrator that can
  be queried at specific system configurations and results in a control inp
 ut to be used for that configuration.  For instance\, nonlinear model pred
 ictive controllers (NMPCs) built using optimization solvers and carefully 
 designed cost functions can serve the role of a demonstrator. Given such a
  demonstrator\, we show how to effectively learn a control law and a proof
  of its correctness for desired properties such as safety\, reachability a
 nd path following. We prove rapid convergence of our learning scheme in po
 lynomial time using ideas from convex analysis. If successful\, the result
 ing controller comes with a proof of correctness over the given dynamical 
 model.  Finally\, we demonstrate some of the advantages of our approach us
 ing laboratory experiments that evaluate our controllers on a 1/8th scale 
 model car.\n\nJoint Work with Sina Aghli\, Christoffer Heckman  and Hadi R
 avanbakhsh.\n\nBIO: Sriram Sankaranarayanan is an associate professor of c
 omputer science at CU Boulder. His research interests focus primarily on t
 he formal verification and synthesis of cyber-physical systems with applic
 ations to autonomous medical devices and vehicles. He obtained a PhD in Co
 mputer Science from Stanford University (2005) and worked as a researcher 
 at NEC Laboratories America in Princeton\, NJ\, before joining CU Boulder 
 in 2009.
GEO:40.006791;-105.262818
LOCATION:Engineering Center\, ECCR 265
SUMMARY:CompSci Colloquium: Sriram Sankaranarayanan (CU Boulder)
URL;VALUE=URI:https://calendar.colorado.edu/event/compsci_colloquium_sriram
 _sankaranarayanan_cu_boulder
CATEGORIES:Colloquium/Seminar
END:VEVENT
END:VCALENDAR