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