Specification, Design and Verification of Distributed Embedded Systems

Add to your list(s) Download to your calendar using vCal

• Professor Richard Murray (Caltech)
• Wednesday 16 March 2011, 15:00-16:00
• Cambridge University Engineering Department, LR10.

If you have a question about this talk, please contact Dr Ioannis Lestas.

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. In the area of hybrid systems, we have developed tools for analysis of periodically controlled 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 set of results in receding horizon temporal logic planning that allow automatic synthesis of complex dynamical systems which are guaranteed, by construction, to satisfy the desired properties even in the presence of adversary. 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.

This talk is part of the CUED Control Group Seminars series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• CUED Control Group Seminars
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge University Engineering Department Talks
• Cambridge University Engineering Department, LR10
• Cambridge talks
• Centre for Smart Infrastructure & Construction
• Chris Davis' list
• Computational Continuum Mechanics Group Seminars
• Featured lists
• Information Engineering Division seminar list
• Interested Talks
• School of Technology
• Signal Processing and Communications Lab Seminars
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.