*banner
 
Margin Top
Margin Bottom

Note: Presentations are provided in both PDF and Powerpoint formats for convenience. Providing Powerpoint files makes it very easy and tempting to "borrow" the material. However, these presentations are owned by the author. Please do not use this material without permission from the author.

Program
Chess Review - May 10th, 2004

  1. Overview Session
  2. Research Presentations: Design Methodologies
  3. Poster Presentations
  4. Research presentations: Software Tools
  5. Research presentations: Hybrid Systems and Sensor Networks
  6. Highlight Talk: Computational Methods for Analyzing and Controlling Hybrid Systems

Program

8:30 - 9:50 Overview Session

  • 8:30 - 8:50 Program Overview PDF PPT
    S. Sastry (UC Berkeley)
  • 8:50 - 9:05 Hybrid Systems Theory PDF PPT
    T. Henzinger (UC Berkeley)
  • 9:05 - 9:20 Model-based Design PDF PPT
    Gabor Karsai (Vanderbilt)
  • 9:20 - 9:35 Advanced Tool Architectures PDF PPT
    Edward A. Lee (UC Berkeley)
  • 9:35 - 9:50 Experimental Research PDF PPT
    Alberto Sangiovanni-Vincentelli (UC Berkeley)
9:50 - 10:10 Break

10:10 - 11:10 Research Presentations: Design Methodologies

  • Event-driven Real-Time Programming PDF PPT
    Arkadeb Ghosal and Tom Henzinger
  • A Comparison of Network Processor Programming Environments PDF PPT
    William Plishker and Kurt Keutzer
  • Classes and Inheritance in Actor-Oriented Models PDF PPT
    Steven Neuendorffer and Edward A. Lee

11:10 - 12:00 Short poster presentations

Stochastic Hybrid Systems Alessandro Abate and Shankar Sastry Poster, Poster presentation (PPT)
Zeno Behavior in Hybrid Systems Aaron Ames and Shankar Sastry Poster, Poster presentation (PPT)
Wireless Sensor Network Design Methodology A. Bonivento, A. Pinto, and Alberto Sangiovanni-Vincentelli Poster, Poster presentation (PPT)
Rich Interface Theories for Component-based Design Arindam Chakrabarti and Tom Henzinger Poster, Poster presentation (PPT)
galsC: A Language for Event-Driven Embedded Systems Elaine Cheong, Jie Liu, and Edward A. Lee Poster (pdf)
Congestion Control and Fairness for Many-to-One Routing in Sensor Networks Cheng Tien Ee and Ruzena Bajcsy Poster, Poster presentation (PPT)
Metamodeling Infrastructure for Model-Integrated Computing Matthew J. Emerson, Andrew D. Dixon, Kai Chen and Janos Sztipanovits Poster, Poster presentation (PPT)
Distributed Diagnosis Algorithm Jyoti Gandhe and Gautam Biswas Poster, Poster presentation (PPT)
Multiple Aspect Modeling Front-End for SIGNAL Ethan Jackson and Janos Sztipanovits Poster, Poster presentation (PPT)
Computation of reach sets Alex Kurzhanskiy and Pravin Varaiya Poster, Poster presentation (PPT)
Platform-based Design for Mixed Analog-Digital Designs Yanmei Li, Fernando de Bernardinis, and Alberto Sangiovanni-Vincentelli Poster, Poster presentation (PPT)
Distributing Giotto Slobodan Matic and Tom Henzinger Poster, Poster presentation (PPT)
Hierarchical Reconfiguration of Dataflow Models Steve Neuendorffer and Edward A. Lee Poster, Poster presentation (PPT)
Fault Tolerant Design of Distributed Automotive Systems Claudio Pinello and Alberto Sangiovanni-Vincentelli Poster, Poster presentation (PPT)
Distributed Control with a Networked Embedded System Tao Tao and Kenneth Frampton Poster, Poster presentation (PPT)
Online supervisory control Jian Wu and Gautam Biswas Poster, Poster presentation (PPT)
Model-Based Real Time Embedded Control Software for Automotive Applications Jose Carlos Zavala and Pannag Sanketi Poster
Modeling of Sensor Nets in Ptolemy II Yang Zhao and Edward A. Lee Poster, Poster presentation (PPT)
12:00 - 2:00 Posters and Lunch

2:00 - 3:00 Research Presentations: Software Tools

  • Metropolis, an Environment for System-level Design PDF PPT
    Abhijit Davare and Alberto Sangiovanni-Vincentelli
  • StreamBit: Sketching Implementations for Bitstream Programs PDF PPT
    Armando Solar-Lezama and Ras Bodik
  • Verifying Data Structure Invariants in Device Drivers PDF PPT
    Scott McPeak and George Necula
3:00 - 3:30 Break

3:30 - 4:30 Research Presentations: Hybrid Systems and Sensor Networks

  • Congestion Control and Fairness For Many-to-One Routing in Sensor Networks PDF PPT
    Cheng Tien Ee
  • Semantic Translation of Simulink/Stateflow Models to Hybrid Automata using Graph Transformations PDF PPT
    Aditya Agarwal
  • Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems PDF PPT
    Wei Chung Wu, Jianghai Hu, and Shankar Sastry
4:30 - 5:30 Highlight Talk
  • Computational Methods for Analyzing and Controlling Hybrid Systems PDF PPT
    Claire J. Tomlin, Stanford University

©2002-2018 Chess