[Amath-seminars] Boeing Lecture, Richard Murray, April 24 4pm, Smith 205

Steven Brunton sbrunton at uw.edu
Sun Apr 20 20:05:04 PDT 2014

Hi All,

Next Thursday, April 24th, Richard Murray will present the Boeing Distinguished Lecture in Applied Mathematics.

4:00pm, Smith 205
Thursday, April 24th, 2014

Please sign up to meet the speaker on the google doc page:

This should be a fantastic talk, and it will be great to see all of you there! Please forward to anyone you think will be interested!

Best Regards,

Richard Murray
Thursday, April 24th, 2014
4:00pm, Smith 205

Correct-by-Construction Design of Control Protocols for Hybrid Systems
We are investigating the specification, design and verification of distributed systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. Our goal is to develop methods and tools for designing control policies, specifying the properties of the resulting distributed embedded system and the physical environment, and proving that the specifications are met. We have recently developed a promising set of results in receding horizon temporal logic planning that allow automatic synthesis of protocols for hybrid (discrete and continuous state) dynamical systems that are guaranteed to satisfy the desired properties even in the presence of environmental action. The desired properties are expressed in the language of temporal logic, and the resulting system consists of a discrete planner that plans, in the abstracted discrete domain, a set of transitions of the system to ensure the correct behaviors, and a continuous controller that continuously implements the plan. Application areas include autonomous driving, vehicle management systems, and distributed multi-agent systems.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman13.u.washington.edu/pipermail/amath-seminars/attachments/20140420/d2e660b2/attachment.html>

More information about the Amath-seminars mailing list