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

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

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

Schedule

All times in this Schedule are Pacific Time (PT)

Monday, April 15, 2002

Morning Session

08:30-09:00
Check-In/Light Breakfast (Hosted by IPAM)
09:00-09:05
Welcome and Opening Remarks
09:05-10:15
William Hall (Draper Laboratory)
Robustness and the Air Transportation Network
10:15-10:45
Break
10:45-12:00
David Alderson (Naval Postgraduate School)
Cascading Failures in Infrastructure Networks

Afternoon Session

12:00-14:00
Lunch (on your own)
14:00-15:15
Banavar Sridhar (NASA Ames Research Center)
Modeling, Optimization and Control problems in the National Airspace System
15:15-15:45
Break
15:45-17:00
Claire Tomlin (University of California, Berkeley (UC Berkeley))
Hybrid Control Problems in Air Traffic Networks
17:00-17:30
Panel Discussion
17:30-19:00
Wine/Cheese Reception (Hosted by IPAM)

Tuesday, April 16, 2002

Morning Session

08:30-09:00
Continental Breakfast
09:00-10:15
Jaime Peraire (Massachusetts Institute of Technology)
A General Lagrangian Formulation for the computation of a-posteriori Finite Element Bounds
10:15-10:45
Break
10:45-12:00
George Verghese (Massachusetts Institute of Technology)
Waves, Cascades and Flows: Examples of Dynamics, Control and Estimation in Linear Network Models

Afternoon Session

12:00-14:00
Lunch (on your own)
14:00-15:15
Deborah Estrin (University of California, Los Angeles (UCLA))
The Century Challenges: Embedding the Internet
15:15-15:45
Break
15:45-17:00
John Doyle (California Institute of Technology)
Robustness & Verification
17:00-17:15
Summary

Wednesday, April 17, 2002

Morning Session

08:30-09:00
Continental Breakfast
09:00-10:15
Richard Murray (California Institute of Technology)
Information Flow and Cooperative Control of Vehicle Formations
10:15-10:45
Break
10:45-12:00
Eric Feron (Massachusetts Institute of Technology)
Stability and Performance of Networks of Cooperating Vehicles

Afternoon Session

12:00-14:00
Lunch (on your own)
14:00-15:15
Rahul Sarpeshkar (Massachusetts Institute of Technology)
Biologically Inspired Electronics
15:15-15:45
Break
15:45-17:00
Lieven Vandenberghe (University of California, Los Angeles (UCLA))
Algorithms for convex optimization
17:00-17:15
Summary
17:15-19:15
Dinner (Hosted by IPAM)

Thursday, April 18, 2002

Morning Session

08:30-09:00
Continental Breakfast
09:00-10:15
Lin Xiao (Microsoft Research)
Simultaneous Routing and Resource Allocation via Dual Decomposition
10:15-10:45
Break
10:45-12:00
Discussion on Research Topics

Afternoon Session

12:00-14:00
Lunch (on your own)
14:00-15:15
Jeff Shamma (UCLA)
Decomposition for Distributed Control
15:15-15:45
Break
15:45-17:00
Carla Gomes (Cornell University)
The Integration of Constrained-Based Reasoning and Mathematical Programming Methods
17:00-17:15
Summary

Friday, April 19, 2002

Morning Session

08:30-09:30
Continental Breakfast
09:30-10:15
Sergio Servetto (Cornell University)
Queues under feedback control
10:15-10:45
Break
10:45-12:00
Round Table Discussion
Printable Version