Margin Top
Margin Bottom


CHESS Research

The CHESS Center operated from 2002 through 2017. See Industrial Cyberphysical Systems (iCyPhy) for more recent research. The CHESS website is no longer actively being maintanied.

See the Charter page for an overview of CHESS research in various formats.
Project Sponsors Faculty
ActionWebs NSF Claire Tomlin (Principal Investigator),
Edward Lee (Co-Principal Investigator),
S. Shankar Sastry (Co-Principal Investigator),
David Culler (Co-Principal Investigator),
Hamsa Balakrishnan (Co-Principal Investigator)
Game-Theoretic Timing Analysis Toyota, NSF Sanjit Seshia
Analysis, Synthesis, Verification of Electronic Systems Various Alberto Sangiovanni-Vincentelli
Cyber-Physical Systems NSF and others Edward A. Lee, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Claire Tomlin
drosonetsim NSF Claire Tomlin
EECS 149: Introduction to Embedded Systems UC Berkeley Edward A. Lee, Sanjit Seshia, Claire Tomlin
Hybrid Systems Laboratory NSF ITR and others Claire Tomlin
Industrial Cyber-physical Systems (iCyPhy) IBM and United Technologies Edward A. Lee, Richard Murray (Caltech), Alberto Sangiovanni-Vincentelli
Mechanical Systems Control Laboratory Toyota and others Karl Hedrick, Masayoshi Tomizuka
PTIDES (Programming Temporally Integrated Distributed Embedded Systems) Various Edward A. Lee
Ptolemy: Design technology for heterogeneous systems Various Edward A. Lee
Precision Timed (PRET) Machines NSF and others Stephen A. Edwards, Edward A. Lee
TerraSwarm The STARnet phase of the Focus Center Research Program (FCRP) administered by the Semiconductor Research Corporation (SRC). Funding comes from the Defense Advanced Research Projects Agency (DARPA) and the SRC industry partners, including Applied Materials, GLOBALFOUNDRIES, IBM, Intel Corporation, Micron Technology, Raytheon, Texas Instruments, and United Technologies. Edward A. Lee, Sanjit Seshia, Alberto Sangiovanni-Vincentelli and about 21 other faculty

Inactive Research

Blast: The Berkeley Lazy Abstraction Software Verification Tool
Foundations of Hybrid and Embedded Software Systems (CHESS ITR) 2003-2010
Clotho-BioCad, toolset for development of synthetic biological systems 2008-2010
Disciplined Design of System of Systems 2011-2012
FuSe: Fundamentals of Sensor Webs
Giotto: A Methodology for Embedded Control Systems Development
MURI Project on High-Confidence Design for Distributed Embedded Systems (HCDDES) 2005-2011
HyTech: A symbolic model checker for hybrid automata
Mescal: Modern Embedded Systems, Compilers, Architectures and Languages
Metropolis: Design Environment for Heterogeneous Systems
MoBIES: Model-Based Integration of Embedded Software
Mocha: Exploiting Modularity in Model Checking
NAOMI Multimodeling 2006-2010
Nephest: Open platforms for embedded software research
Ptolemy/Rome AFRL Extensible Modeling and Analysis Framework 2008-2013
Thales/CHESS Interactions 2009-2013
Ptolemy Hierarchical Orthogonal Multi-Attribute Solver 2009?-2011?
Scalable Composition of Systems (SCOS) 2007-2011
SEC: Software Enabled Control
VDL: Vehicle Dynamics Lab
Viptos: a block-diagram editor and simulator for TinyOS systems
Soft Walls: Airspace protection

See also the downloads page and the workgroups page.

©2002-2018 Chess