1 minute read

It is now final that me and Mattias Krysander will arrange a pre-congress tutorial at the IFAC World Congress in Toulouse, France.

If enough people register, me and Mattias Krysander will arrange a tutorial at the IFAC World Congress in July 2017. The tutorial will be a full-day tutorial, extending the Safeprocess tutorial with mainly some new theoretical developments and hands-on Matlab exercises and tutorials in Matlab for those participants who want. See the tutorial information for more details.

Download a flyer below

Main themes

  1. Formally introduce structural models and fundamental diagnosis definitions
  2. Derive algorithms for analysis of models and diagnosis systems
    • Fundamental graph-theoretical tools, e.g., Dulmage-Mendelsohn decomposition of bipartite-graphs
    • Fault isolability of a model
    • Fault isolability of a diagnosis system
    • Finding sensor locations
  3. Algorithms for design of residual generators
    • Find minimal submodels with redundancy
    • Generating residuals based on submodels with redundancy
  4. Interactive Matlab sessions
    • Analysis and design for provided use-case
    • Analysis and design on own laptop (optional)
    • Illustration on an industrial sized example

Tutorial outline

Time Description
09:00-10:30 Formal introduction of fundamentals; definitions, theory, and models
10:30-10:45 Short break
10:45-12:30 Algorithms for analysis of models and diagnosis systems
  • Some fundamental graph-theoretical tools
  • Determination of fault isolability properties of a model
  • Determination of fault isolability properties of a diagnosis system
  • Finding sensor locations for fault diagnosis
12:30-13:30 Lunch
13:30-15:15 Algorithms for design of residual generators
  • Finding all minimal sub-models with redundancy
  • Generating residuals based on sub-models with redundancy
  • Code generation, state-observers, and detection algorithms
15:15-15:45 Short break and time for discussions
15:45-17:00 Interactive session in Matlab - analysis and design for a provided use-case
17:00-17:30 Concluding discussion and demonstration of use-case

Updated: