Key Papers

Key Books:
  1. Claudius Ptolemaeus, editor, System Design, Modeling, and Simulation using Ptolemy II, Published by Ptolemy.org, 2014, available as a free PDF download and low-cost paperback.
  2. Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.

Other Key Papers

  1. Xiaojun Liu, Eleftherios Matsikoudis, and Edward A. Lee. "Modeling Timed Concurrent Systems," in Proceedings of the 17th International Conference on Concurrency Theory (CONCUR), Bonn, Germany, August 27-30, C. Baier and H. Hermanns (Eds.), LNCS 4137, Springer-Verlag, pp. 1-15, 2006.
  2. Edward A. Lee and Haiyang Zheng, "HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II", in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'06) in Alghero, Sardinia, June 7-9, 2006.
  3. Edward A. Lee. "The Problem with Threads," in IEEE Computer, 39(5):33-42, May 2006.
  4. Edward A. Lee, Haiyang Zheng, and Ye Zhou, "Causality Interfaces and Compositional Causality Analysis," Invited paper in Foundations of Interface Technologies (FIT), Satellite to CONCUR 2005, ENTCS TBD, San Francisco, California, USA, August 21, 2005.
  5. Edward A. Lee and Haiyang Zheng, "Operational Semantics of Hybrid Systems," Invited paper in Proceedings of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005, pp.25-53.
  6. Edward A. Lee, "Concurrent Models of Computation for Embedded Software," Lecture Notes for EECS 290N, Advanced Topics in Systems Theory, Technical Memorandum UCB/ERL M05/2, January 4, 2005, University of California, Berkeley, CA 94720.
  7. Edward A. Lee and Yuhong Xiong, A Behavioral Type System and Its Application in Ptolemy II, in Formal Aspects of Computing, Volume 16, Number 3, August 2004.
  8. Edward A. Lee and Stephen Neuendorffer, "Classes and Subclasses in Actor-Oriented Design," invited paper, Conference on Formal Methods and Models for Codesign (MEMOCODE), June 22-25, 2004, San Diego, CA, USA, pp. 161-168.
  9. P. Baldwin, S. Kohli, E. A. Lee, X. Liu, and Y. Zhao, "Modeling of Sensor Nets in Ptolemy II," In Proc. of Information Processing in Sensor Networks, (IPSN), April 26-27, 2004, pp.359-368.
  10. J. Liu, J. Eker, J. W. Janneck, X. Liu, and E. A. Lee, "Actor-Oriented Control System Design: A Responsible Framework Perspective," IEEE Transactions on Control System Technology, Vol. 12, No. 2, March, 2004.
  11. Edward A. Lee, "Soft Walls: Frequently Asked Questions," Technical Memorandum UCB/ERL M03/31, University of California, Berkeley, CA 94720, July 21, 2003.
  12. Edward A. Lee, "Overview of the Ptolemy Project," Technical Memorandum No. UCB/ERL M03/25, University of California, Berkeley, CA, 94720, USA, July 2, 2003.
  13. Stephen A. Edwards and Edward A. Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language," Science of Computer Programming, Vol. 48, no. 1, July 2003, pp. 21-42.
  14. Edward A. Lee, Stephen Neuendorffer and Michael J. Wirthlin, "Actor-Oriented Design of Embedded Hardware and Software Systems," Invited paper, Journal of Circuits, Systems, and Computers, Vol. 12, No. 3 pp. 231-260, 2003.
  15. Jie Liu and Edward A. Lee, "Timed Multitasking for Real-Time Embedded Software," invited paper in IEEE Control Systems Magazine, special issue on "Advances in Software Enabled Control," pp. 65-75, February 2003.
  16. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, Y. Xiong, "Taming Heterogeneity---the Ptolemy Approach," Proceedings of the IEEE, v.91, No. 2, January 2003.
  17. Jie Liu and Edward A. Lee, "A Component-Based Approach to Modeling and Simulating Mixed-Signal and Hybrid Systems," ACM Trans. on Modeling and Computer Simulation special issue on computer automated multi-paradigm modeling, Volume 12, Issue 4, pp. 343-368, October 2002.
  18. Edward A. Lee, "Embedded Software," to appear in Advances in Computers (M. Zelkowitz, editor), Vol. 56, Academic Press, London, 2002.
  19. Praveen K. Murthy and Edward A. Lee, "Multidimensional Synchronous Dataflow," IEEE Transactions on Signal Processing, volume 50, no. 8, pp. 2064-2079, August 2002.
  20. Xiaojun Liu, Jie Liu, Johan Eker, and Edward A. Lee, "Heterogeneous Modeling and Design of Control Systems," in Software-Enabled Control: Information Technology for Dynamical Systems, T. Samad and G. Balas (eds.), New York City: IEEE Press, 2002.
  21. Edward A. Lee and Yuhong Xiong, "System-Level Types for Component-Based Design," First Workshop on Embedded Software, EMSOFT2001, Lake Tahoe, CA, USA, Oct. 8-10, 2001.
  22. Shuvra S. Bhattacharyya, Praveen K. Murthy, and Edward A. Lee, "Synthesis of Embedded Software from Synchronous Dataflow Specifications," Journal of VLSI Signal Processing Systems, Vol. 21, No. 2, June 1999.
  23. Alain Girault, Bilung Lee, and Edward A. Lee, "Hierarchical Finite State Machines with Multiple Concurrency Models," IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems, Vol. 18, No. 6, June 1999.
  24. E. A. Lee and D. G. Messerschmitt, "Engineering an Education for the Future," IEEE Computer Magazine, Vol. 31, No. 1, January, 1998.
  25. P. K. Murthy, S. S. Bhattacharyya, and E. A. Lee, "Joint Minimization of "Code and Data for Synchronous Dataflow Programs, Journal of Formal Methods in System Design, Vol. 11, No. 1, pp41-70, July 1997.
  26. S. Ha and E. A. Lee, "Compile-Time Scheduling of Dynamic Constructs in Dataflow Program Graphs," IEEE Trans. on Computers, Vol. 46, No. 7, July 1997.
  27. S.S. Bhattacharyya, S. Sriram, and E.A. Lee, "Optimizing Synchronization in Multiprocessor DSP Systems," IEEE Tr. on Signal Processing, Vol. 45, No. 6, June 1997.
  28. S. Sriram and E. A. Lee, "Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors," Journal of VLSI Signal Processing, Vol. 15, No. 3, pp. 207-220, March 1997.
  29. E. A. Lee and A. Sangiovanni-Vincentelli, ""A Denotational Framework for Comparing Models of Computation," ERL Memorandum UCB/ERL M97/11, University of California, Berkeley, CA 94720, January 30, 1997.
  30. S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee, "APGAN and RPMC: Complimentary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations," Journal of Design Automation for Embedded Systems, Vol. 2, No. 1, pp. 33-60, January, 1997.
  31. W.-T. Chang, S.-H. Ha, and E. A. Lee, "Heterogeneous Simulation -- Mixing Discrete-Event Models with Dataflow," invited paper, Journal on VLSI Signal Processing, Vol. 13, No. 1, January 1997.
  32. E.A. Lee, S. Bhattacharyya, J.T. Buck, W.T. Chang, M.J. Chen, B.L. Evans, E.E. Goei, S. Ha, P. Haskell, C.T. Huang, W.J. Huang, C. Hylands, A. Kalavade, A. Kamas, A. Lao, E.A. Lee, S. Lee, D.G. Messerschmitt, P. Murthy, T.M. Parks, J.L. Pino, J. Reekie, G. Sih, S. Sriram, M.P. Stewart, M.C. Williamson, K. White. "The Almagest," five volumes of documentation for Ptolemy Classic, a heterogeneous simulation and design environment supporting multiple models of computation and the predecessor to Ptolemy II, a Java-based environment.
  33. S. S. Bhattacharyya, P. K. Murthy and E. A. Lee, "Software Synthesis from Dataflow Graphs," Kluwer Academic Publishers, Norwell, Mass, 1996.
  34. E. A. Lee and T. M. Parks, "Dataflow Process Networks," Proceedings of the IEEE, vol. 83, no. 5, pp. 773-801, May, 1995.
  35. J. L. Pino, S. Ha, E. A. Lee and J. T. Buck, "Software Synthesis for DSP Using Ptolemy," Journal on VLSI Signal Processing, vol. 9, no. 1, pp. 7-21, Jan., 1995.
  36. J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int. Journal of Computer Simulation, special issue on "Simulation Software Development," vol. 4, pp. 155-182, April, 1994. .
  37. J. T. Buck, "Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model," Technical Memorandum UCB/ERL 93/69, Ph.D. Thesis, Dept. of EECS, University of California, Berkeley, CA 94720, 1993.
  38. A. Kalavade and E. A. Lee, "Hardware/Software Codesign Using Ptolemy," Proc. of IEEE Int. Workshop on Hardware/Software Codesign, Estes Park, Colorado, September, 1992. Selected by IEEE Design and Test for publication in a special issue, September 1993.
  39. G. C. Sih and E. A. Lee, "Declustering: A New Multiprocessor Scheduling Technique," IEEE Trans. on Parallel and Distributed Systems, vol. 4, no. 6, pp. 625-637, June 1993.
  40. E. A. Lee, "Consistency in Dataflow Graphs," IEEE Trans. on Parallel and Distributed Systems," vol. 2, no. 2, April 1991.
  41. E. A. Lee and J. Bier, "Architectures For Statically Scheduled Dataflow," Journal on Parallel and Distributed Systems, December 1990.
  42. J. Bier, E. Goei, W. Ho, P. Lapsley, M. O'Reilly, G. Sih and E. A. Lee, "Gabriel: A Design Environment for DSP," IEEE Micro Magazine, October 1990, vol. 10, no. 5, pp. 28-45.
  43. E. A. Lee, "Programmable DSP Architectures, Part II," IEEE Acoustics, Speech, and Signal Processing Magazine, vol. 6, no. 1, pp. 4-14, January, 1989.
  44. E. A. Lee, "Programmable DSP Architectures, Part I," IEEE Acoustics, Speech, and Signal Processing Magazine, October, 1988.
  45. E. A. Lee and D. G. Messerschmitt, "Synchronous Data Flow," Proc. of the IEEE, September, 1987.
  46. E. A. Lee and D. G. Messerschmitt, "Pipeline Interleaved Programmable DSPs: Architecture," IEEE Trans. on Acoustics, Speech, and Signal Processing, vol. ASSP-35(9), September, 1987.
  47. E. A. Lee and D. G. Messerschmitt, "Pipeline Interleaved Programmable DSPs: Synchronous Data Flow Programming," IEEE Trans. on Acoustics, Speech, and Signal Processing, vol. ASSP-35(9), September, 1987.
  48. E. A. Lee and D. G. Messerschmitt, "Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing," IEEE Trans. on Computers, January, 1987.