M&AE 6740Hybrid SystemsFall 2011Description of the Course:Hybrid systems are dynamical systems that have continuous dynamics, modeled by differential equations,as well as discrete dynamics, modeled by automata. These systems are used as a modeling and analysisframework in many fields such as robotics, embedded systems, mechatronic, real time software, air trafficcontrol, systems biology, and process control since they naturally capture the phenomena arising when digital(discrete) computation is combined with the physical (continuous) world.This course will discuss the modeling of hybrid systems, the analysis and simulation of their behavior,different control methodologies as well as verification techniques. To complement the theoretical aspect,several state of the art tools will be introduced. New and emerging topics in hybrid systems research will bepresented as well.As the field of hybrid systems is a truly interdisciplinary one, drawing researchers from dynamical systems,control theory, computer aided verification, automata theory and other fields, one of the goals of this courseis to teach students the language that will allow them to bridge the gap between these traditionally disjointdisciplines.Instructor: Prof. Hadas Kress-Gazit, 210 Upson Hall,email: [email protected] and Location: T,R 10:10 - 11:25, 111 Upson.Office Hours: T 3-4 PM or by appointmentCourse website: http://web.mae.cornell.edu/hadaskg/courses/mae6740.htmlPrerequisites: Undergraduate level courses in linear algebra and differential equations. Knowledge ofLinear system theory and automata theory is helpful. This course is intended for students from differentdisciplines and as such will provide the necessary background material.References: There is no required textbook. Papers and other material will be posted to the website ordistributed in class.PoliciesGrading: The grade will be determined based on the following:• Paper presentations: Six lectures will be devoted to paper presentations by students (two papers perlecture). These papers, representing current work in the field, will complement the material coveredby Prof. Kress-Gazit. A doodle poll will be sent out Tuesday, August 30th after class for students tosign up. Papers will be presented in pairs and each student must participate in leading at least onediscussion during the semester. Grading of this assignment will follow the rubrics that are posted onthe website.Papers will be assigned by Prof. Kress-Gazit; however, students may choose to present a differentpaper. All substitutions must be cleared at least 10 days prior to the presentation.(30% of the finalgrade)• Mini projects: Two mini projects will be assigned during the semester.(30% of the final grade)• Final project: Development of a research project by each student. Ideally, the project will connectto the student’s ongoing research. A project proposal, due on Nov 8 will be reviewed by Prof. Kress-Gazit. The project will conclude with an oral presentation to the class (last 2 lectures) and a writtenreport (due Dec 12 by 5 PM). (40% of the final grade)Audit: Students are welcome to audit the class. To receive an ‘S’, students registered as audit are requiredto do at least one paper presentation.Lecture notes: Lectures will be presented using a tablet PC. A skeleton file for the lecture notes will beposted at least an hour before each lecture (typically the night before) and it will mainly include figures andsome text. It is recommended that students come to class with the lecture notes skeleton and use it to fillin the material covered in class.Late policy: For fairness to all students, late work will not be accepted. In case of exceptional circum-stances, contact Prof. Kress-Gazit immediately.Collaboration policy: Mini projects and the final project are to be done and handed in individually. Toenhance the learning process, students are encouraged to discuss the problems with, provide guidance to andask for help from other students and Prof. Kress-Gazit. However, to make sure each student understandsthe concepts, solutions and code (if any) must be written independently.Paper presentations will be done in pairs.Academic integrity: Students are expected to follow Cornell’s Code of Academic Integrity which canbe found at http://cuinfo.cornell.edu/Academic/AIC.html . The purpose of this code is to provide for anhonest and fair academic