16.31 Feedback Control

AE 4803 FER/AE 8803 FER

Real-Time Control Program Analysis - Fall 2005

	Professor Eric Feron Lectures	GTech AE, ericferonorg. Room 419B in School of AE (Guggenheim) (404) 894 3062 TT 1:30 – 3:00
	Office hours	Feron: Tue 3:00-5:00 pm in 419B

	Admin. Support	Vivian, (404) 894 3026. Room 421 (Montgomery Knight)

Grader: TBD

Course Material

This course is about presenting efficient approaches to understand, and then analyze real-time programs that implement control systems, with an emphasis on safety-critical systems like aerospace, medical or automotive applications.

Among methods studied in this course, we will study conservative computational approaches to automatically search for desirable system properties, using techniques such as advanced optimization methods, reachability analyses, Lyapunov stability analyses, SAT-problem solving etc. We will also see how to leverage some of these methods to generate significant test suites.

Presentation of the problem: Real-time programs

General approach: Provide GUARANTEES of good behavior

Real-Time Control Program design process

Control system design specifications

Coding processes

Implementation

Testing and validation

Conservative analysis tools: Specification level/ control-theoretic tools

Classical stability analyses

Reachability analyses

Lyapunov invariants

Conservative analyses: Code-level analyses

Undecidability theorems

Building models of code behavior

· Mathematical representations

· Role of abstractions and abstract interpretation

Computational methods

· Simulating over entire variable ranges

· Optimization-based analyses

Generating test suites from conservative analyses

More topics may be looked at the demand of the class attendance and in agreement with the instructor.

Basic Information

Lectures are 1:30-3:00 pm.
Grade distribution is: Final project 40%, Homework 40%, Midterm 20%.
Homework will be handed out thursdays (unless stated otherwise), due back the following thursday at 2pm.

Late homework will not be accepted. There are no exceptions to this rule.

There is not much of a textbook available now. Maybe there will be one later in the semester.

This course is intended primarily for graduate students and pumped-up seniors. If you want to link control & CS, this course is yours to take
You can collaborate with others in the class on homework, but only to the extent needed to understand the problem statement, and to decide on a solution method. However, the work that you turn in must be your own. You can consult outside reference material, but a reference must be adequately cited. Collaboration of any sort is not permitted on exams. Violations of any sorts constitutes an act with profound consequences to your future standing in the profession.

Lectures

Date	Lecture	Topic	Handouts/reading	Lecturer
Tuesday, 23 aug	1	Introduction	First handout (.ps)	Eric Feron
Thursday, 25 Aug	2	Designing systems for performance and good operations - meaning for code implementation	Second handout (.ps)	Eric Feron
Tuesday, Aug 30	3	Designing for working implementation	Third handout (.ps)	Eric Feron
Thursday, Sep 1	4	Approaches to system and software behavior proofs	Fourth handout (.ps)	Eric Feron
Tuesday, Sep 6	5	Lyapunov & Rank functions	Fifth handout (.ps)	Eric Feron
Thursday, Sep 8	6	Same	Same	Eric Feron
Tuesday, Sep 13	7	Same + Undecidably theorems (Cousot notes)	Sixth handout (.pdf)	Eric Feron
Thursday, Sept 15	8	Same	Same	Eric Feron
Tuesday, Sept 20	9	Same	Same	Eric Feron
Thursday, Sept 22	10	Same	Same	Eric Feron
Tuesday, Sept 27	11	Guest lecture: On anaesthetic control	Flowchart for adaptive system(.ps)	Jeong Im
Thursday, Sept 29		NO CLASS
Tuesday, Oct 4	12	Guest lecture: Aerospace applications	Here is the .ppt	David Bonavente
Thursday, Oct 6	13	Same	Same	David Bonavente
Tuesday, Oct 11	14	Computing ranking functions via optimization	handout	Eric Feron
Thursday, Oct 13	15	Same	Same handout	Eric Feron
Tuesday, Oct 18		No class
Thursday, Oct 20		No class
Tuesday Oct 25	16	More complex iterative procedures	handout	Eric Feron
Thursday Oct 27	17	Same	Same	Eric Feron
Tuesday Nov 1	18	Same + computational tools	Same	Eric Feron
Thursday Nov 3	19	Computational tools to build Lyapunov certificates	Under construction	Eric Feron
Tuesday, Nov 15		NO CLASS
Thursday, Nov 17		NO CLASS
Tuesday Nov 22		Abstract interpretation 1	HO10.ppt	Eric Feron