Large-Scale Engineering Networks: Robustness, Verifiability, and Convergence

Part of the Long Program Large Scale Communication Networks
April 15 - 19, 2002

Schedule


Monday, April 15, 2002

9:05 - 10:15
William Hall (Draper Laboratory)

Robustness and the Air Transportation Network

10:45 - 12:00
David Alderson (California Institute of Technology)

Cascading Failures in Infrastructure Networks
Presentation (PowerPoint File)

2:00 - 3:15
3:45 - 5:00
Claire Tomlin (Stanford University)

Hybrid Control Problems in Air Traffic Networks


Tuesday, April 16, 2002

9:00 - 10:15
Jaime Peraire (Massachusetts Institute of Technology)

A General Lagrangian Formulation for the computation of a-posteriori Finite Element Bounds

10:45 - 12:00
2:00 - 3:15
Deborah Estrin (UCLA)

The Century Challenges: Embedding the Internet
Presentation (PowerPoint File)

3:45 - 5:00
John Doyle (California Institute of Technology)

Robustness & Verification


Wednesday, April 17, 2002

9:00 - 10:15
Richard Murray (California Institute of Technology)

Information Flow and Cooperative Control of Vehicle Formations

10:45 - 12:00
Eric Feron (Massachusetts Institute of Technology)

Stability and Performance of Networks of Cooperating Vehicles

2:00 - 3:15
Rahul Sarpeshkar (Massachusetts Institute of Technology)

Biologically Inspired Electronics

3:45 - 5:00
Lieven Vandenberghe (UCLA)

Algorithms for convex optimization


Thursday, April 18, 2002

9:00 - 10:15
Lin Xiao (Stanford University)

Simultaneous Routing and Resource Allocation via Dual Decomposition
PDF Presentation

2:00 - 3:15
Jeff Shamma (UCLA)

Decomposition for Distributed Control

3:45 - 5:00

Friday, April 19, 2002

9:30 - 10:15
Sergio Servetto (Cornell University)

Queues under feedback control
PDF Presentation