This course introduces students to the basics of design, model, analysis, and control for embedded systems operating in real time. Students learn how to combine physical processes with computation. The course has a strong laboratory component, with emphasis on a semester-long project.

Topics expected to be covered include the following:
1. Models of computation: finite state machines, threads, ordinary differential equations, hybrid systems, actors, discrete-events, data flow
2. Basic analysis, control, and systems simulation: Bisimulations, reachability analysis, controller synthesis, approximating continuous-time systems.
3. Interfacing with the physical world: sensor/actuator modeling and calibration, concurrency in dealing with multiple real-time streams, handling numerical imprecision in software
4. Mapping to embedded platforms: real-time operating systems, execution time analysis, scheduling, concurrency
5. Distributed embedded systems: Protocol design, predictable networking, security

Prerequisites:
ICEN 370: Digital Signal Processing and ICEN 333: Programming at the Hardware Software Interface
The students are expected to be comfortable in Unix/Linux environment.

Lecture:
         Time: Tuesday and Thursday, 01:15-02:35PM
         Location: Earth Science & Mathematics (ES) 0019

Office Hours:
         Time: Tuesday and Thursday, 12:00-1:00PM and also by appointment
         Location: Library (LI) 89B

Instructor
Prof. Dola Saha Email: dsaha AT albany DOT edu

Blackboard: ICEN 553/453: Cyber-Physical Systems

Required: Edward A. Lee and Sanjit A. Seshia, "Introduction to Embedded Systems, A Cyber-Physical Systems Approach", Second Edition, MIT Press, ISBN 978-0-262-53381-2, 2017, available for download.

Highly Recommended: Derek Molloy, "Exploring Raspberry Pi: Interfacing to the Real World with Embedded Linux", Wiley, ISBN 978-1-119-18868-1, 2016.

Further Reference:

1. Rajeev Alur, "Principles of Cyber-Physical Systems", MIT Press
2. Danda B. Rawat, Joel J.P.C. Rodrigues, Ivan Stojmenovic, "Cyber-Physical Systems: From Theory to Practice", CRC Press

1. Labs (Pre and post-completion) - 15%
2. Homeworks - 15%
3. Midterm - 20%
4. Final Exam - 20%
5. Project Proposal - 10%
6. Final Project - 20% [Model: 20%, Design - 20%, Analysis - 20%, Written Report - 20%, Final Presentation - 20%]

A: 100-95 points A-: 94-90 points
B+: 89-87 points B: 86-84 points B-: 83-80 points 
C+: 79-77 points C: 76-73 points C-: 72-70 points
D+: 69-67 points D: 66-63 points D-: 62-60 points
E: 59 points and below

Assignments: Assignments will be posted in Blackboard. No late assignments will be accepted. All assignments are due by 11:59PM on the due date in Blackboard (unless otherwise specified). Any re-grading requests will be considered up to 5 business days after posting the grades for the corresponding assignment. No re-grading requests will be entertained after the 5-day period has passed. You are not supposed to collaborate on homework assignments.

Academic Honesty and Overall Regulations: Every student has the responsibility to become familiar with the standards of academic integrity at the University. Plagiarism and any act of academic dishonesty will not be tolerated and will be reported to the Graduate/Undergraduate Education in UAlbany. Read the Standards of Academic Integrity and Policies in the Undergraduate Bulletin or Graduate Bulletin.

Hardware: We will use Raspberry Pi for the lab. You will have to check-out the Pi Kit from the Department and will have to bring it every day in class to work on it. You will also need to bring your own laptop everyday in the class. After the semester is over, you will have to return the kit to the Department. Contact Department Secretary, Deneen Rogers, to get your Raspberry Pi Kit.

Software: We will use bash script, Python and C/C++ in Raspbian OS.

The project is a semester long work based on the materials discussed in this course. Students are encouraged to work in groups of two. Meet with the instructor to discuss the scope and milestones of the project during the office hours. The project constitutes of 30% of your final grade, 10% for proposal submission and 20% for final submission. It is expected that you will use Raspberry Pi and a set of sensors and actuators for your project. Each team can is alotted a budget of $30 for their project, which the instructor will buy for the team. The project should have model, design and analysis component, showcasing a Cyber-Physical Systems. The final in-class presentation should clearly clarify each student's contribution in the project. Both the project proposal and final submission should be written in IEEE Conference format. Project proposal should not exceed 2 pages, while the final submission should not exceed 5 pages.