This wiki summarizes representative examples of control systems that are or have to be formally analyzed.
Each case should contain at least the following elements:
- describe the equations of the environement and the plant
- a controller
- associated properties: controller properties, close loop properties, robustness properties, etc
- build instructions of the plant is available
This work is preliminary. Any comments or new examples are welcome.
NXTway Lego robot¶
Quanser 3DOF helicopter¶
A320 like aircraft¶
Parrot ARDrone2 quadcopter¶
ADMIRE supersonic fighter¶
Extended Kalman filters¶
Those are not really plants with controllers but worth analysis.