2010 Research Summaries for the Ptolemy Project
Current
Projects, listed by student, which includes many of the projects below.
Large Projects
- Cyber-Physical Systems: ActionWebs
Claire Tomlin, Edward A. Lee, S. Shankar Sastry, David E. Culler and Hamsa Balakrishnan
- Ptolemy Project
Edward A. Lee, Ilge Akkaya, Hugo Andrade, Steve Bako, Christopher Brooks, Janette Cardoso, Dai Bui, Yasemin Demir, Gage Eads, John Eidson, Shanna-Shaye Forbes, Soheil Ghiasi, Tatsuaki Iwata, Elizabeth Latronico, Ben Lickly, Isaac Liu, Slobodan Matic, Eleftherios Matsikoudis, Minxue Pan, Jan Reineke, Dorsa Sadigh, Christopher Shaver, Charles Shelton, Mary Stewart, Stavros Tripakis, Maarten Wiggers, Jia Zou and Michael Zimmer
Smaller Projects
- Compositional Dataflow
Eleftherios Matsikoudis and Edward A. Lee
- Interfaces for Component-Based Design
Stavros Tripakis, Ben Lickly, Edward A. Lee and Thomas A. Henzinger
- Modular Code Generation
Edward A. Lee, Dai Bui, Stavros Tripakis and Christopher Brooks
- Precision Timed Machines (PRET)
Isaac Liu, Gage Eads, Jan Reineke, Hiren D. Patel and Edward A. Lee
- PTIDES: Programming Temporally Integrated Distributed Embedded Systems (PTIDES)
Jia Zou, Slobodan Matic, Edward A. Lee, John Eidson, Michael Zimmer and Ilge Akkaya
- Ptolemy Hierarchical Orthogonal Multi-Attribute Solver (PtHOMAS)
Ben Lickly, Dai Bui, Elizabeth Latronico, Charles Shelton, Stavros Tripakis, Christopher Brooks and Edward A. Lee
- Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
Edward A. Lee, Steve Bako, Remi Barre, Christopher Brooks, Dai Bui, Yasemin Demir, Shanna-Shaye Forbes, Tatsuaki Iwata, Elizabeth Latronico, Ben Lickly, Isaac Liu, Dorsa Sadigh, Christopher Shaver, Charles Shelton, Stavros Tripakis and Jia Zou
- Semantics of Timed Discrete-Event Systems
Eleftherios Matsikoudis and Edward A. Lee