Margin Top
Margin Bottom

Chess Open House, February 23, 3:00-5:00 pm

The BEARS Center for Hybrid and Embedded Software Systems (CHESS) Open House will be held on Thursday, February 23, 2006, from 3:00-5:00 pm. At the open house we will feature demonstrations and posters by Chess Students and Faculty. During the morning, there are talks by faculty members.

BEARS gives industrial partners of the university the opportunity to have firsthand interaction with students and faculty in a research context. This is beneficial to industrial participants, to make connections between ongoing work in academia and emerging problems in industry, as well as to student participants, to seek out relevant "real-world" applications for their work, and to make contacts for future interaction.

  You can find the overview poster here, in PowerPoint, and PDF versions.


  "HyVisual: a Hybrid System Visual Modeler"
Haiyang Zheng, Prof. Edward A. Lee
  "Streaming Media on an Application Specific Multiprocessor"
William Plishker, Kaushik Ravindran, Prof. Kurt Keutzer
  "Design Space Exploration for a Motion JPEG Encoder in the Metropolis Design Environment"
Abhijit Davare, Douglas Densmore, Qi Zhu, Prof. Alberto Sangiovanni-Vincentelli



Embedded and Autonomous Systems

Gang Zhou, Jackie Leung, Prof. Edward A. Lee, Christopher Brooks
    "The BErkeley AeRobots Project: BEAR"
David H.C. Shim, et al
    "Autonomous Rotorcraft Landing Using Computer Vision"
Todd Templeton, Christopher Geyer (now at Carnegie Mellon), J. Mikael Eklund, David H.C. Shim, Jonathan Sprinkle, Prof. Shankar Sastry
  "The Embedded Open Control Platform"
Jonathan Sprinkle, J. Mikael Eklund, David H.C. Shim, Christopher Brooks, Prof. Shankar Sastry
    "Group Pursuit Evasion Games of Unmanned Underwater Vehicles"
Jongho Lee, J. Mikael Eklund, Prof. Shankar Sastry

Industrial Applications

    "Optimal Gear Shift Pattern Scheduling and Smooth Gear Shifting Control for Automatic Transmissions"
Takashi Nagata, Hwan Hur, Tomoyuki Kaga, Prof. Masayoshi Tomizuka
    "Time Triggered Scheduling of Architecture Exploration for Automotive Application"
Wei Zheng, Prof. Alberto Sangiovanni-Vincentelli
  "Automotive Engine Hybrid Modeling and Control of Hydrocarbon Emissions"
Pannag Sanketi, Carlos Zavala, Prof. Karl Hedrick
    "Automotive Architecture Exploration in Metropolis"
Haibo Zheng, Prof. Alberto Sangiovanni-Vincentelli

Hybrid Systems

  "HyVisual: a Hybrid System Visual Modeler"
Haiyang Zheng, Prof. Edward A. Lee
  "Is There Life After Zeno?"
Aaron D. Ames, Robert D. Gregg, Haiyang Zheng, Prof. Shankar Sastry
  "Reachability Analysis for Discrete Time Stochastic Hybrid Systems"
Alessandro Abate, Saurabh Amin, Prof. Shankar Sastry

Theoretical Developments

    "Causality Interfaces and Compositional Causality Analysis"
Rachel Zhou, Haiyang Zheng, Prof. Edward A. Lee
  "An Interface Algebra for Real-Time Components"
Slobodan Matic, Prof. Thomas A. Henziger
  "Behavioral Types for Open Software Systems"
Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Prof. Thomas A. Henziger, Marcin Jurdzinski, Freddy Mang, and Marielle Stoelinga
    "Hierarchical Timing Language"
Arkadeb Ghosal, Prof. Alberto Sangiovanni-Vincentelli

Distributed Systems and Sensor Networks

  "Modeling a Heterogeneous Multiprocessor for Software Defined Radio"
Trevor Meyerowitz, Rong Chen, Jens Harnisch, Prof. Alberto Sangiovanni-Vincentelli
  "Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks"
Elaine Cheong, Prof. Edward A. Lee, Yang Zhao, Christopher Brooks
    "Synthesis Methodology for Concurrent Communicating Processes"
Gerald Wang, Prof. Alberto Sangiovanni-Vincentelli

Simulation and Verification

  "A First Look at Ptalon"
Adam Cataldo, Thomas Feng, Prof. Edward A. Lee
  "Communication & Co-Simulation Infrastructure in Heterogeneous System Integration"
Guang Yang, Prof. Alberto Sangiovanni-Vincentelli
Xi Chen, Harry Hsieh (UC Riverside)
Felice Balarin (Cadence Berkeley Labs)
  "Verifying Safety Properties in Assembly Code"
Matt Harren, Prof. George Necula
    "Prospector: A Sample Code Search Engine for Complex APIs"
David Mandelin, Prof. Ratislav Bodik
  "Ellipsoidal Toolbox"
Alexander Kurzhanskiy, Prof. Pravin Varaiya
  "Fault Tree Generation for Distributed Fault Tolerant Systems"
Mark L. McKelvin Jr., Claudio Pinello, Sri Kanajan, Prof. Alberto Sangiovanni-Vincentelli
    "Quasi-Static Schedulability Analysis"
Cong Liu, Prof. Alberto Sangiovanni-Vincentelli
    "Learning Nonlinear Dynamical Models for Human Motion Modeling"
Sumitra Ganesh, Aaron D. Ames, Prof. Ruzena Bajcsy
Download an iCalendar appointment to remind you to attend the Open House!
  Please address all questions regarding the CHESS open house to Jonathan Sprinkle. This page last modified February 28, 2006 .


©2002-2018 Chess