# Wiki¶

$x+\sum_j^{k} x$

## Description of the Quanser system¶

The object of study is a 3 degree of freedom helicopter by quanser.

The file QUANSER-3DOFHelicopter_Reference_Manual.pdf gives its
specification. In this project we focus on the following elements:

• The controller takes, as an input, the three angles (travel, elevation and
pitch);
• It pilots the two motors;
• Resolution for travel angle is 8192;
• Resolution for elevation and pitch angles is 4096;
• The motor control is a voltage +-25V. However the rated voltage is 12V
and peak voltage can be brought up to 22V without damage.

## Objective: formally certified controller¶

We target, in a first phase, on the following properties:
• stability
• soundness of the safety patterns
• conformance with languages requirements (eg. no RTE for C code)

Those properties should be verified on the final product; or, at least, at the source code level.

## Running the device¶

The device is run through Simulink. However it is possible to run any kind of controller through a S-function construct in Simulink.

The objective is to modify the platform to multiply the sensors and implement both at the harware and software level the usual safety patterns to achieve level A certification.

## Shared material: controllers¶

By description language: