| Project |
Sponsors |
Faculty |
| Analysis, Synthesis, Verification of Electronic Systems |
Various |
Alberto Sangiovanni-Vincentelli |
| BioCad: Platform-Based Design of Synthetic Biological Tools |
Various |
Alberto Sangiovanni-Vincentelli |
| Clotho-BioCad, toolset for development of synthetic biological systems |
NSF, Genentech |
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
|
| Foundations of Hybrid and Embedded Software Systems |
NSF |
Various |
| MURI Project on High-Confidence Design for Distributed Embedded Systems |
AFOSR |
Edward A. Lee,
Shankar Sastry,
Janos Sztipanovits,
Claire Tomlin and others.
|
| HSBC/CHESS Interactions |
HSBC Bank |
Edward A. Lee
|
| Hybrid Systems Laboratory |
NSF ITR and others |
Claire Tomlin
|
| Mechanical Systems Control Laboratory |
Toyota and others |
Karl Hedrick,
Masayoshi Tomizuka
|
| NAOMI Multimodeling |
Lockheed Martin Advanced Technology Laboratories (ATL) |
Edward A. Lee
|
| Ptolemy/Rome AFRL Extensible Modeling and Analysis Framework |
Rome Air Force Research Laboratory |
Edward A. Lee
|
| Ptolemy Hierarchical Orthogonal Multi-Attribute Solver |
Bosch |
Edward A. Lee
|
| 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
|
| Scalable Composition of Systems |
U.S. Army Research Laboratory |
Edward A. Lee
|
