Description: An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems.
Brief description: Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley.