15-424: Foundations of Cyber-Physical Systems (Fa'13)

  1. Home
  2. >>
  3. Courses
  4. >>
  5. FCPS Fa13
  6. >>
  7. Schedule
Bundle of all lecture notes on Foundations of Cyber-Physical Systems


DateLecture NotesExtraDue
Mon08/26Cyber-physical systems: introductionCh 1
Wed08/28Differential equations & domainsCh 2.2,2.3,App.B
Fri08/30Rec: ODE, FOL, quizsol
Mon09/02Free: Labor Day (no class)
Wed09/04Choice & controlCh 2.2,2.3Lab 0 
Fri09/06Rec: HP: Syntax, semantics, example
Mon09/09Safety & contractsCh 2.2,2.3
Wed09/11Dynamical systems & dynamic axiomsCh 2.5.2Asst 1 Beta 1 
Fri09/13Rec: Did you prove what you meant to prove?
Mon09/16Truth & proofCh 2.5.2,App.A
Wed09/18Control loops & invariantscode Ch 2.5.2&4Lab 1 
Fri09/20Rec: Invariants and proofs (Jan)code 
Mon09/23Events & delayscode 
Wed09/25Proofs & arithmeticcode App.D,Ch 5Asst 2 Beta 2 
Fri09/27Rec: Events to delays (Stefan)code 
Mon09/30Differential equations & differential invariantscode Ch 3.5
Wed10/02Differential equations & proofscode Ch 3.5Lab 2 
Fri10/04Rec: Differential invariants (Khalil)
Mon10/07Recap (Jan)Asst 3 
Fri10/11Rec: Stuff
Mon10/14Dynamic logic & dynamical systemsBeta 3 
Wed10/16Differential invariants & proof theoryLMCS'12
Fri10/18Free: Mid-semester break
Mon10/21Ghosts & differential ghostsLMCS'12Lab 3 
Wed10/23Trains & proofsCh 7,ICFEM
Fri10/25Rec: LabsAsst 4 Beta 4 
Mon10/28Differential & temporal logicCh 4
Wed10/30Differential & temporal proofsCh 4
Fri11/01Rec: Differential ghosts, differential invariantsLab 4 
Mon11/04Virtual substitution & real equationsApp.D
Wed11/06Virtual substitution & real arithmeticApp.D
Fri11/08Rec: Safety in motion, real arithmeticAsst 5 Beta 5 
Mon11/11Hybrid systems & gamespdf
Wed11/13Winning strategies & regionspdf
Fri11/15Rec: Game examplesLab 5 
Mon11/18Winning & proving hybrid gamespdf
Wed11/20Game proofs & separationscode ,pdf
Fri11/22Rec: Game proofsBeta 6 
Mon11/25Free: Project Day (no class)
Wed11/27Free: Thanksgiving (no class)
Fri11/29Free: Thanksgiving (no class)
Mon12/02Logical theory & completeness
Wed12/04Logical foundations of CPS
Fri12/06Rec: Wrap-up, recapLab 6 
Mon12/09Free: Finals week (no class)Paper 
Thu12/12Final exam1pm-4pm
The lecture schedule is tentative!
Reading: The chapters Ch i.j for further reading refer to chapters in the textbook in addition to the lecture notes.

Lab Schedule

Lab 010Scavenger HuntcodeWed09/04
Asst 160Introduction to Hybrid ProgramsWed09/11
Beta 120Robot on Rails (Betabot)codeWed09/11
Lab 180Robot on Rails (Veribot)codeWed09/18
Asst 260Loops and ProofsWed09/25
Beta 220Robots on Highways (Betabot)Wed09/25
Lab 280Robots on Highways (Veribot)Wed10/02
Asst 360Proofs, Diamonds, Differential InvariantsMon10/07
Beta 320Robots on Racetracks (Betabot)Mon10/14
Lab 380Robots on Racetracks (Veribot)Mon10/21
Asst 460Differential Invariants and Nondeterministic AssignmentFri10/25
Beta 420Robots in a Plane (Betabot)codeFri10/25
Lab 480Robots in a Plane (Veribot)codeFri11/01
Asst 560Differential Auxiliaries, dTL, Quantifier EliminationFri11/08
Beta 520Robots vs. Roguebots (Betabot)codeFri11/08
Lab 580Robots vs. Roguebots (Veribot)codeFri11/15
Beta 620Star-lab (Betabot)Fri11/22
Lab 680Star-lab (Veribot)Fri12/06
Paper100Term PaperMon12/09
Sum1010points listed

The Lab and Assignment Schedule is tentative!
Theory assignments are due at start of lecture on the due day.
Programming lab assignments are due at 23:59 on the due day.

For an overview of the labs, see Labs & Assignments.