Education
Courses and Syllabi
Unmanned & Autonomous Systems Engineering
Embry Riddle | Graduate course
Cyber-Physical System Design (EECS 227)
UC Irvine | Undergraduate course
Cyber-Physical System Fundamentals
TU Dortmund
CPSs: Languages and Systems (CS556)
IIT | Graduate course
Design and Analysis of CPSs (COMP 451)
Rice University | Graduate course **
Introduction to Cyber-Physical Systems (CMPE142)
UC Santa Cruz | Undergraduate course
Logical Foundations of Cyber-Physical Systems
(15-424)
Carnegie Mellon University | Undergraduate and Graduate course | Videos
Master of Engineering Degree Program in Cyber-Physical Systems
Vanderbilt University | Graduate Degree Program
Cyber-Physical Systems Design and Application (COMP_ENG 364, 464)
Northwestern University | Undergraduate/Graduate course
Internet-of-Things Sensors, Systems, and Applications (COMP_ENG 365, 465)
Northwestern University | Undergraduate/Graduate course
Embedded Systems (COMP_ENG 366, 466)
Northwestern University | Undergraduate/Graduate course
Student Competitions, Challenges & Summer Schools
MITRE Embedded Capture the Flag (eCTF) Competition
Embedded security competition that puts university-affiliated teams (3-20 students each) through the experience of creating a secure system and learning from their mistakes. This design-build-attack-style competition helps develop practical skills that can be applied to securing critical embedded systems, such as UAVs, smart grids, and IoT devices.
[ Machine Learning | Analytics | XR ] + Health | Firefighting
Emotion recognition and postural control ML, smart city firefighting, AR/VR for hand washing and movement assessment, cyber tools for multiple sclerosis, children with ASD.
CPP UAS in UAV Technologies
This 10-week program is designed to increase students' interest in UAV technologies by means of first-hand experience on UAV research with direct mentorship by faculty advisors on advanced research projects in UAV flight dynamic and control, computer vision, artificial intelligence, embedded systems, and robotics.
Research Experiences in Cybersecurity Algorithms
Exposes students to real-world, innovative research and development focused on tools for Cyber-security, static analysis of source code, attack pattern detection through ML techniques, network threat detection, blockchain technology and cybersecurity, and binary source code analysis for malware detection.
Research Experiences in Information Centric Engineering (ICE)
Research areas deals with creation of Virtual Reality based engineering and simulation environments for a range of process domains (micro assembly, surgical simulation and space systems).
Smart Computing and Communications at UMBC
REU research projects in three interrelated thrust areas of smart computing and communications: (i) security and privacy protection, (ii) novel applications, and (iii) sensing and adaptive networking.
VU-ISIS Summer Internship Program
The Institute for Software-Integrated Systems' Summer Internship Program offers paid summer internship opportunities to current undergraduate and graduate students from both Vanderbilt and other universities to participate in a variety of projects that offer students challenging and engaging experiences.
Text Books
An Introductory Lab in Embedded and Cyber-Physical Systems
Jeff C. Jenson, Edward A. Lee and Sanjit A. Seshia
Cyber-Physical Systems
Raj Rajkumar, Dionisio de Niz, Mark Klein
Cyber-Physical Systems: A Computational Perspective
Gaddadevara Matt Siddesh, Ganesh Chandra Deka, Krishnarajanagar Goplalyengar Srinivasa, Lalit Mohan Patnaik
Cyber-Physical Systems: A Model-Based Approach
Taha, Walid, M. Taha, Abd-Elhamid, Thunberg, Johan
Cyber-Physical Systems: Architectures, Protocols and Applications
Chi (Harold) Liu, Yan Zhang
Cyber-Physical Systems: Decision Making Mechanisms and Applications
Kostas Siozios, Dimitrios Soudris, Elias Kosmatopoulos
Cyber-Physical Systems: From Theory to Practice
Danda B. Rawat, Joal J.P.C Rodrigues, Ivan Stojmenovic
Introduction to Embedded Systems: A Cyber-Physical Systems Approach
Edward A. Lee and Sanjit A. Seshia
Logical Foundations of Cyber-Physical Systems
André Platzer
Safety, Security and Privacy for Cyber-Physical Systems
Editors: Ferrari, Riccardo M.G., Teixeira, André
Transportation Cyber-Physical Systems
Editors: Lipika Deka, Mashrur Chowdhury
Verifying Cyber-Physical Systems - A Path to Safe Autonomy
Sayan Mitra
Software and Tools
CPS Tools and Design Studios
Tool(s), models, and mature research prototypes are made available on the CPS-VO portal in the CPS Tools and Design Studios group. These tools and design studios facilitate modeling, verifications, simulation, analaysis, and other categories of tools that are of prime interest to the community. A Verification Tools Library documents several of the most mature verification tools available to the CPS community.
PhysiCloud
PhysiCloud is a software framework that targets mobile, low-power computing systems. It aims to provide a platform-as-a-service layer so that users may develop control applications on mobile cyber-physical systems, such as networked robotic systems. PhysiCloud is under active development as part of the HyPower project.
Pessoa
Pessoa is a software toolbox, developed at UCLA's CyPhyLab, for the synthesis of correct-by-design embedded control software. It is based on the recent notion of approximate bisimulation that allows one to replace differential equations, describing a physical system, by an equivalent finite-state machine.
MatLab & Simulink
MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design of multidomain dynamic and embedded systems. MathWorks produces nearly 100 additional products for specialized tasks such as data analysis and image processing.
CPS education-related materials may be submitted at http://cps-vo.org/group/edu/submit.
Artifacts will be posted to the group upon review from the moderators.