Tutorials

Basic usage and introduction to the Python package

5 minute read

This tutorial illustrates basic usage of the python package, gives pointer to some examples, and shows how to install everything on a Linux/MacOS/Windows sys...

Random Forest Test Selection

4 minute read

This tutorial describes how a machine learning classifier, random forest, can be used in a data driven approach to residual selection.

Defining a structural model with lumped dynamics

2 minute read

This tutorial describes how to define a structural model only, in this case for a small electric motor.

Defining a symbolic dynamic model

2 minute read

This tutorial describes how to define a symbolic model with dynamic constraints.

Slides from our Safeprocess’2015 pre-symposium tutorial

1 minute read

The slides from the pre-symposium tutorial at Safeprocess’2015 in Paris, France is a good tutorial for both theory and use of the software.

Isolability analysis and sensor placement

3 minute read

This tutorial describes how to perform basic isolability analysis for a model and sensor placement analysis.