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

Steven Brunton sbrunton at uw.edu
Thu Apr 24 08:11:57 PDT 2014


Dear All,

A reminder that Richard Murray will present the Boeing Distinguished Lecture in Applied Mathematics Today (Thursday April 24) at 4pm in Smith 205.

Hope to see you there!

Best Regards,
Steve

On Apr 20, 2014, at 8:05 PM, Steven Brunton <sbrunton at uw.edu> wrote:


> 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:

> https://docs.google.com/document/d/1lmYvMDqTcBDvfDr1wwf_lyDdeG4B_I5NgOptNSF5ZkM/edit?usp=sharing

>

> 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,

> Steve

>

> ===============

> 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/20140424/deb34355/attachment.html>


More information about the Amath-seminars mailing list