SEC Study Groups Agenda
Room: 400 Cory (Tuesdays) or 337 Cory (Fridays)
Time: 14:00 - 15:00
9/7
CORBA (part I) -- Concepts
Jie Liu
9/9
CORBA (part II) -- Java IDL
Jie Liu
9/14
TAO and Quality of Service in CORBA
Xiaojun Liu
9/17
Scheduling for Embedded Systems
Alberto Sangiovanni-Vincentelli
9/21
Case Study -- Helicopter Control Systems
John Koo
9/28
Real-time Operating Systems -- QNX/PSOS/VxWorks
David Shim
10/5
The Time-Triggered Architecture
Claudio Pinello
10/12
Timed Automata Verification -- Part I
Stavros Tripakis
10/15
Battle Plan -- Open Control Platform
Edward A. Lee
10/19
Battle Plan -- Active Models and Hybrid Systems
Shankar Sastry
10/22
Dynamic Systems & Control Group at UTRC
Jim Fuller, UTRC
10/26
Timed Automata Verification -- Part II
Stavros Tripakis
11/2
Invariant sets and control synthesis for switching systems with safety specifications
Marika Di Benedetto
11/10
Middleware in Distributed Real-time Systems
Douglas C. Schmidt, UCI
11/16
Modeling Concurrent Real-time Processes Using Discrete Events
Edward A. Lee
11/23
Modeling stochastic hybrid systems, part I
Tom Henzinger
11/30
Modeling stochastic hybrid systems, part II
Tom Henzinger
Please, provide hand out material one week in advance before discussing a particular topic.
Remarks/Comments, send email to
Jie Liu