The Hebrew University Logo
Syllabus CYBER-PHYSICAL SYSTEMS - 67637

Print
 
close window close
PDF version
Last update 04-08-2019
HU Credits: 3

Degree/Cycle: 1st degree (Bachelor)

Responsible Department: Computer Sciences

Semester: 2nd Semester

Teaching Languages: Hebrew

Campus: E. Safra

Course/Module Coordinator: Dr. Tal Pasternak

Coordinator Email: paster@cs.huji.ac.il

Coordinator Office Hours: Tuesdays 12:00pm

Teaching Staff:
Dr. Tal Pasternak

Course/Module description:
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.

Course/Module aims:
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.

Attendance requirements(%):
0

Teaching arrangement and method of instruction: Lecture and tutorial

Course/Module Content:
Continuous Dynamics
Discrete Dynamics
UML State Diagrams
Hybrid Systems
Composition of state machines
FSM Model Matching
Control of state machines: safety
Invariants and Temporal Logic
Equivalence and refinement
Multi Tasking
Concurrent Models of compotation:
Petri Nets
Time(d) Petri Nets
Scheduling
Quantitative Analysis : queueing
Quantitative Analysis: network calculus

Required Reading:
None

Additional Reading Material:
Books:
1. Introduction to Embedded Systems, a Cyber-Physical Systems Approach, Lee and Seshia
2. Principles of Cyber-Physical Systems, Rajeev Alur

MooC Course:
BerkeleyX: EECS149.1x Cyber-Physical Systems


Course/Module evaluation:
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 %

Additional information:
 
Students needing academic accommodations based on a disability should contact the Center for Diagnosis and Support of Students with Learning Disabilities, or the Office for Students with Disabilities, as early as possible, to discuss and coordinate accommodations, based on relevant documentation.
For further information, please visit the site of the Dean of Students Office.
Print