The Spring 2001 version of the Model-based reasoning course will discuss different paradigms for modeling and analysis of physical systems and embedded systems (i.e., physical systems with computer-based controllers). We will look at discrete, qualitative approaches for modeling static behavior, discrete-event and continuous methodologies for modeling dynamic behavior, and then hybrid (continuous + discrete) approaches for modeling embedded systems. When studying continuous modeling paradigms, we will look at both qualitative and quantitative schemes for representing and simulating system behavior. The effectiveness of the modeling methodologies will be studied by developing simulation and observer schemes for tracking system behavior. For analysis, our primary focus will be on verification and validation of hybrid systems behaviors, and fault detection and isolation in the discrete, discrete-event, continuous, and hybrid computational paradigms.
The material covered in the course will be from a collection of papers book chapters, and lecture notes. The instructor will come up with an initial list and post them on this website by Dec. 23. Most of the papers and lecture notes will be made accessible on the web. Grades for the course will be based on classroom presentations, a few assignments to familiarize students with computer-based simulation and other analysis tools that we will use in the class, and a class project. Students can pick from a number of ongoing projects being conducted by various research groups in the school (including ours). A major portion of the class grade will be based on the project, which the student is expected to start by mid February, and work on till the end of the semester.
This course should of interest to students in Computer Science, and all branches of Engineering. Our goal will be to attain proficiency in the modeling and analysis of embedded systems. This requires establishing tight links between physical systems and computer programs for analyzing and controlling the behavior of physical systems.
Prerequisite: Permission of the instructor.
Click here for the CS 367 course syllabus