Spring 2001

CS 367: Model-Based Reasoning

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



Instructor: Dr. G. Biswas, 		 Office: Room 455 Village at Vanderbilt (V@V) 


Tele: 343-6204, 		  e-mail: biswas@vuse 

Topics:

I plan to cover the following topics in this course:

1.

Introductory Lecture (01/16): Modeling of Systems and its applications

2.

Topic 1 (01/18 - 01/23): Qualitative Reasoning: The QSIM approach. (Ref: B. Kuipers: Qualitative Reasoning - Modeling and Simulation with Incomplete Knowledge, MIT Press, Cambridge, MA, 1994).

3.

Topic 2 (01/25 - 02/01): Modeling and Analysis of Physical Systems: The Bond Graph Approach (Ref: D.C. Karnopp, D.L. Margolis, and R.C. Rosenberg - Systems Dynamics: A Unified Approach, 2nd ed., John Wiley, NY, 1990).

4.

Topic 3 (02/06 - 02/20): Traditional Methods for Diagnosis of Static, Discrete-Event, and Dynamic Systems. (Collection of papers).

5.

Topic 4 (02/22 - 03/22): Modeling and Analysis of Hybrid Systems. (Lecture Notes and collection of papers).

6.

Topic 5 (03/27 - 04/05): Fault Detection and Isolation in Hybrid Systems - (Building Hybrid Observers and Fault Isolation units).

7.

Topic 6 (04/10 - 04/24): Advanced Topics, such as applications to computational architectures for embedded systems, embedded control, and fault-adaptive control.

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.

In addition, we will use a number of journal articles and lecture notes that I will provide through the course.