Publications for the Ptolemy Project are organized by year in reverse chronological order. Use the links at the left to access them. You can also browse a listing of selected publications organized by topic.

Featured Books:

  1. Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, Springer, LNCS, volume 10760, 2018.
  2. Edward A. Lee, Plato and the Nerd: The Creative Partnership of Humans and Technology, MIT Press, Cambridge, MA, USA, ISBN 978-0262036481, 2017.
  3. Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, MIT Press, ISBN 978-0-262-53381-2, 2017.
  4. 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.

Featured Publications

  1. Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee, "On Enabling Technologies for theInternet of Important Things," IEEE Access, to appear, 2019.
  2. Edward A. Lee, "Modeling in Engineering and Science," Viewpoint, Communications of the ACM 62(1), pp. 35-36, January 2019.
  3. Edward A. Lee and Marjan Sirjani, "What Good are Models?" Invited Paper in Proc. of Formal Aspects of Component Software (FACS), Pohang, South Korea, October 10-12, 2018, Kyungmin Bae and Peter Csaba Olveczky, Eds., Springer, LNCS 11222.
  4. Edward A. Lee, Is software the result of top-down intelligent design or evolution?" Viewpoint, Communications of the ACM 61(9) pp. 34-36, September 2018.
  5. Edward A. Lee, Models of Timed Systems, Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, pp. 17-33, LNCS 11022, Springer, September 4-6, 2018.
  6. Christopher Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvellet, Beth Osyk, Matt Weber. A Component Architecture for the Internet of Things, Proceedings of the IEEE, Vol. 106, No. 9, September, 2018.
  7. Edward A. Lee, Models of Timed Systems, Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, pp. 17-33, LNCS 11022, Springer, September 4-6, 2018.
  8. Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman, A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things, in Proceedings of the 2nd ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), Pittsburgh, PA, USA, April 18-21, 2017. Winner of Best Paper Award, presented during CPS Week, 2017.
  9. Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, and Stavros Tripakis, Hybrid Co-simulation: It's About Time, International Journal on Software and Systems Modeling (SoSym), pp 1-25, November, 2018. Technical report. Selected as a best SoSyM paper over the past year to be presented in a special session at MODELS 2018 in Copenhagen, Denmark.
  10. Edward A. Lee, Fundamental Limits of Cyber-Physical Systems Modeling, ACM Transactions on Cyber-Physical Systems, vol. 1, no. 1, Article 3, October, 2016.
  11. David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter, Requirements for Hybrid Cosimulation Standards, in Proceedings of Hybrid Systems Computation and Control (HSCC), ACM, Seattle, WA, April 14-16, 2015.
  12. Edward A. Lee, "The Past, Present, and Future of Cyber-Physical Systems: A Focus on Models," Sensors, 15(3), p. 4837-4869, doi:10.3390/s150304837, February, 2015.