Ptolemy Project Publications for 2015

  1. Hugo Andrade, Patricia Derler, John Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin Stanton, Marc Weiss, " Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber-Physical Systems," International Conference on ReConFigurable Computing and FPGAs (ReConFig), December 7, 2015.
  2. Michael Wetter, Thierry Nouidui, David Lorenzetti, Edward A. Lee, and Amir Roth, "PROTOTYPING THE NEXT GENERATION ENERGYPLUS SIMULATION ENGINE," in Proceedings of the 14th International Conference of the International Building Performance Simulation Association (BS 2015), Hyderabad - India, Dec. 7-9, 2015.
  3. Shuhei Emoto, Ilge Akkaya, Edward A. Lee, "Information Seeking and Model Predictive Control of a Cooperative Robot Swarm," in Proceedings of the First International Symposium on Swarm Behavior and Bio-Inspired Robotics, Kyoto, Japan, October 28-30, 2015.
  4. John C. Eidson, Kevin B. Stanton, "Timing in cyber-physical systems: The last inch problem," in IEEE Proceedings of International Symposium on Precision Clock Synchronization for Measurement, Control, and Communications (ISPCS), pp. 19-24, Beijing, China, Oct. 11-16, 2015.
  5. Edward A. Lee, Mehrdad Niknami, Thierry Nouidui, Michael Wetter "Modeling and Simulating Cyber-Physical Systems using CyPhySim*," in Proceedings of the International Conference on Embedded Software (EMSOFT), Amsterdam, The Netherlands, October 4-9, 2015.
  6. Ilge Akkaya, Yan Liu, Edward A. Lee, "Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications," IEEE Transactions on Services Computing, September 2015, Vol. PP, Issue 99.
  7. Marten Lohstroh, Edward A. Lee "An Interface Theory for the Internet of Things," in Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM) York, UK, Springer, LNCS 9276, pp. 20-34, Sept. 7-11, 2015.
  8. Michael Zimmer, "Predictable Processors for Mixed-Criticality Systems and Precision-Timed I/O," PhD Thesis, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2015-l8l, August 10, 2015.
  9. Ankush Desai, Sanjit A. Seshia, Shaaz Qadeer, David Broman, John Eidson, "Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous System," in Lecture Notes in Computer Science, pp 429-448, Springer, July 14, 2015. Also in Proceedings of the 7th International Conference on Computer Aided Verification (CAV 2015), San Francisco, California, USA.
  10. Ben Zhang, Nitesh Mor, John Kolb Douglas S. Chan, Nikhil Goyal, Ken Lutz, Eric Allman, John Wawrzynek, Edward Lee, and John Kubiatowicz, "The Cloud is Not Enough: Saving IoT from the Cloud," 7th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud), Santa Clara, California, July 6-7, 2015.
  11. Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akhito Iwai, and Ilge Akkaya, "System simulation from operational data," in Proceedings of the Design Automation Conference (DAC), San Francisco, CA, June, 2015.
  12. Eleftherios Matsikoudis and Edward A. Lee, "The Fixed-Point Theory of Strictly Causal Functions," in Theoretical Computer Science, Vol. 574, pp. 39-88, April, 2015.
  13. Michael Zimmer, Edward A. Lee, J. Karl Hedrick, "Ramifications of Software Implementation and Deployment: A Case Study on Yaw Moment Controller Design," in Proceedings of IEEE American Control Conference (ACC), Chicago, IL, July 1-3, 2015.
  14. 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), pp. 179-188. ACM, Seattle, WA, April 14-16, 2015.
  15. Ilge Akkaya, Shuhei Emoto, Edward A. Lee, "PILOT: An Actor-oriented Learning and Optimization Toolkit," in Proceedings of Second International Workshop on Robotic Sensor Networks (RSN'15), part of Cyber-Physical Systems Week, Seattle, WA, USA, April 13, 2015.
  16. Matthew Weber and Edward A. Lee, "Poster Abstract: A Model For Semantic Localization," in Proceedings of IPSN 2015, Seattle, April 13-17, 2015.
  17. Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, and Junkwang Oh, "A Predictable and Command-Level Priority-Based DRAM Controller for Mixed-Criticality Systems," in Proceedings of the 21st IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Seattle, pp 317-326, WA, USA, April 13-16, 2015.
  18. Christopher Brooks, Edward A. Lee, David Lorenzetti, Thierry Nouidui, Michael Wetter. "Demo: CyPhySim --- A Cyber-Physical Systems Simulator," Presented as a demo at HSCC, Seattle, April 14, 2015.
  19. Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, and Matthew Weber, "A Vision of Swarmlets," IEEE Internet Computing, 19(2), pp. 20-28, March-April 2015.
  20. Edward A. Lee, "Architectural Support for Cyber-Physical Systems," in Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Istanbul, Turkey, March, 2015.
  21. Edward A. Lee, "The Past, Present, and Future of Cyber-Physical Systems: A Focus on Models," Sensors, 15(3), pp. 4837-4869, doi:10.3390/s150304837, February, 2015.
  22. Marc Weiss, John Eidson, Charles Barry, David Broman, Leon Goldin, Bob Iannucci, Edward A. Lee, and Kevin Stanton, Time-Aware Applications, Computers, and Communication Systems (TAACCS)," Technical report, National Institute of Standards and Technology, February, 2015; NIST Technical Note 1867.
  23. Edward A. Lee, "Swarm Technology," in Proceedings of GOMACTech, St. Louis, MO, March 23-26, 2015.
  24. Ilge Akkaya, Yan Liu, and Edward A. Lee. "Modeling and Simulation of Network Aspects for Distributed Cyber-Physical Energy Systems," In Cyber Physical Systems Approach to Smart Electric Power Grid, pp. 1-23. Springer Berlin Heidelberg, 2015.
  25. Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, http://LeeSeshia.org, ISBN 978-1-312-42740-2, 2015.