This is a tentative schedule.

Date Subject Slides Notes
20 Jan 10 1. Introduction Slides The pdf slides contain active links to the cited documents
25 Jan 10 2. Introduction to ODEs and Modeling Slides
27 Jan 10 3. CPS modeling formalism and examples I Chapter 1 from the textbook
1 Feb 10 4. CPS modeling formalism and examples II Slides Chapters 1, 2 and 3 from the textbook
Part I: Finite state systems
3 Feb 10 5. System relationships Slides Chapters 4.1 and 4.2 from the textbook
8 Feb 10 6. System relationships Slides Chapters 4.2 and 4.3 from the textbook
10 Feb 10 7. Verification Slides Chapter 5 from the textbook
Recommended textbook for further reading: Model Checking by Edmund M. Clarke, Orna Grumberg and Doron A. Peled
A quick introduction can be found here.
15 Feb 10 8. Control I Slides Chapters 6.1 and 6.2 from the textbook.
Further reading on control of finite state systems: Supervisory Control of Discrete-Event Systems by W. M. Wonham.
17 Feb 10 9. Control II Slides Chapters 6.3 and 6.4 from the textbook.
Part II: Infinite state systems: Analysis
22 Feb 10 10. Dynamical & Hybrid Systems Slides Chapter 7.1 from the textbook.
24 Feb 10 11. Timed Automata Slides Chapter 7.2 from the textbook.
Further reading: Timed Automata by Rajeev Alur.
Project proposals are due
1 Mar 10 12. Order minimal hybrid systems Chapter 7.3 from the textbook.
3 Mar 10 13. Signed based abstractions Slides Chapter 7.4 from the textbook.
8 Mar 10 14. Signed based abstractions and barrier certificates Slides Chapters 7.4 and 7.5 from the textbook.
HW 1 due
10 Mar 10 15. Reachability Slides Chapter 7.6 from the textbook.
Main reference: Reachability of uncertain linear systems using zonotopes by Antoine Girard and slides.
Some notes on polytopes by Jean Gallier.
Zonohedra and Zonotopes by David Eppstein.
Robustness of model based simulations: slides.
15 Mar 10 No class: Spring break HW 0 due (electronically or in my mailbox in the 5th floor)
17 Mar 10 No class: Spring break
Part III: Infinite state systems: Control
22 Mar 10 16. Control Systems Slides Chapters 8.1 and 8.2 from the textbook.
24 Mar 10 17. Continuous-time multi-affine systems Slides Chapter 8.4 from the textbook.
29 Mar 10 18. Model-Predictive control Main references (also on Blackboard):
Control of systems integrating logic, dynamics, and constraints
A Survey on Explicit Model Predictive Control
Software by Alberto Bemporad
Part IV: Topics
31 Mar 10 19. Approximate System Relationships Chapters 9.1 and 10.1 to 10.3 from the textbook.
Slides are available on the Blackboard.
5 Apr 10 20. Robust Testing and Testing Robustness Slides
7 Apr 10 21. Schedule-oriented, interference-based modelling of CPS Guest lecture by George Varsamopoulos.
12 Apr 10 22. Timed Automata Revisited
14 Apr 10 23. Motion and mission planning in robotics Slides
19 Apr 10 24. Time-triggered scheduling for CPS HW 2 due
Part V: Project Presentations
21 Apr 10 25. Project Presentations
  • Rumana Islam
  • Yashwanth Singh Rahul Annapureddy
  • Michael Jonas
  • Che Liu
26 Apr 10 26. Project Presentations
  • Ayan Banerjee
  • Xinxin Wang
  • Yunsong Meng
  • Ravi Palla
28 Apr 10 27. Project Presentations
  • Joseph Caglio
  • Sailesh Kandula
  • Jason Olivarez
  • Ara Briley
3 May 10 28. Project Presentations
  • Youngchul Na
  • Shahrzad Shirazipourazad
  • Zahra Abbasi
  • Sunjin Kim
12 May 10 HW 3 due
Project report and other material due
.

Information :: Schedule
G. Fainekos // Last update@2010.03.24