Cyber-Physical Systems Education: Explorations and Dreams

The field of cyber-physical systems (CPS), as a well-defined intellectual discipline, is entering its second decade. The past decade has seen several explorations in CPS education, accompanied by related research projects and technologies. This article reviews some of these explorations that the author has been involved with, and tries to extrapolate these to “dreams” for what the future may bring.

[1]  Dorsa Sadigh,et al.  Safe and Interactive Autonomy: Control, Learning, and Verification , 2017 .

[2]  Anthony Rowe,et al.  The Swarm at the Edge of the Cloud , 2015, IEEE Design & Test.

[3]  Anca D. Dragan,et al.  Information gathering actions over human internal state , 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[4]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[5]  S. Shankar Sastry,et al.  Synthesis for Human-in-the-Loop Control Systems , 2014, TACAS.

[6]  Edward A. Lee,et al.  Engineering and Education for the Future , 1998, Computer.

[7]  Sanjit A. Seshia,et al.  Towards Verified Artificial Intelligence , 2016, ArXiv.

[8]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[9]  Moshe Y. Vardi.  The moral hazard of complexity-theoretic assumptions , 2016, Commun. ACM.

[10]  S. Shankar Sastry,et al.  Formal methods for semi-autonomous driving , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[11]  Moshe Y. Vardi.  The moral imperative of artificial intelligence , 2016, Commun. ACM.

[12]  Sanjit A. Seshia,et al.  A theory of formal synthesis via inductive learning , 2015, Acta Informatica.

[13]  Edward A. Lee,et al.  An introductory textbook on cyber-physical systems , 2010, WESE '10.

[14]  Sanjit A. Seshia,et al.  Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems , 2012, WESE '12.

[15]  Sanjit A. Seshia,et al.  Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education , 2013 .

[16]  Sanjit A. Seshia,et al.  Combining Induction, Deduction, and Structure for Verification and Synthesis , 2015, Proceedings of the IEEE.

[17]  Edward A. Lee,et al.  A highest education in the year 2049 , 1999 .

[18]  Edward A. Lee,et al.  Teaching embedded systems the Berkeley way , 2012, WESE '12.

[19]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[20]  Edward A. Lee,et al.  An introductory capstone design course on embedded systems , 2011, 2011 IEEE International Symposium of Circuits and Systems (ISCAS).

[21]  Moshe Y. Vardi.  Humans, machines, and the future of work , 2015, Ada Lovelace Symposium '15.

[22]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[23]  Garvit Juniwal,et al.  CPSGrader: Auto-Grading and Feedback Generation for Cyber-Physical Systems Education , 2014 .

[24]  Shiyan Hu,et al.  Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[25]  Edward A. Lee,et al.  A Vision of Swarmlets , 2015, IEEE Internet Computing.

[26]  Garvit Juniwal,et al.  CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory , 2014, 2014 International Conference on Embedded Software (EMSOFT).