Technical Reports - Edward A. Lee

Ptolemy Coding Style (EECS-2014-164)
Christopher Brooks and Edward A. Lee

Requirements for Hybrid Cosimulation (EECS-2014-157)
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis and Michael Wetter

Viability of Tensegrity Robots in Space Exploration (EECS-2014-116)
Cheng-yu Hong

Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems (EECS-2014-106)
David Broman, Edward A. Lee, Stavros Tripakis and Martin Törngren

Constructive Models of Discrete and Continuous Physical Phenomena (EECS-2014-15)
Edward A. Lee

Generalized Ultrametric Semilattices of Linear Signals (EECS-2014-7)
Eleftherios Matsikoudis and Edward A. Lee

A Context Menu for the Real World: Controlling Physical Appliances Through Head-Worn Infrared Targeting (EECS-2013-200)
Yu-Hsiang Chen, Ben Zhang, Claire Tuna, Yang Li, Edward A. Lee and Björn Hartmann

FlexPRET: A Processor Platform for Mixed-Criticality Systems (EECS-2013-172)
Michael Zimmer, David Broman, Christopher Shaver and Edward A. Lee

Precision Timed Infrastructure: Design Challenges (EECS-2013-161)
David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards and Edward A. Lee

Determinate Composition of FMUs for Co-Simulation (EECS-2013-153)
David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis and Michael Wetter

StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs Using High-Level Abstractions (EECS-2013-143)
Dai Bui and Edward A. Lee

The Fixed-Point Theory of Strictly Causal Functions (EECS-2013-122)
Eleftherios Matsikoudis and Edward A. Lee

Deterministic Execution of Ptides Programs (EECS-2013-65)
Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee and Michael Zimmer

The TerraSwarm Research Center (TSRC) (A White Paper) (EECS-2012-207)
Edward A. Lee, John D. Kubiatowicz, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, John Wawrzynek, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Doug Jones, Vijay Kumar, Richard Murray, George Pappas, Anthony Rowe, Carl M. Sechen, Tajana Simunic Rosing, Ben Taskar and David Wessel

Design Contracts for Cyber-Physical Systems: Making Timing Assumptions Explicit (EECS-2012-191)
Martin Toerngren, Stavros Tripakis, Patricia Derler and Edward A. Lee

Composable Flexible Real-time Packet Scheduling for Networks on-Chip (EECS-2012-114)
Dai Bui and Edward A. Lee

Labelled Execution Systems (EECS-2012-64)
Eleftherios Matsikoudis and Edward A. Lee

Checking for Circular Dependencies in Distributed Stream Programs (EECS-2011-97)
Dai Bui, Hiren Patel and Edward A. Lee

A Practical Ontology Framework for Static Model Analysis (EECS-2011-33)
Ben Lickly, Charles Shelton, Elizabeth Latronico and Edward A. Lee

An Introduction to the Pthales Domain of Ptolemy II (EECS-2011-32)
Remi Barrere, Eric Lenormand, Dai Bui, Edward A. Lee, Christopher Shaver and Stavros Tripakis

Addressing Modeling Challenges in Cyber-Physical Systems (EECS-2011-17)
Patricia Derler, Edward A. Lee and Alberto L. Sangiovanni-Vincentelli

Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs (EECS-2010-52)
Stavros Tripakis, Dai Bui, Marc Geilen, Bert Rodiers and Edward A. Lee

Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude (EECS-2010-50)
Kyungmin Bae, Peter Csaba Olveczky, Thomas Huining Feng, Edward A. Lee and Stavros Tripakis

A Theory of Synchronous Relational Interfaces (EECS-2010-45)
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger and Edward A. Lee

Ptera: An Event-Oriented Model of Computation (EECS-2010-40)
Thomas Huining Feng, Edward A. Lee and Lee W. Schruben

Modeling and Simulation of Legacy Embedded Systems (EECS-2010-38)
Stefan Resmerita, Patricia Derler and Edward A. Lee

