# 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:- Matlab Simulink controllers
- Lustre controllers
- C controllers

- Simple L1 - Matlab Simulink - v1 v2
- Simple L1 - lustre (from v1) - basic translation
- Simple L1 - lustre (from v1) - one node
- Simple L1 - C - generated by lus2c from v1 controller main loop

- Simple L1 - C - generated by Geneauto from v2 (without Lustre phase) controller

- Simple lqr - Matlab Simulink - v1