AME Seminar

Speaker: Claire Tomlin, Professor, Electrical Engineering and Computer Sciences, University of California at Berkeley

Talk Title: Verification and Control of Hybrid Systems with Application to Multiple Coordinating UAVs

Abstract: This talk will present reachability analysis as a tool for model checking and controller synthesis for hybrid systems. We consider the problem of guaranteeing reachability to a given desired subset of the state space, allowing for nonlinear dynamics in each discrete mode, and possibly non-convex state constraints. Techniques from hybrid system verification are presented and used to compute reachable sets, under bounded model disturbances that vary continuously, as well as under 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 using our UAV testbeds as well as Boeing aircraft.

Host: Dr. G. Spedding

More Info: http://ame-www.usc.edu/seminars/9-8-10-tomlin.shtml

Location: John Stauffer Science Lecture Hall (SLH) - 100

Audiences: Everyone Is Invited

Contact: April Mundy

Event Link: http://ame-www.usc.edu/seminars/9-8-10-tomlin.shtml