LPE Reading Group

Spring 2001
Caltech, Cornell, MIT, UCLA, U. Colorado

Participants

• Organizers: Richard Murray (Caltech), Jason Hickey (Caltech), Raff D'Andrea (Cornell)
• Caltech: Reza Olfati-Saber, Kristi Morgansen, Nicolas Petit, Bill Dunbar, Henrik Sandberg, Ben Rahn
• Cornell: Matt Earl, Pritam Ganguly
• MIT: (Eric Feron)
• UCLA: (Jeff Shamma)
• Colorado: (John Hauser)

Agenda

Week	Date	Discussion Leader	Topic	Reading	Notes
1	5 Apr	Jason Hickey	Introduction Point to point protocols	None	pdf, wbd
2	12 Apr	Reza Olfati-Saber	Multi-point protocols	Birman 13.10-13.12	pdf, wbd
3	19 Apr	Matt Earl	Routing	Tannenbaum, 5.2	pdf
4	26 Apr	Bill Dunbar	I/O Automata	Lynch, 8.1	pdf
5	3 May	Pritam Ganguly	Operations on I/O Automata	Lynch, 8.2	pdf
6	10 May	???	Fairness	Lynch, 8.3-8.4	pdf
7	17 May		skipped
8	24 May	Jason Hickey	Properties and proofs	Lynch, 8.5.1-8.5.3	pdf
9	31 May	Pritam Ganguly	Properties and proofs, ctd	Lynch 8.5.4-8.5.5	pdf
10	7 Jun	Ben Rahn	Consensus	Lynch, 12	pdf
11	19 Jun	Reza Olfati-Saber	Timed I/O automata	Lynch, 25.1-25.?	pdf
12	26 Jun		skipped
13	3 Jul	Reza Olfati-Saber	Timed automata, continued	Lynch, 25.?-25.?	pdf
14	10 Jul		skipped
15	17 Jul	Matt Earl	Consensus in synchronous networks	Lynch, 2, 6.1-6.2, 6.7, Attiya et al	pdf (truncated)
17	25 July	Matt Earl, Raff D'Andrea	Consensus, ctd.; RoboFlag discussion	Lynch 6.7, 25.3, RoboFlag	pdf, wbd
18	31 July	Jason Hickey	Modeling a Defending Robot as an Automaton	RoboFlag Drill: Defend the Zone	pdf, wbd
19	7 August	Jason Hickey	Modeling simple RoboFlag Drill using Automata		pdf, wbd
20	14 August	Reza Olfati-Saber	Pursuit Automata	Pursuit Automata, Earl's simulation	pdf, wbd
21	21 August	Jason Hickey	Multiplayer game		pdf, wbd
22	28 August	Jason Hickey	Multiplayer game, Next Steps, Controls Primer		pdf, wbd

Course Materials

References

• Kenneth P. Birman, Building Secure and Reliable Network Applications, Manning Publishing, 1996.
• Nancy Lynch, Distributed Algorithms, Morgan Kaufmann Publishers, 1996.
• Andrew S. Tannenbaum, Computer Networks, Prentice Hall, second edition, 1996.
• Hagit Attiya, Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer. Bounds on the time to reach agreement in the presence of timing uncertainty . Journal of the ACM, 41(1): 122-152, January 1994.
• Matthew G. Earl and Raffaello D'Andrea, RoboFlag Drill: Defend the Zone, 2001 (draft). [ps]
• Reza Olfati-Saber, Pursuit Automata, 2001 (draft). [ps]

Links

• SEC: High Confidence Reconfigurable Distributed Control
• MURI: Cooperative Control of Distributed Autonomous Vehicles in Adversarial Environments