Home // ICAS 2019, The Fifteenth International Conference on Autonomic and Autonomous Systems // View article

Evaluating LTL Formulas for On-Board Unmanned Vehicle Health Monitoring

Authors:
Michael Poteat
Yiannis Papelis

Keywords: Linear Temporal Logic; safety; health monitoring

Abstract:
—The proliferation of unmanned vehicle technologies has drastically increased their use in multiple domains. In the maritime domain, unmanned surface vehicles often pose special requirements for on-board health monitoring and fault mitigation due to long endurance, which increases the likelihood of failures when operating without human oversight. Whereas such vehicles can be equipped with numerous on-board sensors, detecting actual or impending failures is often more complicated than simply thresholding values of a sensor reading. In this paper, we will consider the use of Linear Temporal Logic (LTL) as a means to specify and then evaluate in real-time, the health status of an unmanned surface vehicle. This is accomplished by capturing nominal conditions in LTL formulas and then evaluating these formulas in real-time. The advantage of LTL is that it allows capturing value-based as well as time-based expectations for sensor readings when evaluating system status. We define a formal language which is an extension of LTL, and a corresponding software evaluation method with bounded performance. An example demonstration of the feasibility of the process is presented.

Pages: 9 to 14

Copyright: Copyright (c) IARIA, 2019

Publication date: June 2, 2019

Published in: conference

ISSN: 2308-3913

ISBN: 978-1-61208-712-2

Location: Athens, Greece

Dates: from June 2, 2019 to June 6, 2019