Safety-Critical Controller Synthesis with Reduced-Order Models

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Cohen, Max H., Csomay-Shanklin, Noel, Compton, William D., Molnar, Tamas G., Ames, Aaron D.
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915033404932096
author Cohen, Max H.
Csomay-Shanklin, Noel
Compton, William D.
Molnar, Tamas G.
Ames, Aaron D.
author_facet Cohen, Max H.
Csomay-Shanklin, Noel
Compton, William D.
Molnar, Tamas G.
Ames, Aaron D.
contents Reduced-order models (ROMs) provide lower dimensional representations of complex systems, capturing their salient features while simplifying control design. Building on previous work, this paper presents an overarching framework for the integration of ROMs and control barrier functions, enabling the use of simplified models to construct safety-critical controllers while providing safety guarantees for complex full-order models. To achieve this, we formalize the connection between full and ROMs by defining projection mappings that relate the states and inputs of these models and leverage simulation functions to establish conditions under which safety guarantees may be transferred from a ROM to its corresponding full-order model. The efficacy of our framework is illustrated through simulation results on a drone and hardware demonstrations on ARCHER, a 3D hopping robot.
format Preprint
id arxiv_https___arxiv_org_abs_2411_16479
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Safety-Critical Controller Synthesis with Reduced-Order Models
Cohen, Max H.
Csomay-Shanklin, Noel
Compton, William D.
Molnar, Tamas G.
Ames, Aaron D.
Systems and Control
Robotics
Reduced-order models (ROMs) provide lower dimensional representations of complex systems, capturing their salient features while simplifying control design. Building on previous work, this paper presents an overarching framework for the integration of ROMs and control barrier functions, enabling the use of simplified models to construct safety-critical controllers while providing safety guarantees for complex full-order models. To achieve this, we formalize the connection between full and ROMs by defining projection mappings that relate the states and inputs of these models and leverage simulation functions to establish conditions under which safety guarantees may be transferred from a ROM to its corresponding full-order model. The efficacy of our framework is illustrated through simulation results on a drone and hardware demonstrations on ARCHER, a 3D hopping robot.
title Safety-Critical Controller Synthesis with Reduced-Order Models
topic Systems and Control
Robotics
url https://arxiv.org/abs/2411.16479