|
|
|
|
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.   |
| |
|
| |
|
Posters:
|
| |
Embedded and Autonomous Systems |
| |
|
"Codegen"
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
. |
|
|
