| 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
|