Finite State Machines and Modal Models in Ptolemy II (EECS-2009-151)
Edward A. Lee

Fun with a Deadline Instruction (EECS-2009-149)
Martin Schoeberl, Hiren D. Patel and Edward A. Lee

On Distributed Discrete Event Execution on Chip-Multiprocessors (EECS-2009-148)
Dai Bui, Hiren Patel and Edward A. Lee

Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs (EECS-2009-143)
Stavros Tripakis, Dai Bui, Bert Rodiers and Edward A. Lee

Time-centric Models For Designing Embedded Cyber-physical Systems (EECS-2009-135)
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia and Jia Zou

On Relational Interfaces (EECS-2009-60)
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger and Edward A. Lee

On-time Network On-Chip: Analysis and Architecture (EECS-2009-59)
Dai Bui, Alessandro Pinto and Edward A. Lee

PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice (EECS-2009-31)
Jia Zou, Joshua Auerbach, David F. Bacon and Edward A. Lee

Computing Needs Time (EECS-2009-30)
Edward A. Lee

Disciplined Message Passing (EECS-2009-7)
Edward A. Lee

ThreadedComposite: A Mechanism for Building Concurrent and Parallel Ptolemy II Models (EECS-2008-151)
Edward A. Lee

A Timing Requirements-Aware Scratchpad Memory Allocation Scheme for a Precision Timed Architecture (EECS-2008-115)
Hiren D. Patel, Ben Lickly, Bas Burgers and Edward A. Lee

A Scratchpad Memory Allocation Scheme for Dataflow Models (EECS-2008-104)
Shamik Bandyopadhyay, Thomas Huining Feng, Hiren D. Patel and Edward A. Lee

Scalable Models Using Model Transformation (EECS-2008-85)
Thomas Huining Feng and Edward A. Lee

PTIDES: A Programming Model for Distributed Real-Time Embedded Systems (EECS-2008-72)
Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren D. Patel, Yang Zhao and Jia Zou

Applied Verification: The Ptolemy Approach (EECS-2008-41)
Chihhong Patrick Cheng, Teale Fristoe and Edward A. Lee

Predictable Programming on a Precision Timed Architecture (EECS-2008-40)
Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards and Edward A. Lee

Model Engineering using Multimodeling (EECS-2008-39)
Christopher Brooks, Chihhong Patrick Cheng, Thomas Huining Feng, Edward A. Lee and Reinhard von Hanxleden

Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains) (EECS-2008-37)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture) (EECS-2008-29)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) (EECS-2008-28)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View (EECS-2008-23)
Krste Asanovic, Ras Bodik, James Demmel, Tony Keaveny, Kurt Keutzer, John D. Kubiatowicz, Edward A. Lee, Nelson Morgan, George Necula, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel and Katherine A. Yelick

Cyber Physical Systems: Design Challenges (EECS-2008-8)
Edward A. Lee

Multimodeling: A Preliminary Case Study (EECS-2008-7)
Christopher Brooks, Thomas Huining Feng, Edward A. Lee and Reinhard von Hanxleden

Heterogeneous Composition of Models of Computation (EECS-2007-139)
Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee and Carol Goble

Implementation of Real-Time Distributed Discrete-Event Execution with Fault Tolerance (EECS-2007-133)
Thomas Huining Feng and Edward A. Lee

CPO Semantics of Timed Interactive Actor Networks (EECS-2007-131)
Xiaojun Liu and Edward A. Lee

Tutorial: Building Ptolemy II Models Graphically (EECS-2007-129)
Edward A. Lee and Stephen Neuendorffer

Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report (EECS-2007-72)
Edward A. Lee

A Code Generation Framework for Actor-Oriented Models with Partial Evaluation (EECS-2007-29)
Gang Zhou, Man-Kit Leung and Edward A. Lee

