## Verification and Control of Cyber-Physical Systems (CSCI 7000, Fall 2014)Course Information
Class Timings: Tuesday-Thursday 9:30-10:45 AM Class Location: ECCR 139 Instructor: `Sriram Sankaranarayanan`Pre-Requisites: Background in Embedded Systems or Control Theory. Undergraduate Level Calculus and some exposure to CS theory.
Office Hours: Wednesdays 12-1 PM and Thursdays 1-2PM ECOT 624.
News
Watch this space for important announcements.
## AssignmentsAssignments will be posted here. Assignment # 1 (Due on Thursday, September 11, 2014). Assignment # 2 (Due on Thursday, September 18, 2014). Assignment # 3 (Due on Thursday, October 2, 2014). Assignment # 4 (Due on Thursday, October 22, 2014). Assignment # 5 (Due on Tuesday, November 4, 2014). Assignment # 6 (Due on Tuesday, December 4, 2014).
## Lecture Schedule and NotesThe schedule of lectures shown below is subject to change. We will post lecture notes for most topics and videos for selected topics. We will strive to post all material well in advance. Please take a look through them, and come prepared for class.
## Syllabus (Topics Covered)Topics Covered
**Mathematical Models of Systems and Their Properties**Structure of Feedback Control Systems: Hands-On Introduction Continuous Time Models: Ordinary Differential Equations. Synchronous Discrete Models: Finite State Machines Asynchronous Models: Network of Automata and Synchronization. Timed and Hybrid Models.
**Property Specifications**Specification Types: Safety, Liveness, Reactivity, Stability. -automata and temporal logics.
**Verification Techniques**Model Checking Deductive Verification: Lyapunov and Barrier Certificates Simulation-Based Verification: RRTs and S-Taliro.
**Application Examples**Real-Time Scheduling. Air Traffic Management. Automotive Systems. Excitable Cells: Heart Tissue. Anesthesia Control. Insulin Infusion Control.
## TextbookNote that no existing textbook is going to cover everything in the syllabus. But one book comes close to covering mode than 80% in significant detail. ## Main TextbookWe will be using the book *Principles of Cyber-Physical Systems*by Rajeev Alur.
The book will be published by MIT press in December 2014. Prof. Alur has kindly allowed us the use of a draft for use in this class. We will distribute the relevant chapters as the course progresses. For certain parts of the syllabus, we will use different books including Feedback Systems: An Introduction to Scientists and Engineers by Karl Astrom and Richard Murray. Introduction to Embedded Systems by Edward Lee and Sanjit Seshia (Close to Prof. Alur's book but differs in emphasis on certain topics) Surveys, Papers and Lecture Notes from various authors.
## Course WorkCourse work will involve: `Weekly assignment problems`given out each week.Some assignments may involve the use of tools such as Matlab Simulink(tm)/Stateflow(tm) and other open source tools.
`Course Project`due at the end of the class. Projects may involve:Modeling and Designing a nontrivial CPS using the ideas taught in the class, Reading papers on a advanced topic relevant to the class, or Working with a verification tool and evaluating it on a set of benchmarks.
## ExamsThere will be two in-class ‘‘midterm’’ quizzes that will test the material learned. Midterms will be announced two weeks in advance, and held in class. ## Course ParticipationClass participation is awarded based mainly on your class preparation, as judged by your general attendance, classroom behavior, interaction in class, willingness to answer questions in class and at the on-line forums, and demonstrating knowledge of weekly reading during problem solving time. ## GradingThe final grade will be calculated by adding up grades for various parts of the class: Assignments: 60% Project: 30% Class Participation: 10%
## Collaboration PolicyThe collaboration policy is rather simple: *Inspiration is free*: you may discuss homework assignments with*anyone*. You are especially encouraged to discuss solutions with your instructor and your classmates.*Plagiarism is forbidden*: the assignments that you turn in should be written entirely on your own. While writing the assignment you are not allowed to consult any source other than the textbook(s) for the class, your own class notes or the lecture notes for the class. Copying/consulting from the solution of another classmate constitutes a violation of the course's collaboration policy and the honor code.*Do not search for a solution on-line*: You may**not**actively search for a solution to the problem from the internet. This includes posting to newsgroup or asking experts at other universities.*When in doubt, ask*: If you have doubts about this policy or would like to discuss specific cases, please ask the instructor.
## Honor CodeWe will expect strict adherence to our our
honor code. Please read and
understand the code thoroughly. If in doubt, ask the instructor. At
the end of the day, honor code violators hurt |