BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Specification\, Design and Verification of Distributed Embedded  S
 ystems - Professor Richard Murray (Caltech)
DTSTART:20110316T150000Z
DTEND:20110316T160000Z
UID:TALK29908@talks.cam.ac.uk
CONTACT:Dr Ioannis Lestas
DESCRIPTION:We are investigating the specification\, design and verificati
 on of distributed systems that combine communications\, computation and co
 ntrol 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 e
 nvironment\, and proving that the specifications are met. In the area of h
 ybrid systems\, we have developed tools for analysis of periodically contr
 olled hybrid automata (PCHAs) that allow us to prove stability for control
  systems that have slightly asynchronous controller execution (with bounds
  on the controller execution period). We have also developed a promising s
 et of results in receding horizon temporal logic planning that allow autom
 atic synthesis of complex dynamical systems which are guaranteed\, by cons
 truction\, to satisfy the desired properties even in the presence of adver
 sary. The desired properties are expressed in the language of temporal log
 ic and the resulting system consists of a discrete planner that plans\, in
  the abstracted discrete domain\, a set of transitions of the system to en
 sure the correct behaviors and a continuous controller that continuously i
 mplements the plan.\n
LOCATION:Cambridge University Engineering Department\, LR10
END:VEVENT
END:VCALENDAR