SF2842 Geometric Control Theory
Examiner and lecturer
Xiaoming Hu (hu@math.kth.se), Room 3532, Lindstedtsv. 25, tel. 790 7180.
Teaching assistant
Yuexin Cao (yuexin@kth.se), Room 3731, Lindstedtsv. 25, tel. 790 7132.
Course registration
Important! pleae read here for information on course registration and exam application.
Course contents
This course is the continuation course of Mathematical Systems Theory.
Linear geometric control theory was initiated in the beginning of the 1970's. A good summary of the subject is the book by Wonham.
The term "geometric'' suggests several things. First it suggests that the setting is linear state space and the mathematics behind is primarily linear algebra (with a geometric flavor). Secondly it suggests that the underlying methodology is geometric. It treats many important system concepts, for example controllability, as geometric properties of the state space or its subspaces. These are the properties that are preserved under coordinate changes, for example, the so-called invariant or controlled invariant subspaces. On the other hand, we know that things like distance and shape do depend on the coordinate system one chooses. Using these concepts the geometric approach captures the essence of many analysis and synthesis problems and treats them in a coordinate-free fashion. By characterizing the solvability of a control problem as a verifiable property of some constructible subspace, calculation of the control law becomes much easier. In many cases, the geometric approach can convert what is usually a difficult nonlinear problem into a straight-forward linear one.
As we can already see, "invariance" is a very important concept in the geometric control theory. It is not coincidence that invariance is also very important in machine learning since it preserves the object's identity, category and so forth across changes in the specifics of the input. In this respect, geometric methods are also important in machine learning.
The linear geometric control theory was extended to nonlinear systems in the 1970's and 1980's (see the book by Isidori). The underlying fundamental concepts are almost the same, but the mathematics is different. For nonlinear systems the tools from differential geometry are primarily used.
The course compendium is organized as follows.
Chapter 1 is introduction; In Chapter 2, invariant and controlled invariant subspaces will be discussed; In Chapter 3, the disturbance decoupling problem will be introduced; In Chapter 4, we will introduce transmission zeros and their geometric interpretations; In Chapter 5, non-interacting control and tracking will be studied as applications of the zero dynamics normal form; In Chapter 6, we will discuss some input-output behaviors from a geometric point of view; In Chapter 7, we will discuss the output regulator problem in some detail; In Chapter 8, we will extend some of the central concepts in the geometric control to nonlinear systems. Finally, in Chapter 9 some applications to mobile robots will be given.
Course material
- X. Hu, A. Lindquist et al, Geometric Control Theory, lecture notes, KTH, 2012, can be downloaded here:
Table of contents, Chapter one, Chapter two, Chapter three, Chapter four, Chapter five
Chapter six, Chapter seven, Chapter eight, Chapter nine, Appendix and index - Exercise notes:
Exercise 1, Exercise 2, Exercise 3, Exercise 4, Exercise 5, Exercise 6 - More information can be found here, a detailed solution to an old exam
Course requirements
The course requirements consist of an obligatory final written examination, and three homework sets.
Homework
Each homework set consists of not more than five problems. Each successfully completed homework set gives you 0.5hp. The exact requirements will be posted on each separate homework set. The homework sets will be posted roughly ten days before the deadline on the course homepage under assignments.
2020 Homework and solution:
Written exam
This is an open book exam and you may bring the lecture notes, the exercise notes, your own classnotes and Beta Mathematics Handbook (or any equivalent handbook). The exam will consist of five problems that give maximally 100 points. These problems will be similar to those in the homework assignments and the tutorial exercises. The preliminary grade levels are distributed according to the following rule. These grade limits can only be modified to your advantage.
Total credit (points) | Grade |
---|---|
>84 | A |
71-84 | B |
56-70 | C |
46-55 | D |
40-45 | E |
35-39 | FX |
The grade FX means that you are allowed to make an appeal, see below.
- The first exam will take place on March 14, 2023 at 08:00-13:00.
Solutions to exam of March 2020 can be found here.
Appeal
If your score is in the range 35-39 points then you are allowed to do a complementary examination for grade E. In the complementary examination you will be asked to solve two problems on your own. The solutions should be handed in to the examiner in written form and you must be able to defend your solutions in an oral examination. Contact the examiner no later than three weeks after the final exam if you want to do a complementary exam.
Course evaluation
All the students are encouraged to answer the questionnaire on KTH Social.
Preliminary Schedule for 2023
L=Lecture, E=Exercise
Type | Day | Date | Time | Hall | Topic |
---|---|---|---|---|---|
L1. | Tue | 17/01 | 15-17 | B24 | Introduction |
L2. | Wed | 18/01 | 15-17 | B21 | Invariant subspaces |
L3. | Thu | 19/01 | 13-15 | B22 | Invariant subspaces (cont.) |
E1. | Mon | 23/01 | 15-17 | B26 | Linear algebra, invariant subspaces |
L4. | Tue | 24/01 | 13-15 | B21 | Disturbance decoupling |
L5. | Wed | 25/01 | 15-17 | D32 | Disturbance decoupling, and Zeros |
L6. | Thu | 26/01 | 8-10 | B21 | Zeros and zero dynamics (cont.) |
E2. | Tue | 31/01 | 15-17 | B22 | Reachability subspaces, V*-algorithm, zero dynamics |
L7. | Wed | 1/02 | 15-17 | B21 | Zero dynamics and high gain control |
L8. | Thu | 2/02 | 13-15 | B22 | Noninteracting control and tracking |
L9. | Mon | 6/02 | 15-17 | B24 | Input-output behavior |
E3. | Tue | 7/02 | 15-17 | B22 | Applications of zero dynamics |
L10. | Wed | 8/02 | 15-17 | B21 | Input-output behavior and Output regulation |
L11. | Thu | 9/02 | 13-15 | B23 | Output regulation (cont.) |
L12. | Tue | 14/02 | 15-17 | B22 | Nonlinear systems: examples, math preparation |
E4. | Wed | 15/02 | 15-17 | D32 | Sylvester equation, Output tracking input, Output regulation |
L13. | Thu | 16/02 | 13-15 | B22 | Nonlinear systems: controllability |
L14. | Mon | 20/02 | 15-17 | B22 | Nonlinear systems: Stability, steady state response |
L15. | Tue | 21/02 | 15-17 | B22 | Center manifold and normal form |
E5. | Wed | 22/02 | 15-17 | B26 | Nonlinear systems |
L16. | Thu | 23/02 | 13-15 | D41 | Nonlinear systems: zero dynamics and applications |
L17. | Tue | 28/02 | 15-17 | B23 | Exact linearization and Consensus problem |
E6. | Wed | 1/03 | 15-17 | B21 | Nonlinear control and multi-agent systems |
Welcome!