Robust Safety-Critical Control for Systems With Sporadic Measurements and Dwell-Time Constraints

被引:0
作者
Breeden, Joseph [1 ]
Zaccarian, Luca [2 ,3 ]
Panagou, Dimitra [1 ,4 ]
机构
[1] Univ Michigan, Dept Aerosp Engn, Ann Arbor, MI 48109 USA
[2] Univ Toulouse, CNRS, UPS, Lab Anal & Architecture Syst, F-31400 Toulouse, France
[3] Univ Trento, Dipartimento Ingn Ind, I-38122 Trento, Italy
[4] Univ Michigan, Dept Robot, Ann Arbor, MI 48109 USA
来源
IEEE CONTROL SYSTEMS LETTERS | 2024年 / 8卷
基金
美国国家科学基金会;
关键词
Extraterrestrial measurements; Satellites; Actuators; Uncertainty; Safety; Observers; Mathematical models; Constrained control; hybrid systems; aerospace;
D O I
10.1109/LCSYS.2024.3410631
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This letter presents extensions of control barrier function (CBF) theory to systems with disturbances wherein a controller only receives measurements infrequently and operates open-loop between measurements, while still satisfying state constraints. This letter considers both impulsive and continuous actuators, and models the actuators, measurements, disturbances, and timing constraints as a hybrid dynamical system. We then design an open-loop observer that bounds the worst-case uncertainty between measurements. We develop definitions of CBFs for both actuation cases, and corresponding conditions on the control input to guarantee satisfaction of the state constraints. We apply these conditions to simulations of a satellite rendezvous in an elliptical orbit and autonomous orbit stationkeeping.
引用
收藏
页码:1415 / 1420
页数:6
相关论文
共 20 条
[1]   Safe and Robust Observer-Controller Synthesis Using Control Barrier Functions [J].
Agrawal, Devansh R. ;
Panagou, Dimitra .
IEEE CONTROL SYSTEMS LETTERS, 2022, 7 :127-132
[2]  
Ames AD, 2019, 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), P3420, DOI [10.23919/ECC.2019.8796030, 10.23919/ecc.2019.8796030]
[3]   Impulse differential inclusions: A viability approach to hybrid systems [J].
Aubin, JP ;
Lygeros, J ;
Quincampoix, M ;
Sastry, S ;
Seube, N .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (01) :2-20
[4]  
Breeden J, 2024, Arxiv, DOI arXiv:2403.03663
[5]   Safety-Critical Control for Systems With Impulsive Actuators and Dwell Time Constraints [J].
Breeden, Joseph ;
Panagou, Dimitra .
IEEE CONTROL SYSTEMS LETTERS, 2023, 7 :2119-2124
[6]   Control Barrier Functions in Sampled-Data Systems [J].
Breeden, Joseph ;
Garg, Kunal ;
Panagou, Dimitra .
IEEE CONTROL SYSTEMS LETTERS, 2022, 6 :367-372
[7]   A Hybrid Control Framework for Impulsive Control of Satellite Rendezvous [J].
Brentari, Mirko ;
Urbina, Sofia ;
Arzelier, Denis ;
Louembet, Christophe ;
Zaccarian, Luca .
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2019, 27 (04) :1537-1551
[8]   Forward Invariance of Sets for Hybrid Dynamical Systems (Part II) [J].
Chai, Jun ;
Sanfelice, Ricardo G. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (01) :89-104
[9]   Measurement-Robust Control Barrier Functions: Certainty in Safety with Uncertainty in State [J].
Cosner, Ryan K. ;
Singletary, Andrew W. ;
Taylor, Andrew J. ;
Molnar, Tamas G. ;
Bouman, Katherine L. ;
Ames, Aaron D. .
2021 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2021, :6286-6291
[10]   Hybrid Nonsmooth Barrier Functions With Applications to Provably Safe and Composable Collision Avoidance for Robotic Systems [J].
Glotfelter, Paul ;
Buckley, Ian ;
Egerstedt, Magnus .
IEEE ROBOTICS AND AUTOMATION LETTERS, 2019, 4 (02) :1303-1310