-
Practical identification approach for the actuation dynamics of autonomous surface vehicles with minimal instrumentation: extended version
Authors:
Thalia Morel,
Luis Orihuela,
Christophe Combastel,
Guillermo Bejarano
Abstract:
A practical method for identifying the propeller model and inertia matrix of a marine Autonomous Surface Vehicle (ASV) is proposed in this work. Special attention is paid to limiting the instrumentation requirements. Based on a generic grey-box dynamic modelling addressing the considered catamaran-shaped ASV architecture, the static/dynamic behaviour of both propellers and the vessel dynamic are j…
▽ More
A practical method for identifying the propeller model and inertia matrix of a marine Autonomous Surface Vehicle (ASV) is proposed in this work. Special attention is paid to limiting the instrumentation requirements. Based on a generic grey-box dynamic modelling addressing the considered catamaran-shaped ASV architecture, the static/dynamic behaviour of both propellers and the vessel dynamic are jointly estimated using the sole measurements of position, heading, and propellers pulse width modulation (PWM) signals. No accelerometer is required. Two distinct grey-box configurations involving either a static polynomial or a dynamic modelling of each propeller are proposed and compared. The resulting ASV identification methodology is shown to provide insight into the whole vessel inertial characteristics, which are key enablers in the development of autonomous navigation and control systems. Model validation was performed using data collected from the reported experiments. Model prediction errors related to both linear velocities and yaw rate are evaluated and compared based on given metrics. The results underscore the robustness and accuracy of the identified models in capturing the essential dynamics of the ASV, with a determination coefficient that consistently exceeds 0.94 for all estimated velocities.
△ Less
Submitted 10 October, 2024; v1 submitted 1 October, 2024;
originally announced October 2024.
-
Critical-time metric for risk analysis against sharp input anomalies: computation and application case study
Authors:
Arthur Perodou,
Christophe Combastel,
Ali Zolghadri
Abstract:
This paper investigates the critical-time criteria as a security metric for controlled systems subject to sharp input anomalies (attack, fault), characterized by having high impact in a reduced amount of time (e.g. denial-of-service, attack by upper saturation). The critical-time is the maximal time-horizon for which a system can be considered to be safe after the occurrence of an anomaly. This me…
▽ More
This paper investigates the critical-time criteria as a security metric for controlled systems subject to sharp input anomalies (attack, fault), characterized by having high impact in a reduced amount of time (e.g. denial-of-service, attack by upper saturation). The critical-time is the maximal time-horizon for which a system can be considered to be safe after the occurrence of an anomaly. This metric is expected to be useful for risk analysis and treatment (prevention, detection, mitigation). In this work, the computational problem of the critical-time for uncertain linear systems and several classes of sharp input anomalies, depending on the input channel and the set of abnormal signal values, is formulated based on the quadratic constraints (QC) framework, representing sets by the intersection of QC inequalities and equalities. An iterative LMI-based algorithm is then proposed to provide an under-estimate of the critical-time. Finally, the potential of the critical-time as a metric for defense design is illustrated and discussed on the quadruple-tank case study through different relevant scenarios.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes
Authors:
Carlos Trapiello,
Christophe Combastel,
Ali Zolghadri
Abstract:
Verification and safety assessment of neural network controlled systems (NNCSs) is an emerging challenge. To provide guarantees, verification tools must efficiently capture the interplay between the neural network and the physical system within the control loop. In this paper, a compositional approach focused on inclusion preserving long term symbolic dependency modeling is proposed for the analys…
▽ More
Verification and safety assessment of neural network controlled systems (NNCSs) is an emerging challenge. To provide guarantees, verification tools must efficiently capture the interplay between the neural network and the physical system within the control loop. In this paper, a compositional approach focused on inclusion preserving long term symbolic dependency modeling is proposed for the analysis of NNCSs. First of all, the matrix structure of symbolic zonotopes is exploited to efficiently abstract the input/output mapping of the loop elements through (inclusion preserving) affine symbolic expressions, thus maintaining linear dependencies between interacting blocks. Then, two further extensions are studied. Firstly, symbolic polynotopes are used to abstract the loop elements behaviour by means of polynomial symbolic expressions and dependencies. Secondly, an original input partitioning algorithm takes advantage of symbol preservation to assess the sensitivity of the computed approximation to some input directions. The approach is evaluated via different numerical examples and benchmarks. A good trade-off between low conservatism and computational efficiency is obtained.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Functional sets with typed symbols : Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering
Authors:
Christophe Combastel
Abstract:
Verification and synthesis of Cyber-Physical Systems (CPS) are challenging and still raise numerous issues so far. In this paper, based on a new concept of mixed sets defined as function images of symbol type domains, a compositional approach combining eager and lazy evaluations is proposed. Syntax and semantics are explicitly distinguished. Both continuous (interval) and discrete (signed, boolean…
▽ More
Verification and synthesis of Cyber-Physical Systems (CPS) are challenging and still raise numerous issues so far. In this paper, based on a new concept of mixed sets defined as function images of symbol type domains, a compositional approach combining eager and lazy evaluations is proposed. Syntax and semantics are explicitly distinguished. Both continuous (interval) and discrete (signed, boolean) symbol types are used to model dependencies through linear and polynomial functions, so leading to mixed zonotopic and polynotopic sets. Polynotopes extend sparse polynomial zonotopes with typed symbols. Polynotopes can both propagate a mixed encoding of intervals and describe the behavior of logic gates. A functional completeness result is given, as well as an inclusion method for elementary nonlinear and switching functions. A Polynotopic Kalman Filter (PKF) is then proposed as a hybrid nonlinear extension of Zonotopic Kalman Filters (ZKF). Bridges with a stochastic uncertainty paradigm are briefly outlined. Finally, several discrete, continuous and hybrid numerical examples including comparisons illustrate the effectiveness of the theoretical results.
△ Less
Submitted 3 March, 2022; v1 submitted 15 September, 2020;
originally announced September 2020.
