*banner
 
Margin Top
Margin Bottom

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

8:30

Introduction

8:308:45

Jonathan Sprinkle
Overview of the CHESS Center

8:45

Technical Talks

8:459:15

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

9:1510:15

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

10:3011:30

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

11:3012:00

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

12:301:30

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

1:302:00

Karl Hedrick
Modeling and Control for Reduced Hydorcarbons During Coldstart

2:153:00

Shankar Sastry
Networked Embedded Systems: Beyond Sensor Webs

3:004: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

 

You are not logged in 
©2002-2017 Chess