ECE Events Calendar

Event Information Booz Allen Colloquium: "Verification & Control of Hybrid Systems," Prof. Claire Tomlin Friday, October 28, 2011 3:00 p.m. 1110 Jeong H. Kim Engineering Bldg. For More Information: Carrie Hilmer 301 405 4471 chilmer@umd.edu http://www.ece.umd.edu/colloquium Booz Allen Hamilton Distinguished Colloquium in Electrical and Computer Engineering "Verification and Control of Hybrid Systems Using Reachability Analysis" Prof. Claire Tomlin University of California-Berkeley Abstract: This talk will present reachability analysis as a tool for model checking and controller synthesis for dynamic systems.  We will consider the problem of guaranteeing reachability to a given desired subset of the state space while satisfying a safety property defined in terms of state constraints. We allow for nonlinear and hybrid dynamics, and possibly nonconvex state constraints.  We use these results to synthesize controllers that ensure safety and reachability properties under bounded model disturbances that vary continuously. We also consider the effects of sampling and quantization. The resulting control policy is an explicit feedback law involving both a selection of continuous inputs and discrete switching commands at each time instant, based upon measurement of system state. We discuss real time implementations of this, and present several examples from multiple aerial vehicle control, human-robot interaction, and multiple player games. Biography: Claire Tomlin is a Professor of Electrical Engineering and Computer Sciences at the University of California at Berkeley, where she holds the Charles A. Desoer Chair in Engineering.  She held the positions of Assistant, Associate, and Full Professor at Stanford from 1998-2007, and in 2005 joined Berkeley.  She received the Erlander Professorship of the Swedish Research Council in 2009, a MacArthur Fellowship in 2006, and the Eckman Award of the American Automatic Control Council in 2003.  She works in hybrid systems and control, with applications to air traffic systems, robotics, and biology. This Event is For: Campus • Clark School • All Students • Graduate • Undergraduate • Prospective Students • K-12 • Faculty • Staff • Post-Docs • Corporate

Calendar Home « Previous Month    Next Month » May 2013 SU M TU W TH F SA 1 2 3 4 w 5 6 7 8 9 10 11 w 12 13 14 15 16 17 18 w 19 20 21 22 23 24 25 w 26 27 28 29 30 31 w Search Events Calendar Navigation Tips: Click on a linked date to see all events listed for that date. Click on a "w" (on the right) to see a complete list of that week's events. Click on a day of the week at the top ("M," "TU," "W," etc.) to see a list of all events occurring on that day of the week during the displayed month. Tell Us About Your Event! Submit an Event Have Event Announcements Delivered via RSS! ECE Event RSS Feed Browse Events By... Category Career Activities Conference Deadline Information Session Lecture Panel Recruitment Seminar Special Events Social Student Societies Symposium Workshop Archived Events Prior to 2006 Audience Alumni Campus-Wide Clark School Corporate Partners Current Students-All Donors and Friends Employers Faculty Graduate K-12 Open to the Public Press Prospective Students Post-Docs Staff Undergraduate Directions and Map Directions to Campus Campus Map Also see: Clark School Events Calendar University Events Calendar University Academic Calendar

↑ Back to Top