Visible to the public Education

Visible to the public 

Visible to the public 

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

Social Sensing and Cyber-Physical Systems (CSE40437/60437)
Notre Dame University | Undergraduate/Graduate course   

 

Visible to the public 

Student Competitions, Challenges & Summer Schools

2021 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. The Institute interns participate in a variety of projects that offer students challenging and engaging experiences.

2021 CPS Challenge - "Lunar Lander ExoCam -- Earth Analog"
In the 2021 NSF CPS Challenge, we will explore agile maneuvers with a multi-rotor drone, with the PX4 autopilot stack.

Vanderbilt Digital Nights
A series of free hands-on workshops organized by the CTLI at Vanderbilt where participants will create fun computer programs. The event is targeted at high school students who want to explore what computer science is all about, but interested teachers and parents are also welcome.

UNC Charlotte Summer REU in Computing
Engages undergraduate students in the state of the art in the infrastructure for cyber-physical systems, and the applications and interactions that are enabled by that infrastructure.

NDSU REU in Cybersecurity
Engages undergraduate students in the state of the art in the infrastructure for cyber-physical systems, and the applications and interactions that are enabled by that infrastructure.

Wichita State University Cyber Physical Systems (NetCPS) Research Experience for Undergraduates (REU)
An opportunity for undergraduate students to spend a summer working with faculty researchers renowned in areas such as computer networks, mobile computing, wireless communications, and information security and privacy. A number of projects are available in diverse areas.

The 8th F1TENTH Autonomous Grand Prix (IROS 2020)
Held in Las Vegas, NV on October 25-29, 2020. F1TENTH is an international community of researchers, engineers, and autonomous systems enthusiasts.

Visible to the public 

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

 

Visible to the public 

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.

Visible to the public 

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.