Visible to the public Education

Visible to the public 

Visible to the public 

Courses and Syllabi

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

Modeling and Synthesis of Cyber-Physical Systems (EECS 395, 495)
Northwestern University | Undergraduate

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

 

Visible to the public 

Student Competitions, Challenges & Summer Schools

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.

IFAC World Congress Berlin Grand Prix
The 7th F1TENTH Autonomous Grand Prix is a virtual race held on July 15-16, 2020. Teams first qualify in order to determine seeding and then compete head-to-head in an intense battle of algorithms.

2020 CPS Challenge - "SoilScope -- Mars edition"
The goal of this challenge will involve a virtual competition emulating an autonomous probe deployment science mission by the rover and drone duo, at the Jezero crater landing site. 

2020 UMD Cyber Defense Training Camp
Cyber Defense Training Camp is a 7-day residential summer program for rising junior and senior high school students to expand their cybersecurity knowledge and skills through instruction by an experienced security professional. 

4th International Summer School on Deep Learning (DeepLearn 2020)
DeepLearn 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of deep learning.

Virtual ISEF 2020 
A special week of virtual events for the STEM community to celebrate science and engineering.

WMG Summer Camp 2020
This week-long intensive course is designed to provide advanced training for PhD students and practitioners on engineering methods and automation technologies that will be the basis for Industry 4.0.

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: 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

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.

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.