Course Description:
The development of increasingly complex engineering systems (so called embedded control systems), found for example in aircrafts, cars, and manufacturing systems, where dedicated microcontrollers are combined according to a discrete switching logic, has provided new challenges in the areas of software development and control design. The objective of this course is to model, analyze, and control such systems, where continuous modes are linked together according to given transition rules. For this, a hybrid formalism will be introduced by combining ideas from computer science, such as automata theory, with control theory.

Readings
Since there are, as of yet, no textbooks in this emerging area, the course work will be centered around relevent research paper that will be distributed in class.

Workload
Your responsibilities in this class will fall into three main categories:
1. The homework sets (one problem set every second week) 50%. The credit will be devided equally between programming assignments, project assignments, and theoretical exercises.
2. Two in-class exams. (15% each = total of 30%.)
3. The final exam. It will cover all the material presented in the class. It will be a closed-book, closed-note exam, contributing to a total of 20%.

Location
The lectures will be held at 12-1 Mondays, Wednesdays, and Fridays in Van Leer: E261.

Prerequisites
Prerequisite: ECE3085 or ECE3884 or CS2130

Honor Code
Altough you are encouraged to work together to learn the course material, the exams and homeworks are expected to be completed individually. All conduct in this course will be governed by the Georgia Tech honor code.