*banner
 
Margin Top
Margin Bottom

Program
Chess Winter Meeting - February 14th, 2007
540 Cory Hall, UC Berkeley

8:30

Introduction

8:30–8:45

Jonathan Sprinkle
Overview of the CHESS Center

8:45

Technical Talks

8:45–9:15

Jonathan Sprinkle
Making Research out of Contests: The CHESS Approach to the DARPA Grand Challenge

9:15–10:15

Claire J. Tomlin
Cooperative control of a Quadrotor Aircraft Fleet to seek Information

10:30–11:30

Alberto Sangiovanni-Vincentelli
A General Synthesis Approach for Embedded Systems Design with Applications to Multi-media and Automotive Designs

11:30–12:00

Abhijit Davare
Metropolis II: A Next-Generation Framework for Platform-based Design

12:30–1:30

Thomas A. Henzinger
Value-Iteration Fixpoints in Verification and Control

1:30–2:00

Karl Hedrick
Modeling and Control for Reduced Hydorcarbons During Coldstart

2:15–3:00

Shankar Sastry
Networked Embedded Systems: Beyond Sensor Webs

3:00–4:00

Edward A. Lee
Discrete Event Models: Getting the Semantics Right

4:00

Closing

 

Jonathan Sprinkle

   

Due to the Valentine's Holiday, there will be no formal reception

Main Conference Page

 

©2002-2018 Chess