| 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
|
| Disciplined Design of System of Systems |
U.S. Army Research Laboratory |
Edward A. Lee
|
| 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
|
| Mechanical Systems Control Laboratory |
Toyota and others |
Karl Hedrick,
Masayoshi Tomizuka
|
| 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
|
| Pthales model
of computation in Ptolemy: Multidimensional Dataflow |
Thales |
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
|