Cyberphysical Systems Papers

Although this is neither up-to-date nor comprehensive, below is a list of selected papers about cyberphysical and embedded systems.

  1. 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, To Appear in Proceedings of the IEEE, 2018.
  2. 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.
  3. Edward A. Lee, Jan Reineke, and Michael Zimmer, "Abstract PRET Machines," Invited TCRTS award paper. IEEE Real-Time Systems Symposium (RTSS 17), December 5, 2017.
  4. 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. EECS Tech Report.
  5. Hokeun Kim, Eunsuk Kang, David Broman, and Edward A. Lee, "An Architectural Mechanism for Resilient IoT Services," to appear in Proceedings of the 1st ACM Workshop on Internet of Safe Things (SafeThings 2017), Delft, The Netherlands, November 5, 2017.
  6. Hokeun Kim and Edward A. Lee, "Locally Centralized, Globally Distributed Authentication and Authorization for the Internet of Things," IEEE IT Professional Vol: 9 Issue: 5, pp 27-33, October, 2017.
  7. Edward A. Lee, "What Is Real Time Computing? A Personal View," to appear in IEEE Design & Test, 2017.
  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. Edward A. Lee, Fundamental Limits of Cyber-Physical Systems Modeling, ACM Transactions on Cyber-Physical Systems, vol. 1, no. 1, Article 3, November, 2016.
  10. Ilge Akkaya, Data-Driven Cyber-Physical Systems via Real-Time Stream Analytics and Machine Learning, PhD Thesis, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2016-159, October 25, 2016.
  11. 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.
  12. 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.
  13. Edward A. Lee. "Constructive Models of Discrete and Continuous Physical Phenomena," IEEE Access, Vol.2, pp. 797-821, August 7, 2014.
  14. Patricia Derler, Edward A Lee, Martin Torngren, Stavros Tripakis. "Cyber-Physical System Design Contracts," ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, Pennsylvania, April 8 - 11, 2013.
  15. Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. "Modeling Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), 100(1):13-28, January 2012.
  16. Jeff C. Jensen, Danica H. Chang, and Edward A. Lee, " A Model-Based Design Methodology for Cyber-Physical Systems," Proceedings of the First IEEE Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy), Istanbul, Turkey, July 6-7, 2011.
  17. E. A. Lee, "CPS Foundations," in Proc. Design Automation Conference (DAC), ACM, 2010.
  18. Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. "The Case for Timing-Centric Distributed Software," IEEE International Conference on Distributed Computing Systems Workshops: Workshop on Cyber-Physical Systems, IEEE, pp. 57-64, June, 2009.
  19. Edward A. Lee, "Cyber Physical Systems: Design Challenges," International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008; Invited Paper.
  20. Jie Liu and Edward A. Lee, "Timed Multitasking for Real-Time Embedded Software," invited paper in IEEE Control Systems Magazine, special issue on "Advances in Software Enabled Control," pp. 65-75, February 2003.
  21. Edward A. Lee, "Embedded Software," to appear in Advances in Computers (M. Zelkowitz, editor), Vol. 56, Academic Press, London, 2002.
  22. Xiaojun Liu, Jie Liu, Johan Eker, and Edward A. Lee, "Heterogeneous Modeling and Design of Control Systems," in Software-Enabled Control: Information Technology for Dynamical Systems, T. Samad and G. Balas (eds.), New York City: IEEE Press, 2002.
  23. Shuvra S. Bhattacharyya, Praveen K. Murthy, and Edward A. Lee, "Synthesis of Embedded Software from Synchronous Dataflow Specifications," Journal of VLSI Signal Processing Systems, Vol. 21, No. 2, June 1999.
  24. Alain Girault, Bilung Lee, and Edward A. Lee, "Hierarchical Finite State Machines with Multiple Concurrency Models," IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems, Vol. 18, No. 6, June 1999.
  25. S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee, "APGAN and RPMC: Complimentary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations," Journal of Design Automation for Embedded Systems, Vol. 2, No. 1, pp. 33-60, January, 1997.