Research Projects - Design, Modeling and Analysis (DMA)

Large Projects

• Cyber-Physical Systems: ActionWebs
  Claire Tomlin, Edward A. Lee, S. Shankar Sastry, David E. Culler and Hamsa Balakrishnan
• Industrial Cyber-Physical Systems Center (iCyPhy)
  Edward A. Lee, Richard Murray and Alberto L. Sangiovanni-Vincentelli
• Prof. Roychowdhury's Research
  Jaijeet Roychowdhury
• Ptolemy Project
  Edward A. Lee, Ilge Akkaya, Hugo Andrade, Christopher Brooks, Dai Bui, Patricia Derler, John Eidson, Elizabeth Latronico, Ben Lickly, Isaac Liu, Slobodan Matic, Eleftherios Matsikoudis, Tomi Raty, Jan Reineke, Christopher Shaver, Charles Shelton, Christos Stergiou, Mary Stewart, Marten Torngren, Stavros Tripakis and Michael Zimmer
• Real-Time Frequency Gating Spectrum Analyzer (CSSA)
  Clark Nguyen, Albert Pisano and Liwei Lin
• TerraSwarm Research Center (TerraSwarm)
  Edward A. Lee, John D. Kubiatowicz, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia and John Wawrzynek
• UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
  Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye

Small Projects

• A Modular Formal Semantics for Ptolemy
  Edward A. Lee, Stavros Tripakis, Christos Stergiou and Christopher Shaver
• Application of Machine Learning Techniques to Model-Based Optical Proximity Correction Algorithms
  Shangliang Jiang and Avideh Zakhor
• Development of a Building Automation and Control Systems
  Alberto L. Sangiovanni-Vincentelli, Yang Yang and Mehdi Maasoumy Haghighi
• Game-Theoretic Timing Analysis
  Sanjit A. Seshia
• 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 Tripakis, Dai Bui and Christopher Shaver
• Performance Analysis of Synchronous Models Implementations on Loosely Time-Triggered Architectures
  Alberto L. Sangiovanni-Vincentelli
• Platform-based Mixed-Signal System Design
  Xuening Sun, Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo and Alberto Alessandro Angelo Puggelli
• Precision Timed Machines (PRET)
  Isaac Liu, Jan Reineke, Hiren D. Patel and Edward A. Lee
• PTIDES: Programming Temporally Integrated Distributed Embedded Systems (PTIDES)
  Ilge Akkaya, Derler Patricia, John Eidson, Michael Zimmer 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
• Statistical Transient Analysis
  Shih-Hung Weng, He (Vincent) Peng and Ernest S. Kuh
• Vehicle Management System (VMS) Challenge Problem
  Alberto L. Sangiovanni-Vincentelli

Send requests for updates to researchupdates@eecs, or Login to make changes yourself.