# Helicopter

This is the 28-dimensional model of a helicopter previously studied using SpaceEx [1]. It has a 8 dimensional helicopter model and 20 dimensional controller.

## Dynamics

$$\begin{array}{l} \dot x = Ax \end{array}$$

where $$A \in \mathbb{R}^{28 \times 28}$$ is a $$28 \times 28$$ dimensional matrix. Details could be found at [1]

## Properties

Please see details in the attached file