Ptolemy Project Publications for 2017
- 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.
- 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.
- 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.