Ptolemy Project Publications for 2016

  1. Edward A. Lee, "Fundamental Limits of Cyber-Physical Systems Modeling," ACM Transactions on Cyber-Physical Systems, Vol. 1, No. 1, Article 3, November, 2016.
  2. Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, and Edward A. Lee, Coordinated Actors for Reliable Self-Adaptive Systems to appear in Proceedings of Formal Aspects of Component Software (FACS), Besancon, France, Oct. 19-21, 2016.
  3. Aviral Shrivastava, Patricia Derler, Ya-Shian Li Baboud, Kevin Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John Eidson, Sundeep Chandhoke, Time in cyber-physical systems, in Proceedings of IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES '16), October, 2016.
  4. Edward A. Lee, Fundamental Limits of Cyber-Physical Systems Modeling, ACM Transactions on Cyber-Physical Systems, vol. 1, no. 1, Article 3, November, 2016.
  5. Shuhei Emoto, "Cooperative Multi-Robot Information Acquisition based on Distributed Robust Model Predictive Control," Proceedings of the 2016b IEEE International Conference on Robotics and Biomimetics ROBIO 2016), Qingdao, China, December 3-7, 2016.
  6. Edward A. Lee, "Dependable Cyber-Physical Systems," Proceedings of Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA) Beijing, China, Nov.9-11, 2016.
  7. Hokeun Kim, Armin Wasicek, Benjamin Mehne, and Edward A. Lee, "A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities," in Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud (FiCloud), Vienna, Austria, August 22-24, 2016.
  8. Donggyu Kim, Adam Izraelevitz, Christopher Celio, Hokeun Kim, Brian Zimmer, Yunsup Lee, Jonathan Bachrach, and Krste Asanović, "Strober: Fast and Accurate Sample-Based Energy Simulation for Arbitrary RTL," in Proceedings of the 43rd ACM/IEEE International Symposium on Computer Architecture (ISCA), Seoul, Korea, June 18-22, 2016.
  9. Shuhei Emoto, Ilge Akkaya, Edward A. Lee, "Information Seeking and Model Predictive Control of A Cooperative Multi-Robot System," to appear in Artificial Life and Robotics, Vol. (), pp 1-6, Springer Japan, 2016.
  10. Viktor Kozma, David Broman, "MORAP: a modular robotic arm platform for teaching and experimenting with equation-based modeling languages," in Proceedings of 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Milano, Italy, pp 27-30, ACM, 2016.
  11. Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nihil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward Lee, John Kubiatowicz, "Toward a Global Data Infrastructure," IEEE Internet Computing, May/June, 2016, Vol 20, Issue 3, pp. 54-62.
  12. Shuhei Emoto, Ilge Akkaya, Edward A. Lee, "Information Seeking of a Robot Swarm based on Robust Model Predictive Control," Proceedings of The Robotics and Mechatronics Conference , Yokahama, Japan, June 8-11, 2016.
  13. Hokeun Kim, Armin Wasicek, Benjamin Mehne, and Edward A. Lee, "A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities," in Work-in-Progress Session of the Design Automation Conference (DAC), Austin, TX, June 5-9, 2016.
  14. Marten Lohstroh, Christopher Brooks, Edward A. Lee, "Demo Abstract: Building IoT Applications with Accessors in CapeCode," International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria, April 11-14, 2016.
  15. Hokeun Kim, Yan Zhao and Lihua Zhao, "Process-Level Modeling and Simulation for HP's Multi Jet Fusion 3D Printing Technology," in Proceedings of the 1st International Workshop on Cyber-Physical Production Systems (CPPS), Vienna, Austria, April 12, 2016.
  16. Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks and Edward A. Lee, "FIDE -- An FMI Integrated Development Environment," Symposium on Applied Computing, Pisa, Italy, April 4, 2016.
  17. Ilge Akkaya, Patricia Derler, Shuhei Emoto, and Edward A. Lee, "Systems engineering for Industrial Cyber-Physical Systems using Aspects," IEEE Proceedings, Vol. 104, Issue 5, pp 997-1012, April 20, 2016.
  18. Ilge Akkaya, Daniel Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, and Sanjit A. Seshia, "Control Improvisation with Probabilistic Temporal Specifications," Proceedings of the 1st IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI'16), IEEE, Berlin, Germany, April 4-8, 2016. (Best Paper Award)