[23]. From the smartphones in our pockets to the complex flight control systems in aviation, these systems are everywhere [28].
The book is a definitive guide to the design and analysis of cyber-physical systems (CPS). Unlike traditional embedded systems texts that focus on microcontrollers and "bare metal" programming, Lee and Seshia focus on the intersection of physical processes and computing. Key themes include: