Reachability of Nonlinear Systems With Unknown Dynamics

DOI10.1109/TAC.2022.3170855MaRDI QIDQ6053285zbMATH OpenOpenAlexFDO

Authors Melkior Ornik

Publication date 26 September 2023

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.11045

zbMATH Keywords

aerospace systemsautonomous systemsnonlinear control systemsreachable set computationuncertain systems

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Abstract: Determining the reachable set for a given nonlinear control system is crucial for system control and planning. However, computing such a set is impossible if the system's dynamics are not fully known. This paper is motivated by a scenario where a system suffers an adverse event mid-operation, resulting in a substantial change to the system's dynamics, rendering them largely unknown. Our objective is to conservatively approximate the system's reachable set solely from its local dynamics at a single point and the bounds on the rate of change of its dynamics. We translate this knowledge about the system dynamics into an ordinary differential inclusion. We then derive a conservative approximation of the velocities available to the system at every system state. An inclusion using this approximation can be interpreted as a control system; the trajectories of the derived control system are guaranteed to be trajectories of the unknown system. To illustrate the practical implementation and consequences of our work, we apply our algorithm to a simplified model of an unmanned aerial vehicle.

Cited in

(5)

• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
• scientific article; zbMATH DE number 3234735 (Why is no real title available?)

This page was built for publication: Reachability of Nonlinear Systems With Unknown Dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6053285)