Education CPS Workshops

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