2012 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
- A Modular Formal Semantics for Ptolemy
Edward A. Lee, Stavros Tripakis, Christos Stergiou and Christopher Shaver
- Compositional Dataflow
Eleftherios Matsikoudis and Edward A. Lee
- Interfaces for Component-Based Design
Stavros Tripakis, Marc Geilen, Ben Lickly, Maarten Wiggers, Edward A. Lee and Thomas A. Henzinger
- Modular Code Generation
Dai Bui, Stavros Tripakis, Christopher Brooks and Edward A. Lee
- Multidimensional Data Models
Edward A. Lee, Stavros Tripakis1, Dai Bui and Christopher Shaver
- Precision Timed Machines (PRET)
Isaac Liu, Jan Reineke, Hiren D. Patel1 and Edward A. Lee
- PTIDES: Programming Temporally Integrated Distributed Embedded Systems (PTIDES)
Ilge Akkaya, Derler Patricia, John Eidson, Slobodan Matic, Michael Zimmer, Jia Zou and Edward A. Lee
- 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
