CDS 270: Verification in Controls (Fall 2009)
This is the homepage of CDS 270 - Verification in Controls, Fall 2009.
CDS 270 - Verification in Controls is aimed at students interested in formal analysis of dynamical systems. Topics include verification concepts in controls such as stability, safety, and input-output properties. In the second half of the course, motivated by the challenges in cyber-physical systems, we will go beyond classical controls and discuss verification in the intersection of computer science and controls. Computational tools such as semidefinite programming and model checking will be emphasized. The course will include concrete motivating examples, hands-on exercises, and a project. Course Flier
Tuesdays and Fridays, 10:30am-noon
A short homework assignment will be handed out at each lecture. If you are taking the course for credit, you will be expected to submit your solutions in a week from the assignment date.
Slides & notes
Starting from this lecture we will need two more matlab packages: multipoly and sosopt. These can be downloaded from this web site. Check the Matlab software part of that site. Remember to add these to your matlab path (this should be enough - no installation or anything).
Slides for Lecture 6 contain more than we can cover during in 90 minutes. We may discuss these at some point over the next few lectures or they are there for completeness.
Some (relatively old) references on nonlinear systems analysis and optimization-based (sum-of-squares optimization in specific) analysis are available here.
Guest Lecture: Prof. Eric Feron from Gatech will deliver an online guest lecture on Nov 3rd at 12:30pm. We will meet in Steele 110 for this lecture. Slides are here.