A model based design framework for safety verification of a semi-autonomous inspection drone

McAree, O., Aitken, J.M. and Veres, S.M. (2016) A model based design framework for safety verification of a semi-autonomous inspection drone. In: 2016 UKACC 11th International Conference on Control (CONTROL). UK Automatic Control Conference, 31 Aug - 02 Sep 2016, Belfast, UK. IEEE . ISBN 978-1-4673-9891-6

Abstract

Metadata

Authors/Creators:
  • McAree, O.
  • Aitken, J.M.
  • Veres, S.M.
Copyright, Publisher and Additional Information: © 2016 IEEE. This is an author produced version of a paper subsequently published in Control (CONTROL), 2016 UKACC 11th International Conference on. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Model based design; verification; autonomy; inspection; drone
Dates:
  • Accepted: 16 May 2016
  • Published (online): 10 November 2016
  • Published: November 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Funding Information:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)EP/J011843/1
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)EP/L024942/1
Depositing User: Symplectic Sheffield
Date Deposited: 16 Aug 2016 15:49
Last Modified: 19 Dec 2022 13:34
Published Version: https://doi.org/10.1109/CONTROL.2016.7737551
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number: https://doi.org/10.1109/CONTROL.2016.7737551

Export

Statistics