Safe control systems with control barrier function.

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Chinelato, Caio Igor Gonçalves
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3139/tde-04052022-073549/
Resumo: This work presents approaches for the safe control of dynamical systems with control barrier functions (CBFs). The system must satisfy stability/tracking objectives and safety constraints. Stability/tracking objectives can be satisfied through a control Lyapunov function (CLF) or a nominal control law, as described in classical control literature. Safety constraints are specified in terms of a set invariance and verified through CBFs. The existence of a CBF satisfying specific conditions implies in set invariance and system safety. The control framework considered unifies stability/tracking objectives, expressed as a CLF or a nominal control law, and safety constraints, expressed as a CBF, through quadratic programming (QP). If stability/tracking objectives and safety constraints are in conflict, the control framework mediates these requirements, in the sense that safety is always prioritized. Initially, a literature review with works related to the safety of dynamical systems and CBF is presented and the basic formulation of the considered control framework is described by CBFs represented by relative-degree one safety constraints. Posteriorly, advanced topics are presented, such as CBFs represented by high relativedegree safety constraints, robust CBFs, an explicit solution without QP and discrete-time CBFs (DCBFs). The main contributions of this work are new formulations for robust CBFs, where robust exponential control barrier functions (RECBFs) and sliding mode control barrier functions (SMCBFs) are proposed, the experimental application of an explicit solution to deal with high relative-degree and robust safety constraints, and practical applications not explored in the literature so far. The experiments are organized so that all the topics described in the literature review and the work contributions be covered. The results are presented experimentally in a reaction wheel pendulum and a Furuta pendulum, and numerically in a Multiple-Input-Multiple-Output (MIMO) magnetic levitation system (MAGLEV) and adaptive cruise control (ACC) applied to automotive vehicles. In all cases, stability/tracking objectives and safety constraints are satisfied.
id USP_3dd737638ddff2470a73400aaa8ade7b
oai_identifier_str oai:teses.usp.br:tde-04052022-073549
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Safe control systems with control barrier function.Sistemas de controle seguros com função de barreira de controle.Control barrier functionControle robustoFunção barreira de controleProgramação quadráticaQuadratic programmingRobust controlSafetySistemas de controleSistemas dinâmicos (Controle; Segurança)This work presents approaches for the safe control of dynamical systems with control barrier functions (CBFs). The system must satisfy stability/tracking objectives and safety constraints. Stability/tracking objectives can be satisfied through a control Lyapunov function (CLF) or a nominal control law, as described in classical control literature. Safety constraints are specified in terms of a set invariance and verified through CBFs. The existence of a CBF satisfying specific conditions implies in set invariance and system safety. The control framework considered unifies stability/tracking objectives, expressed as a CLF or a nominal control law, and safety constraints, expressed as a CBF, through quadratic programming (QP). If stability/tracking objectives and safety constraints are in conflict, the control framework mediates these requirements, in the sense that safety is always prioritized. Initially, a literature review with works related to the safety of dynamical systems and CBF is presented and the basic formulation of the considered control framework is described by CBFs represented by relative-degree one safety constraints. Posteriorly, advanced topics are presented, such as CBFs represented by high relativedegree safety constraints, robust CBFs, an explicit solution without QP and discrete-time CBFs (DCBFs). The main contributions of this work are new formulations for robust CBFs, where robust exponential control barrier functions (RECBFs) and sliding mode control barrier functions (SMCBFs) are proposed, the experimental application of an explicit solution to deal with high relative-degree and robust safety constraints, and practical applications not explored in the literature so far. The experiments are organized so that all the topics described in the literature review and the work contributions be covered. The results are presented experimentally in a reaction wheel pendulum and a Furuta pendulum, and numerically in a Multiple-Input-Multiple-Output (MIMO) magnetic levitation system (MAGLEV) and adaptive cruise control (ACC) applied to automotive vehicles. In all cases, stability/tracking objectives and safety constraints are satisfied.Este trabalho apresenta abordagens para o controle seguro de sistemas dinâmicos com funções de barreira de controle (CBFs). O sistema deve satisfazer objetivos de estabilidade/rastreamento e restrições de segurança. Os objetivos de estabilidade/rastreamento podem ser satisfeitos através de uma função de Lyapunov de controle (CLF) ou uma lei de controle nominal, como descrito na literatura clássica de controle. Restrições de segurança são especificadas em termos da invariância de um conjunto e verificadas através de CBFs. A existência de uma CBF satisfazendo condições especificas implica na invariância do conjunto e segurança do sistema. A estrutura de controle considerada unifica os objetivos de estabilidade/rastreamento, expressos como uma CLF ou uma lei de controle nominal, e as restrições de segurança, expressas como uma CBF, através de uma programação quadrática (QP). Se os objetivos de estabilidade/rastreamento e as restrições de segurança estão em conflito, a estrutura de controle pondera estes requisitos no sentido da segurança ser sempre priorizada. Inicialmente, uma revisão de literatura com trabalhos relacionados à segurança de sistemas dinâmicos e CBF é apresentada e a formulação básica da estrutura de controle considerada é descrita por CBFs representadas por restrições de segurança de grau relativo unitário. Posteriormente, tópicos avançados são apresentados, tais como CBFs representadas por restrições de segurança de alto grau relativo, CBFs robustas, uma solução explícita sem QP e CBFs de tempo discreto (DCBFs). As principais contribuições deste trabalho são novas formulações para CBFs robustas, onde funções de barreira de controle exponenciais robustas (RECBFs) e funções de barreira de controle com modos deslizantes (SMCBFs) são propostas, a aplicação experimental de uma solução explícita para lidar com restrições de segurança de alto grau relativo e robustas, e aplicações práticas não exploradas na literatura até o momento. Os experimentos são organizados de forma que todos os tópicos tratados na revisão de literatura e as contribuições do trabalho sejam mostrados. Os resultados são apresentados experimentalmente em um pêndulo roda de reação e um pêndulo de Furuta, e numericamente em um sistema de levitação magnética (MAGLEV) com múltiplas entradas e múltiplas saídas (MIMO) e no controle de cruzeiro adaptativo (ACC) aplicado a veículos automotivos. Em todos os casos, os objetivos de estabilidade/rastreamento e as restrições de segurança são satisfeitos.Biblioteca Digitais de Teses e Dissertações da USPAngelico, Bruno AugustoChinelato, Caio Igor Gonçalves2022-03-24info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3139/tde-04052022-073549/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesseng2022-05-04T13:03:45Zoai:teses.usp.br:tde-04052022-073549Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212022-05-04T13:03:45Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Safe control systems with control barrier function.
Sistemas de controle seguros com função de barreira de controle.
title Safe control systems with control barrier function.
spellingShingle Safe control systems with control barrier function.
Chinelato, Caio Igor Gonçalves
Control barrier function
Controle robusto
Função barreira de controle
Programação quadrática
Quadratic programming
Robust control
Safety
Sistemas de controle
Sistemas dinâmicos (Controle; Segurança)
title_short Safe control systems with control barrier function.
title_full Safe control systems with control barrier function.
title_fullStr Safe control systems with control barrier function.
title_full_unstemmed Safe control systems with control barrier function.
title_sort Safe control systems with control barrier function.
author Chinelato, Caio Igor Gonçalves
author_facet Chinelato, Caio Igor Gonçalves
author_role author
dc.contributor.none.fl_str_mv Angelico, Bruno Augusto
dc.contributor.author.fl_str_mv Chinelato, Caio Igor Gonçalves
dc.subject.por.fl_str_mv Control barrier function
Controle robusto
Função barreira de controle
Programação quadrática
Quadratic programming
Robust control
Safety
Sistemas de controle
Sistemas dinâmicos (Controle; Segurança)
topic Control barrier function
Controle robusto
Função barreira de controle
Programação quadrática
Quadratic programming
Robust control
Safety
Sistemas de controle
Sistemas dinâmicos (Controle; Segurança)
description This work presents approaches for the safe control of dynamical systems with control barrier functions (CBFs). The system must satisfy stability/tracking objectives and safety constraints. Stability/tracking objectives can be satisfied through a control Lyapunov function (CLF) or a nominal control law, as described in classical control literature. Safety constraints are specified in terms of a set invariance and verified through CBFs. The existence of a CBF satisfying specific conditions implies in set invariance and system safety. The control framework considered unifies stability/tracking objectives, expressed as a CLF or a nominal control law, and safety constraints, expressed as a CBF, through quadratic programming (QP). If stability/tracking objectives and safety constraints are in conflict, the control framework mediates these requirements, in the sense that safety is always prioritized. Initially, a literature review with works related to the safety of dynamical systems and CBF is presented and the basic formulation of the considered control framework is described by CBFs represented by relative-degree one safety constraints. Posteriorly, advanced topics are presented, such as CBFs represented by high relativedegree safety constraints, robust CBFs, an explicit solution without QP and discrete-time CBFs (DCBFs). The main contributions of this work are new formulations for robust CBFs, where robust exponential control barrier functions (RECBFs) and sliding mode control barrier functions (SMCBFs) are proposed, the experimental application of an explicit solution to deal with high relative-degree and robust safety constraints, and practical applications not explored in the literature so far. The experiments are organized so that all the topics described in the literature review and the work contributions be covered. The results are presented experimentally in a reaction wheel pendulum and a Furuta pendulum, and numerically in a Multiple-Input-Multiple-Output (MIMO) magnetic levitation system (MAGLEV) and adaptive cruise control (ACC) applied to automotive vehicles. In all cases, stability/tracking objectives and safety constraints are satisfied.
publishDate 2022
dc.date.none.fl_str_mv 2022-03-24
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/3/3139/tde-04052022-073549/
url https://www.teses.usp.br/teses/disponiveis/3/3139/tde-04052022-073549/
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257851812118528