Explorations in cyber-physical systems education (original) (raw)

Abstract

Explorations in CPS education and related research projects over the past two decades unveil where CPS learning is headed.

Formats available

You can view the full content in the following formats:

References

[1]

Alur, R. Principles of Cyber-Physical Systems. MIT Press (2015).

[2]

Bryant, R.E. and O'Hallaron, D.R. Computer Systems: A Programmer's Perspective. Prentice-Hall, third edition (2015).

[3]

Clarke, E.M. and Wing, J.M. Formal methods: State of the art and future directions. ACM Computing Surveys (CSUR) 28, 4 (1996), 626--643.

[4]

Fremont, D.J. Algorithmic improvisation. Ph.D. thesis, EECS Department, University of California, Berkeley (August 2019).

[5]

Fremont, D.J., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., and Seshia, S.A. Scenic: A language for scenario specification and scene generation. In Proceedings of the 40th Annual ACM SIGPLAN Conf. on Programming Language Design and Implementation (June 2019), 63--78.

[6]

Gazebo: Robot simulation made easy. Open Source Robotics Foundation. http://gazebosim.org/.

[7]

The iLab Project. Massachusetts Institute of Technology (MIT). https://wikis.mit.edu/confluence/display/ILAB2/Home

[8]

Information technology and the U.S. workforce: Where are we and where do we go from here? The National Academies of Sciences, Engineering, and Medicine (2017), http://www.nap.edu/24649.

[9]

Introducing the TI-RSLK Max. Texas Instruments. https://university.ti.com/programs/RSLK/.

[10]

Jensen, J.C., Lee, E.A., and Seshia, S.A. An introductory capstone design course on embedded systems. In Proceedings of the Intern. Symposium on Circuits and Systems (May 2011), 1199--1202.

[11]

Jensen, J.C., Lee, E.A., and Seshia, S.A. An Introductory Lab in Embedded and Cyber-Physical Systems. LeeSeshia.org, Berkeley, CA (2012).

[12]

Jensen, J.C., Lee, E.A., and Seshia, S.A. Virtualizing cyber-physical systems: Bringing CPS to online education. In Proceedings of the First Workshop on CPS Education (April 2013).

[13]

Juniwal, G. CPSGrader: Autograding and feedback generation for cyber-physical systems education. Master's thesis, EECS Department, University of California, Berkeley (December 2014).

[14]

Juniwal, G., Donzé, A., Jensen, J.C., and Seshia, S.A. CPSGrader: Synthesizing temporal logic testers for autograding an embedded systems laboratory. In Proceedings of the 14th Intern. Conf. on Embedded Software (October 2014).

[15]

Lee, E.A., et al. The swarm at the edge of the cloud. IEEE Design & Test 31, 3 (2014), 8--20.

[16]

Lee, E.A. and Messerschmitt, D.G. Engineering and education for the future. IEEE Computer 31 (1998), 77--85.

[17]

Lee, E.A. and Messerschmitt, D.G. A highest education in the year 2049. In Proceedings of the IEEE 87, 9 (1999), 1685--1691.

[18]

Lee, E.A. and Seshia, S.A. EECS 149 course website. http://chess.eecs.berkeley.edu/eecs149.

[19]

Lee, E.A. and Seshia, S.A. An introductory textbook on cyber-physical systems. In Workshop on Embedded Systems Education (October 2010).

[20]

Lee, E.A. and Seshia, S.A. Introduction to Embedded Systems---A Cyber-Physical Systems Approach. LeeSeshia.org, Berkeley, CA, first edition (2011).

[21]

Lee, E.A. and Seshia, S.A. Introduction to Embedded Systems---A Cyber-Physical Systems Approach. MIT Press, second edition (2016).

[22]

Lee, E.A., Seshia, S.A., and Jensen, J.C. EECS149.1x Course website on edX. https://www.edx.org/course/uc-berkeleyx/uc-berkeleyx-eecs149-1x-cyber-physical-1629.

[23]

Lee, E.A., Seshia, S.A., and Jensen, J.C. Teaching embedded systems the Berkeley way. In Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education (2012), 1.

[24]

Maler, O. and Nickovic, D. Monitoring temporal properties of continuous signals. In FTRTFT/FORMATS 2004, 152--166.

[25]

Marwedel, P. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things. Springer (2017).

[26]

Marwedel, P., Mitra, T., Grimheden, M.E., and Andrade, H.A. Survey on education for cyber-physical systems. IEEE Design & Test 3, 6 (2020), 56--70.

[27]

NAE Grand Challenges for Engineering: 14 grand challenges for engineering in the 21st century---Advance personalized learning. National Academy of Engineering. http://www.engineeringchallenges.org/challenges/learning.aspx.

[28]

Sadigh, D., Seshia, S.A., and Gupta, M. Automating exercise generation: A step towards meeting the MOOC challenge for embedded systems. In Proceedings of the Workshop on Embedded Systems Education (October 2012).

[29]

Seshia, S.A., et al. CPSGrader, University of California, Berkeley. http://www.cpsgrader.org.

[30]

Seshia, S.A. Cyber-physical systems education: Explorations and dreams. In Principles of Modeling---Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, LNCS 10760 (2018), 407--422.

[31]

Seshia, S.A. Algorithmic improvisation for dependable intelligent autonomy. In 40th Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 182 of LIPIcs (2020), 5:1--5:3.

[32]

Seshia, S.A., Hu, S., Li, W., and Zhu, Q. Design automation of cyber-physical systems: Challenges, advances, and opportunities. IEEE Transactions on CAD of Integrated Circuits and Systems 36, 9 (2017), 1421--1434.

[33]

Vardi, M.Y. Humans, machines, and the future of work. In Ada Lovelace Symposium 2015---Celebrating 200 Years of a Computer Visionary, 2.

[34]

Vardi, M.Y. The moral imperative of artificial intelligence. Communications of the ACM 59, 5 (2016), 5.

[35]

Vazquez-Chanlatte, M., Deshmukh, J.V., Jin, X., and Seshia, S.A. Logical clustering and learning for time-series data. In 29th Intern. Conf. on Computer Aided Verification (2017), 305--325.

[36]

Wilson, S., et al. The Robotarium: Globally impactful opportunities, challenges, and lessons learned in remote-access, distributed control of multirobot systems. IEEE Control Systems Magazine 40, 1 (February 2020), 26--44.

[37]

Wing, J.M. A specifier's introduction to formal methods. IEEE Computer 23, 9 (September 1990), 8--24.