Ptolemy Project Publications for 2017

  1. 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.
  2. Chihhong Cheng, Edward A. Lee, Harald Reuss autoCode4: Structural Controller Synthesis, to appear in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 22, April, 2017.
  3. Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things, to appear in Proceedings of the 2nd ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), Pittsburgh, PA, USA, April 18-21, 2017.