- Instructor: Rajeev Alur ( alur@cis)
- Lectures: Monday, Wednesday, 10.30 -- Noon, Moore 212
- Recitation: Friday, Noon -- 1pm, Moore 212
- Teaching Assistant: Nimit Singhania ( nimits@seas)
- Office Hours: Rajeev Alur: Tuesday, 4-5pm (Levine 609); Nimit Singhania: Monday, 5-6pm (levine 512)

Draft copy will be given to registered students during the first lecture. Comments on the textbook draft are most welcome (typos, errors, suggestions for improving the explanation/presentation). Email your comments to alur@cis.

- Six Homeworks (30%): Each such homework will consist of theoretical problems.
- Course Project (20%): The project will focus on design, modeling, and formal analysis of a representative cyber-physical system.
- Midterm (20%): In-class exam (March 4)
- Final Exam (30%) (May 6, Noon -- 2pm)

- Introduction: Jan 14 (Slides)
- Chapter 2: Synchronous Model: Jan 21 (Slides), 26 (Slides), 28 (Slides), Feb 2 (Slides)
- Chapter 3: Safety Requirements: Feb 4 (Slides), 9 (Slides), 11 (Slides), 16 (Slides)
- Chapter 4: Asynchronous Model: Feb 18 (Slides), 23 (Slides), 25 (Slides), March 2 (Slides)
- Chapter 5: Liveness Requirements: March 16 (Slides), 18 (Slides), 23 (Slides), 25 (Slides)
- Chapter 6: Dynamical Systems: March 30, April 1, 6, 8
- Chapter 7: Timed Model: April 13, 15, 20
- Chapter 9: Hybrid Systems: April 22, 27, 29

- Homework 1: Due Wed, Feb 4: Exercises 2.3, 2.14, 2.16, 2.19, and 2.23 (25 pts total)
- Homework 2: Due Wed, Feb 18: Exercises 3.8, 3.9, 3.17, 3.18, and 3.21 (25 pts total)
- Homework 3: Due Mon, March 2: Exercises 4.2+4.10, 4.5, 4.8, 4.13, and 4.19 (25 pts total)
- Midterm 1: March 4, Wed, at 10.30am, Preparing for the mid-term
- Homework 4: Due Wed, April 1: Exercises 5.4, 5.5, 5.9, 5.10, and 5.15 (25 pts total)

See also the course **Foundations of cyber-physical systems** by Andre Platzer and corresponding lecture notes.

- Lecture participation: If you are lost during a lecture, do not hesitate to ask questions. When I ask a question, don't be shy, and answer it the best way you can. Finally, if you do not want to pay attention during lectures, stay home! You are not allowed to use electronic devices such as laptops and mobile phones during a lecture.
- Recitation: Recitation will not cover new material, and will be used to solve exercises, answer questions, and review background material.
- Grades and solutions are posted on canvas.
- Plagiarism policy: For homeworks, projects, and exams, you can use your personal class notes, lecture notes, and reference books. Do not copy material from friends or from the web. For violations of this rule, you will be reported to the Office of the Student Conduct at Penn, which may result in expulsion. Please take the plagiarism rules serioiusly. Start working on the homeworks and projects early, and if you get stuck, contact the instructor or the TA.

Maintained by Rajeev Alur