Flight Control Systems (Spring 2016), ASE 370L
From u-t-autonomous.info
Contents |
Time: Mon & Wed 11am-12:30pm
Room: WRW 102
Instructor: Ufuk Topcu, email
Office hours: ??? and by appointment.
Announcements
- ...
Schedule
Date | Subject | Notes | Assignments | |
---|---|---|---|---|
1 | Aug 27 | Logistics, intro and overview | slides | |
2 | Sep 1 | Modeling & finite transition systems | slides | |
3 | Sep 3 | No class | cancelled | |
4 | Sep 8 | Specifications (1) -- linear-time properties | slides | |
5 | Sep 10 | Specifications (2) -- automata-based representations | slides | |
6 | Sep 15 | Specifications (3) -- temporal logic | slides | HW 1 |
7 | Sep 17 | Model checking (1) | slides | |
8 | Sep 22 | Model checking (2) & closed-system synthesis | slides | |
9 | Sep 24 | Closed-system synthesis & demo | EC2 instructions | |
10 | Sep 29 | Probabilistic verification (1) -- DTMCs | slides | |
11 | Oct 1 | Probabilistic verification (2) -- MDPs | slides | HW 2 |
12 | Oct 6 | Project presentations (1) | ||
13 | Oct 8 | Open-system synthesis (1) | slides | HW 2' |
14 | Oct 13 | Open-system synthesis (2) | slides | |
15 | Oct 15 | Open-system synthesis (3) | slides (con't) | |
16 | Oct 20 | In-class, hands-on exercises | slides (con't), TuLiP on EC2, synthesis examples | |
17 | Oct 22 | Hybrid systems -- modeling & overview | slides | HW 3 |
18 | Oct 27 | Abstraction-based verification | slides | |
19 | Oct 29 | Abstraction-based control (1) | slides | |
20 | Nov 3 | Abstraction-based control (2) | slides (con't) | HW 4 |
21 | Nov 5 | Abstraction-based control (3) | slides (con't) | |
22 | Nov 10 | Techniques for scaling | slides | |
23 | Nov 12 | Optimization primer | slides | |
24 | Nov 13 | Project presentations (2) | ||
25 | Nov 19 | Deductive verification (1) | slides | HW 5 |
26 | Nov 24 | Deductive verification (2) | slides | |
27 | Dec 1 | Deductive verification (3) | slides (con't) | HW 6, mat file |
28 | Dec 3 | Deductive verification (4) | slides |