Jasim, O.A. orcid.org/0000-0002-3934-6266 and Veres, S.M. (2019) Nonlinear attitude control design and verification for a safe flight of a small-scale unmanned helicopter. In: 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT). 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), 23-26 Apr 2019, Paris, France. IEEE ISBN 9781728105222
Abstract
Autonomous small unmanned helicopter systems have been widely studied in the last decades. These systems are extremely agile due to their energy efficiency, overall costs and high levels of maneuverability compared to manned helicopters. This allows them to be used in urban environments for different applications such as search and rescue, aerial stunts for movie industry, fire fighting, surveillance, etc. Such applications require the control system to be robust and safe since a fault may lead to environmental damage and endangering human life. For reasons of the very high safety requirements, in this paper we propose a robust control design and also introduce formal verification of control for small-scale unmanned helicopters. The controller proposed is based on dynamic inversion control for a 3-DOF (degree-of-freedom) attitude dynamics while taking into account the system modelling uncertainty with variable payloads and external disturbances of wind. An invariant set called control-enabled-set is defined for flight envelope, which represents the dynamical state vectors comprised of the attitude and rotation rates, for which the stable control of the craft is feasible with our control scheme. Then the controller is verified using formal methods represented by MetiTarski automated theorem prover to ensure controller stability and robustness. Our approach also paves the way to the possibility that the autopilot system monitors whether it is getting near the boundary of its flight envelope, in which case it can propose or plan and execute an emergency landing to a safe location.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Reproduced in accordance with the publisher's self-archiving policy. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 19 Sep 2019 13:26 |
Last Modified: | 02 Sep 2020 00:38 |
Status: | Published |
Publisher: | IEEE |
Refereed: | Yes |
Identification Number: | 10.1109/codit.2019.8820310 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:151095 |