University of Pannonia, Faculty of Information Technology
Department of Electrical Engineering and Information Systems

Computer Controlled Systems II. - Diagnosis

Dates: 27-30 January, 2020  (Monday-Thursday)

Location: buiding I, 2nd floor, room 207B 

Lecturers:
Prof. Katalin Hangos, University of Pannonia
Prof. Lőrinc Márton, Sapientia University

Tutors:
Áron Fehér, Sapientia University
Anna Ibolya Pózna, University of Pannonia

This condensed PhD course contains the following material from the PhD subject Computer Controlled Systems II

T2. Observer and filter design for stochastic LTI systems
- the observer design problem and its solution for LTI systems

T4. Model-based diagnosis for dynamic systems
- diagnosis in continuous time LTI systems
- diagnosis in discrete event systems

Course contents and material

day time topic (downloadable material) lecturer
Monday (1st day)
Basic notions and tools
9:00-10:30 Lecture: Diagnostic dynamic models
Linear and nonlinear state space models
Automata and Petri net models
Fault modelling
Hangos Katalin
11:00-12:30

Basic tools (computer tutorial)
Review of MATLAB and its important toolboxes


Pózna Anna
13:30-15:00

Lecture: Model analysis and diagnosis
Supporting methods for diagnosis: observability analysis, observers
Fault detection and diagnosis basics: detection and localization
Petri net models for diagnosis, analysis of Petri net models

Hangos Katalin
15:30-17:00

Petri net modelling and simulation tools



Pózna Anna
Tuesday (2nd day)
Discrete diagnosis
9:00-10:30  Lecture: Diagnosis based on event sequences
 Traces and trace distances, Diagnosers
 Traces obtained from HAZID analysis
Hangos Katalin
11:00-12:30

Blackboard tutorial: Discrete diagnosis


Pózna Anna
13:30-15:00

 Lecture: Case sudy
 Case study on event sequence based diagnosis using clustering of traces
 


Hangos Katalin
15:30-17:00 Case study: Diagnosis with Colored Petri Nets
Pózna Anna
Wednesday (3rd day)
Fault Diagnosis in LTI Systems
9:00-10:30 Lectures: Fault diagnosis
1. Review of Observers for LTI Systems: Linear Observers in State Space, Observer Design, LQG estimator
2. Introduction. Models for Systems with Faults, Faults in Closed Loop Systems
3. Detectability, Isolability, Identifiability in Continuous Time Systems with Faults
4. Residual Generator Design: Analytical Redundancy, Diagnostic Observer, Unknown Input Observer
Márton Lőrinc
11:00-12:30 5. Residual Evaluation, Threshold Computation
6. Fault Isolation Methods, Generalized Observer Design
7. Fault Identification Filter Design
8. Application Examples
Márton Lőrinc
13:30-15:00

Fault Diagnosis Tools

Fehér Áron
15:30-17:00 Application Example Fehér Áron
Thursday (4th day)
Fault Tolerant Control, Reconfiguration
9:00-10:30 Lectures: Fault tolerant control design
1. Review of Control Design in State Space: State feedback, Pole Placement, LQ Control Design
2. Introduction: Faults and Fault Tolerant Control, Structure of a Fault Tolerant Control System, Controller re-design
3. Fault Tolerant LQ Design

 
Márton Lőrinc
11:00-12:30 4. Model Matching-based Design
5. Virtual Sensor and Virtual Actuator Methods
6. Application Examples
Márton Lőrinc
13:30-15:00

Fault Tolerant Control Tools


Fehér Áron
15:30-17:00 Application Example Fehér Áron