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 DiscreteEvent 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. Continuoustime multiaffine systems

Slides

Chapter 8.4 from the textbook.

29 Mar 10

18. ModelPredictive 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. Scheduleoriented, interferencebased 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. Timetriggered 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
