EECI 2012: Verification of Control Protocols

From MurrayWiki
Jump to: navigation, search

Return to Caltech/AFRL 2012 Main Page

This lecture will present examples of the design and verification of protocol synthesis for distributed embedded systems in the context of autonomy. We begin with consideration of control protocols for cooperation and decision making in multi-agent systems, as illustrated by the RoboFlag example introduced in the first lecture. We show how to implement a simple protocol for distributed target assignment in a simplified version of the problem (the "RoboFlag drill") and prove stability of the protocol. We also look at distributed systems that involve a single vehicle (Alice) that is using multiple computers to implement its control functionality.

Lecture Materials

Further Reading

Additional Information