March 12, 2002 MoBIES Review, Berkeley, CA

NOTE: Presentations are provided in both PDF and Powerpoint formats because, for reasons that you will have to discuss with Microsoft and Adobe, it does not appear to be possible to generate accurate PDF files from Powerpoint files. Providing Powerpoint files makes it very easy and tempting to "borrow" their material. However, these presentations are owned by the author, so please do not use their material without permission from the author.

Process-BasedSoftware Components, Edward A. Lee
(PDF, powerpoint)
Mixing Models of Computation, Jie Liu
(PDF, powerpoint)
Modeling and Controlling the Caltech Ducted Fan Model, Steve Neuendorffer
(PDF, powerpoint)
Engine Throttle Controller Design Using Multiple Models of Computation, Haiyang Zheng
(PDF, powerpoint )
Modal Models in Vehicle-Vehicle Coordination Control, Xiaojun Liu
(PDF, powerpoint)
Data types and behavioral types, Yuhong Xiong
(PDF, powerpoint)
Interface-based Design of Embedded Systems, Tom Henzinger
(PDF, powerpoint)