| 1/24/2000 | Plans and schedules for this semester | |||
| 1/31/2000 | Project outlines | Edward Lee | ||
| 2/4/2000 | Embedded software | Kees Vissers | ||
| 2/7/2000 | Stochastic hybrid systems | Jianghai Hu | ||
| 2/14/2000 | Project outlines (continued) | Edward Lee | ||
| 2/21/2000 | Holiday | |||
| 2/28/2000 | Helicopter control system software model | David Shim | ||
| 3/6/2000 | Helicopter control system software model | David Shim, Xiaojun Liu, and Edward Lee | ||
| 3/13/2000 | Embedded system laboratory: a draft plan | Luca de Alfaro | ||
| 3/20/2000 | SHIFT and lambda-SHIFT | Tunc Simsek | ||
| 4/3/2000 | Hybrid system modeling in Ptolemy II | Jie Liu | ||
| 4/10/2000 | Control systems in the Boeing 777 (handout in the meeting) | Ben Horowitz | ||
| 4/17/2000 | Brainstorming for the Albuquerque SEC demo | Edward Lee | ||
| 4/24/2000 | Cancelled | Faculty retreat | ||
| 5/1/2000 | FRESCO: Formal REal time Software COmponents | Tom Henzinger | ||
|
| 5/8/2000 | Report on the St. Louis OCP meeting | Edward Lee | |
| TBA | Zeno phenomena in hybrid systems | Karl Johansson |