Requirement specification of quad-rotor flight control system

In automata-based software engineering, the requirements for a human-in-the-loop control system are specified. A quad-rotor control system is considered as the example of a control system., full_html