Passive Fault-Tolerant Augmented Neural Lyapunov Control: A method to synthesise control functions for marine vehicles affected by actuators faults

Grande, Davide; Peruffo, Andrea; Salavasidis, Georgios; Anderlini, Enrico; Fenucci, Davide; Phillips, Alexander B.; Kosmatopoulos, Elias B.; Thomas, Giles. 2024 Passive Fault-Tolerant Augmented Neural Lyapunov Control: A method to synthesise control functions for marine vehicles affected by actuators faults. Control Engineering Practice, 148, 105935. https://doi.org/10.1016/j.conengprac.2024.105935

Before downloading, please read NORA policies.

Preview

Text 1-s2.0-S0967066124000959-main.pdf - Published Version Available under License Creative Commons Attribution 4.0. Download (3MB) | Preview

Abstract/Summary

Closed-loop stability of control systems can be undermined by actuator faults. Redundant actuator sets and Fault-Tolerant Control (FTC) strategies can be exploited to enhance system resiliency to loss of actuator efficiency, complete failures or jamming. Passive FTC methods entail designing a fixed-gain control law that can preserve the stability of the closed-loop system when faults occur, by compromising on the performance of the faultless system. The use of Passive FTC methods is of particular interest in the case of underwater autonomous platforms, where the use of extensive sensoring to monitor the status of the actuator is limited by strict space and energy constraints. In this work, a machine learning-based method is formulated to systematically synthesise control laws for systems affected by actuator faults, encompassing partial and total loss of actuator efficiency and control surfaces jamming. Differently from other methods in this category, the closed-loop stability is formally certified. The learning architecture encompasses two Artificial Neural Networks, one representing the control law, and the other resembling a Control Lyapunov Function (CLF). Periodically, a Satisfiability Modulo Theory solver is employed to verify that the synthesised CLF formally satisfies the theoretical Lyapunov conditions associated to both the nominal and faulty dynamics. The method is applied to three marine test cases: first, an Autonomous Underwater Vehicle performing planar motion and subjected to full loss of actuator efficiency is investigated. Next, a study is conducted on a hybrid Underwater Glider with a pair of independent twin stern planes jamming at a fixed position. Finally, partial loss of effectiveness is considered. In all three scenarios, the system is able to synthesise stabilising control laws with performance degradation prescribed by the user. Unlike other machine-learning based techniques, this method offers formal stability certificates and relies on limited computational resources rendering it possible to be run on unassuming office laptops. An open-source software tool is developed and released at: https://github.com/grande-dev/pFT-ANLC.

Item Type:	Publication - Article
Digital Object Identifier (DOI):	https://doi.org/10.1016/j.conengprac.2024.105935
ISSN:	09670661
Additional Keywords:	Passive Fault-Tolerant Control, Lyapunov methods, Computer-aided control synthesis, Formal verification, Neural networks, Machine-learning
Date made live:	10 Jun 2024 13:40 +0 (UTC)
URI:	https://nora.nerc.ac.uk/id/eprint/537544

Actions (login required)

View Item

Document Downloads

More statistics for this item...