Hybrid and nonhybrid control barrier functions for constraint satisfaction in dynamical systems: Applied to safe motion control of autonomous vessels
Doctoral thesis
Permanent lenke
https://hdl.handle.net/11250/3139421Utgivelsesdato
2024Metadata
Vis full innførselSamlinger
- Institutt for marin teknikk [3436]
Sammendrag
Control barrier functions (CBFs) enable constraint satisfaction in controlled dynamical systems, by mapping state constraints into state-dependent input constraints. CBFs may then be synthesized with any nominal control law by solving an optimization problem that finds the safe input that is closest to the nominal control input (by some appropriate measure). First-order CBFs are applicable for systems where the control input appears in the first time derivative of the controlled output. High-order CBFs (HOCBFs) extend the notion of CBFs to systems of any order, following a procedure reminiscent of the recursive design of a control Lyapunov function in backstepping. Augmenting CBFs with logic variables that may change value instantaneously result in hybrid CBF formulations.
This thesis studies hybrid and nonhybrid control barrier functions (CBFs) for continuous-time systems, with contributions to both theory and applications. Two distinct robustness results for CBF-based control strategies are established: robustness towards bounded disturbances, and robustness towards arbitrarily small perturbations when employing discontinuous safeguarding control laws. Robustness of discontinuous CBF-based control strategies for control-affine systems is established, in the sense that the CBF-induced stability properties are retained under Krasovskii regularization. This result alleviates the need of establishing continuity properties of optimization-based control laws frequently employed together with CBFs.
The result on robustness towards bounded disturbances is stated in the form of sufficient conditions for input-to-state stability (ISS) of nonhybrid HOCBFinduced systems with respect to the safe set, i.e., the subset of the state space where safety constraints are satisfied. This ISS result is established by constructing a vector comparison system from the worst-case evolution of the HOCBF along the disturbed system. Sufficient conditions for uniform global asymptotic stability (UGAS) of the safe set follow as a corollary from the sufficient condition for ISS. Both the ISS and UGAS results apply to closed, but not necessarily compact, safe sets. The distinction between compact and noncompact sets is important in context of HOCBFs, since the safe set defined by HOCBFs is often noncompact.
Hybrid CBFs enable solving control problems that are not solvable by continuous control. Such control problems are frequently encountered in obstacle avoidance problems, since decisiveness with respect to turning direction of the vehicle is required either for task completion or for safety. This thesis proposes to construct hybrid CBFs by combining multiple CBF-like functions defining partially overlapping safe sets. Among the main contributions is a recursive design procedure for constructing hybrid HOCBFs, thereby extending hybrid CBFs to systems with high-order safety constraints.
The theoretical results are complemented by several novel CBF-based control designs: Two hybrid CBF designs for safe motion control are proposed. The first ensures robust safety for vessels required to maintain a nonzero forward speed, whereas the second robustly resolves deadlocks that arise for CBF-based control strategies applied to obstacle avoidance.
A dynamic maneuvering guidance scheme for path-following and obstacle avoidance is also proposed. The guidance scheme reactively generates a safe trajectory for autonomous for autonomous vessels to follow. Modifying the desired path itself, as opposed to forcing vessels to deviate from the path, avoids integral windup in adaptive control schemes that rely on integrating the tracking error. The thesis also motivates the use of CBF-based control strategies for constraint satisfaction in oscillatory mechanical systems, using a wave energy converter as a case study.
Består av
Paper 1: Marley, Mathias; Skjetne, Roger; Breivik, Morten; Fleischer, Caroline. A hybrid kinematic controller for resilient obstacle avoidance of autonomous ships. IOP Conference Series: Materials Science and Engineering 2020 ;Volum 929. s. -. Published by IOP Publishing. Open Access. Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence CC BY. Available at: http://dx.doi.org/10.1088/1757-899X/929/1/012022Paper 2: Marley, Mathias; Skjetne, Roger; Teel, Andrew R.. A kinematic hybrid feedback controller on the unit circle suitable for orientation control of ships. I: 2020 59th IEEE Conference on Decision and Control (CDC). IEEE 2020 ISBN 978-1-7281-7448-8. Copyright © 2020 IEEE. Preprint version. Available at: http://dx.doi.org/10.1109/CDC42340.2020.9304108
Paper 3: Marley, Mathias; Skjetne, Roger; Teel, Andrew R.. Synergistic control barrier functions with application to obstacle avoidance for nonholonomic vehicles. I: Proc. 2021 American Control Conference. IEEE conference proceedings 2021 ISBN 978-1-7281-9704-3. s. 243-249. Copyright © 2021 IEEE. Preprint version. Available at: http://dx.doi.org/10.23919/ACC50511.2021.9482979
Paper 4: Marley, Mathias; Skjetne, Roger; Basso, Erlend Andreas; Teel, Andrew R.. Maneuvering with safety guarantees using control barrier functions. IFAC-PapersOnLine 2021 ;Volum 54.(16) s. 370-377. Copyright © 2021 Elsevier. Preprint version. Available at: http://dx.doi.org/10.1016/j.ifacol.2021.10.118
Paper 5: Marley, Mathias; Skjetne, Roger. Mitigating Force Oscillations in a Wave Energy Converter Using Control Barrier Functions. I: ASME 2022 41st International Conference on Ocean, Offshore and Arctic Engineering Volume 8: Ocean Renewable Energy. The American Society of Mechanical Engineers (ASME) 2022 ISBN 978-0-7918-8593-2. s. – Copyright © 2022 The American Society of Mechanical Engineers. Preprint version. Available at: http://dx.doi.org/10.1115/OMAE2022-82707
Paper 6: Marley, Mathias Huuse; Skjetne, Roger; Gil, Mateusz; Krata, Przemyslaw. Four Degree-of-Freedom Hydrodynamic Maneuvering Model of a Small Azipod-Actuated Ship With Application to Onboard Decision Support Systems. IEEE Access 2023 ;Volum 11. s. 58596-58609. Published by IEEE. Open Access. This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License CC BY-NC-ND. Available at: http://dx.doi.org/10.1109/ACCESS.2023.3284684
Paper 7: Marley, Mathias Huuse; Skjetne, Roger; Teel, Andrew R.. Sufficient Conditions for Uniform Asymptotic Stability and Input-to-State Stability Using High-Order Control Barrier Functions. IEEE Transactions on Automatic Control 2023 ;Volum 69.(4) s. 2352-2366. Copyright © 2023 IEEE. Preprint version. Available at: http://dx.doi.org/10.1109/TAC.2023.3332018
Paper 8: Marley, Mathias Huuse; Skjetne, Roger; Teel, Andrew R.. Hybrid control barrier functions for continuous-time systems. IEEE Transactions on Automatic Control (Early Access), March 2024. Copyright © 2024 IEEE. Preprint version. Available at: https://doi.org/10.1109/TAC.2024.3374265