Course Descriptions and Syllabi

CS 367: Model-Based Reasoning

Time : Tues.-Thurs. 1:10-2:25 p.m.,           Location: V@V 468.

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.

Prerequisite: Permission of the instructor.

Directory

Course Description	List of Topics
Lectures	Homework Assignments
Schedule and Notes	List of Papers
Instructor Information	Grading Scheme

References:

• W. Hamscher, L. Console, and J. deKleer, ``Readings in Model-Based Diagnosis'', Morgan Kaufmann, 1992.
• B. Kuipers, ``Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge,'' MIT Press, Cambridge, MA, 1994.
• D. Karnopp, D. Margolis, and R. Rosenberg, ``Systems Dynamics: A Unified Approach," J. Wiley, 2nd ed., 1990.
• R.J. Patton, P.M. Frank, and R.N. Clarke, eds., ``Issues of Fault Diagnosis for Dynamic Systems,'' Springer Verlag, Berlin, 2000.

Click here for the CS 367 course syllabus