1st degree (Bachelor)
Dr. Tal Pasternak
Coordinator Office Hours:
Dr. Tal Pasternak
Cyber-Physical Systems (CPS) are integrations of computation, networking, and physical processes. Embedded computers and networks monitor and control the physical processes, with feedback loops where physical processes affect computations and vice versa.
Cyber-Physical Systems provide the basis for the “Internet of Things”.
The course will explore system design problems such reachability analysis and controller synthesis for safety using a state space basis.
Additionally the course will cover practical topics of particular interest in cyber-physical systems such as scheduling and performance analysis of computer networks.
This course will provide concepts and tools needed for analysis, design, and implementation of cyber-physical systems.
Learning outcomes - On successful completion of this module, students should be able to:
To develop the skills to realize cyber-physical systems that are safe, reliable, and efficient in their use of resources.
To learn how to model and design the joint dynamics of software, networks, and physical processes.
To learn to think critically about technologies that are available for achieving such joint dynamics.
Teaching arrangement and method of instruction:
Lecture and tutorial
UML State Diagrams
Composition of state machines
FSM Model Matching
Control of state machines: safety
Invariants and Temporal Logic
Equivalence and refinement
Concurrent Models of compotation:
Time(d) Petri Nets
Quantitative Analysis : queueing
Quantitative Analysis: network calculus
Additional Reading Material:
1. Introduction to Embedded Systems, a Cyber-Physical Systems Approach, Lee and Seshia
2. Principles of Cyber-Physical Systems, Rajeev Alur
BerkeleyX: EECS149.1x Cyber-Physical Systems
End of year written/oral examination 90 %
Presentation 0 %
Participation in Tutorials 0 %
Project work 0 %
Assignments 10 %
Reports 0 %
Research project 0 %
Quizzes 0 %
Other 0 %