The Design and Application of Structured Types in Ptolemy II (EECS-2007-21)
Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu and Lizhi C. Zhong

Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains) (EECS-2007-9)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture) (EECS-2007-8)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) (EECS-2007-7)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Classes and Inheritance in Actor-Oriented Design (EECS-2006-154)
Edward A. Lee, Xiaojun Liu and Stephen Andrew Neuendorffer

Joint Modeling and Design of Wireless Networks and Sensor Node Software (EECS-2006-150)
Elaine Cheong, Edward A. Lee and Yang Zhao

The Case for the Precision Timed (PRET) Machine (EECS-2006-149)
Stephen Edwards and Edward A. Lee

Causality Interfaces for Actor Networks (EECS-2006-148)
Ye Zhou and Edward A. Lee

Reinventing Computing for Real Time (EECS-2006-83)
Edward A. Lee and Yang Zhao

Programming Temporally Integrated Distributed Embedded Systems (EECS-2006-82)
Yang Zhao, Edward A. Lee and Jie Liu

CPO Semantics of Timed Interactive Actor Networks (EECS-2006-67)
Xiaojun Liu and Edward A. Lee

A Causality Interface for Deadlock Analysis in Dataflow (EECS-2006-51)
Ye Zhou and Edward A. Lee

A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property (EECS-2006-48)
Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee and Andrew Christopher Mihal

Modeling Timed Concurrent Systems using Generalized Ultrametrics (EECS-2006-45)
Xiaojun Liu, Eleftherios Matsikoudis and Edward A. Lee

Incremental Checkpointing with Application to Distributed Discrete Event Simulation (EECS-2006-37)
Thomas Huining Feng and Edward A. Lee

Composition Languages (EECS-2006-24)
Adam Cataldo and Edward A. Lee

Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks (EECS-2006-15)
Elaine Cheong, Edward A. Lee and Yang Zhao

A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems (EECS-2006-4)
Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Dimitrios Matsikoudis and Haiyang Zheng

The Problem with Threads (EECS-2006-1)
Edward A. Lee

Building Unreliable Systems out of Reliable Components: The Real Time Story (EECS-2005-5)
Edward A. Lee

VisualSense: Visual Modeling for Wireless and Sensor Network Systems (M05/25)
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu and Yang Zhao

HyVisual: A Hybrid System Visual Modeler (M05/24)
Christopher Brooks, Adam Cataldo, Edward A. Lee, J. Liu, Xiaojun Liu, Stephen Neuendorffer and Haiyang Zheng

Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains) (M05/23)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture) (M05/22)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) (M05/21)
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao and Haiyang Zheng

Discrete-Event Systems Generalizing Metric Spaces and Fixed-Point Semantics (M05/12)
A. Cataldo, Edward A. Lee, X. Liu, E. Matsikoudis and H. Zheng

Concurrent Models of Computation for Embedded Software (M05/2)
Edward A. Lee

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java (M04/27)
C. Brooks and Edward A. Lee

Concurrent Models of Computations for Embedded Software (M04/26)
Edward A. Lee and S. Neuendorfer

Balance Between Formal and Informal Methods, Engineering and Artistry, Evolution and Rebuil (M04/19)
Edward A. Lee

Hyvisual: A Hybrid System Visual Modeler (M04/18)
C. Brooks and Edward A. Lee

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java - Vol. 3 - Domains (M04/17)
C. Brooks and Edward A. Lee

Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java - Vol. 2 - Software Architecture (M04/16)
C. Brooks and Edward A. Lee

Hierarchical Reconfiguration of Dataflow Models (M04/2)
S. Neuendorfer and Edward A. Lee

Ptolemy II Coding Style (M03/44)
C. H. Brooks and Edward A. Lee

Soft Walls: Frequently Asked Questions (M03/31)
Edward A. Lee

A Hybrid System Visual Modeler (M03/30)
A. Cataldo, C. Hylands, Edward A. Lee, X. Liu, S. Neuendorffer, H. Zheng and J. Liu

Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 3: Ptolemy II Domains (M03/29)
C. Hylands, Edward A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong and H. Zheng

Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 2: Software Architecture (M03/28)
C. Hylands, Edward A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong and H. Zheng

Ptolemy II Heterogeneous Concurrent Modeling and Design in Java, Volume 1: Introduction to Ptolemy II (M03/27)
C. Hylands, Edward A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong and H. Zheng

Overview of the Ptolemy Project (M03/25)
Edward A. Lee

HyVisual: A Hybrid System Visual Modeler (M03/1)
C. Hylands, Edward A. Lee, J. Liu, X. Liu, S. Neuendorffer and H. Zheng

Lightweight Component Models for Embedded Systems (M02/30)
H. J. Reekie and Edward A. Lee

Behavioral Types for Component-based Design (M02/29)
Edward A. Lee and Y. Xiong

Ptolemy II: in JAVA (M02/23)
Edward A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong and H. Zheng

Preliminary Version of a Two-Dimensional Technical Specification for Softwalls. Designing a Contact Process: The Piecewise-Homogeneous Process on a Finite Set with Applications (M02/9)
J. A. Cataldo, Edward A. Lee, X. Liu, A. B. Wagner and Venkat Anantharam

The Semantics and Execution of a Synchronous Block-Diagram Language (M01/33)
Stephen A. Edwards and Edward A. Lee

Soft Walls - Modifying Flight Control Systems to Limit the Flight Space of Commercial Aircraft (M01/31)
Edward A. Lee

Embedded Software (M01/26)
Edward A. Lee

Ptolemy II : Heterogeneous Concurrent Modeling and Design in Java (M01/12)
John Davis II, Christopher Hylands, Bart Kienhuis, Edward A. Lee, Jie Liu, Xiaojun Liu, Lukito Muliadi, Steve Neuendorffer, Jeff Tsay, Brian Vogel and Yuhong Xiong

Overview of the Ptolemy Project (M01/11)
Edward A. Lee, C. Hylands, J. Janneck, J. Davis II, J. Liu, X. Liu, S. Neuendorffer, S. Sachs M. Stewart, K. Vissers and P. Whitaker

MOML-A Modeling Markup Language in XML-Version 0.4 (M00/12)
Edward A. Lee and S. Neuendorffer

System-Level Types for Component-Based Design (M00/8)
Edward A. Lee and Y. Xiong

Embedded Software - An Agenda for Research (M99/63)
Edward A. Lee

Heterogeneous Concurrent Modeling and Design in Java (M99/40)
J. Davis, M. Goel, C. Hylands, B. Kienhuis, Edward A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay and Y. Xiong

Overview of the Ptolemy Project (M99/37)
J. Davis II, M. Goel, C. Hylands, B. Kienhuis, Edward A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorfer, J. Reekie, N. Smyth, J. Tsay and Y. Xiong

Heterogeneous Concurrent Modeling and Design in Java (M98/72)
J. Davis II, M. Goel, G. Galicia, C. Hyland, Edward A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorfer, J. Reekie, N. Smyth, J. Tsay and Y. Xiong

Overview of the Ptolemy Project (M98/71)
Edward A. Lee

Modeling Concurrent Real-Time Processes Using Discrete Events (M98/7)
Edward A. Lee

Implementation of Process Networks in Java (M97/84)
R.S. Stevens, M. Wan, P. Laramie, T.M. Parks and Edward A. Lee

Two Cycle-Related Problems of Regular Data Flow Graphs: Complexity and Heuristics (M97/76)
P.K. Murthy and Edward A. Lee

A Preliminary Study of Hierarchical Finite State Machines with Multiple Concurrency Models (M97/57)
A. Girault, B. Lee and Edward A. Lee

The Tycho User Interface System (M97/15)
C. Hylands, Edward A. Lee and H.J. Reekie

A Denotational Framework for Comparing Models of Computation (M97/11)
Edward A. Lee and Alberto L. Sangiovanni-Vincentelli

A Denotational Semantics for Dataflow with Firing (M97/3)
Edward A. Lee

Resynchronization of Multiprocessor Schedules: Part 2 -- Latency Constrained Resynchronization (M96/56)
S.S. Bhattacharyya, S. Sriram and Edward A. Lee

Resynchronization of Multiprocessor Schedules: Part 1 -- Fundamental Concepts and Unbounded-Latency Analysis (M96/55)
S.S. Bhattacharyya, S. Sriram and Edward A. Lee

The Tagged Signal Model A Preliminary Version of a Denotational Framework for Comparing Models of Computation (M96/33)
Edward A. Lee and Alberto L. Sangiovanni-Vincentelli

Resynchronization for Embedded Multiprocessors (M95/70)
S.S. Bhattacharyya, S. Sriram and Edward A. Lee

A Generalization of Multidimensional Synchronous Dataflow to Arbitrary Sampling Lattices (M95/59)
P.K. Murthy and Edward A. Lee

Renesting Single Appearance Schedules to Minimize Buffer Memory (M95/43)
S.S. Bhatacharyya, P.K. Murthy and Edward A. Lee

A Hierarchical Multiprocessor Scheduling Framework for Synchronous Dataflow Graphs (M95/36)
J.L. Pino, S.S. Bhattacharyya and Edward A. Lee

Two Complementary Heuristics for Translating Graphical DSP Programs into Minimum Memory Implementations (M95/3)
S.S. Bhattacharyya, P.K. Murthy and Edward A. Lee

Optimizing Synchronization in Multiprocessor Implementations of Iterative Dataflow Programs (M95/2)
S.S. Bhattacharyya, S. Sriram and Edward A. Lee

Combined Code and Data Minimization for Synchronous Dataflow Programs (M94/93)
P.K. Murthy, S.S. Bhattacharyya and Edward A. Lee

Performance Evaluation of an Optimal Processor Assignment (M94/92)
S. Ha and Edward A. Lee

Compile-Time Scheduling of Dynamic Constructs in Dataflow Program Graphs (M94/91)
S. Ha and Edward A. Lee

Scheduling Communication Resources in Statically Scheduled Multiprocessor Architectures (M94/74)
S. Sriram and Edward A. Lee

Dataflow Process Networks (M94/53)
Edward A. Lee

On the Optimal Blocking Factor for Blocked, Non-Overlapped Schedules (M94/46)
P. Murthy and Edward A. Lee

Looped Schedules for Dataflow Descriptions of Multirate DSP Algorithms (M93/37)
S.S. Bhattacharyya and Edward A. Lee

Generating Compact Code from Dataflow Specifications of Multirate DSP Algorithms (M93/36)
S.S. Bhattacharyya, J.T. Buck, S. Ha and Edward A. Lee

A Compiler Scheduling Framework for Minimizing Memory Requirements of Multirate DSP Systems Represented as Dataflow Graphs (M93/31)
S.S. Bhattacharyya, J.T. Buck, S. Ha and Edward A. Lee

Single Appearance Schedules for Synchronous Dataflow Programs (M93/4)
S.S. Bhattacharyya, S. Ha and Edward A. Lee

Memory Management for Synchronous Dataflow Programs (M92/128)
S.S. Bhattacharyya and Edward A. Lee

Data Parallelism in Graphical Signal Flow Representations of Algorithms (M92/110)
Edward A. Lee

A Multiprocessor Scheduling Strategy (M90/119)
G.C. Sih and Edward A. Lee

Architectures for Statically Scheduled Dataflow (M89/129)
Edward A. Lee

Consistency in Dataflow Graphs (M89/125)
Edward A. Lee

Compile-Time Scheduling and Assignment of Dataflow Program Graphs with Data-Dependent Iteration (M89/57)
S. Ha and Edward A. Lee

Recurrences, Iteration, and Conditionals in Statically Scheduled Data Flow (M89/52)
Edward A. Lee

A Coupled Hardware and Software Architecture for Programmable Digital Signal Processors (M86/54)
Edward A. Lee

Minimal Swapping Finite Element and Finite Difference Implementations (M84/59)
Edward A. Lee