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
|
.