Cited by 65Advanced Control Systems OptimizationFormal Methods in VerificationAdaptive Control of Nonlinear Systems

Multi-Rate Control Design Leveraging Control Barrier Functions and Model Predictive Control Policies

Open access
Rosolia, Ugo, Ames, Aaron D.·2021·IEEE Control Systems Letters

Abstract

In this letter we present a multi-rate control architecture for safety critical systems. We consider a high level planner and a low level controller which operate at different frequencies. This multi-rate behavior is described by a piecewise nonlinear model which evolves on a continuous and a discrete level. First, we present sufficient conditions which guarantee recursive constraint satisfaction for the closed-loop system. Afterwards, we propose a control design methodology which leverages Control Barrier Functions (CBFs) for low level control and Model Predictive Control (MPC) policies for high level planning. The control barrier function is designed using the full nonlinear dynamical model and the MPC is based on a simplified planning model. When the nonlinear system is control affine and the high level planning model is linear, the control actions are computed by solving convex optimization problems at each level of the hierarchy. Finally, we show the effectiveness of the proposed strategy on a simulation example, where the low level control action is updated at a higher frequency than the high level command.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1109/lcsys.2020.3008326

Cites

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • The architectural implications of enforcing safety locally or remotely have not yet been systematically analyzed.

    “While recent work has considered potential architectures for CBF in networked [9] or multi-rate [10] setups, the architectural implications of enforcing safety locally or remotely have not yet been systematically analyzed.”

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

No references could be resolved yet.

Research works printed but not linked: 21

  1. [1][1] T. Gurriet, A. Singletary, J. Reher, L. Ciarletta, E. Feron, and A. Ames, 'Towards a framework for realizable safety critical control through active set invariance,' in 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) . IEEE, 2018, pp. 98-106. -
  2. [2][2] A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, 'Control barrier function based quadratic programs for safety critical systems,' IEEE Transactions on Automatic Control , vol. 62, no. 8, pp. 3861-3876, Aug 2017. -
  3. [3][3] L. Wang, A. D. Ames, and M. Egerstedt, 'Safety barrier certificates for collisions-free multirobot systems,' IEEE Transactions on Robotics , vol. 33, no. 3, pp. 661-674, 2017. -
  4. [4][4] K. P. Wabersich and M. N. Zeilinger, 'Linear model predictive safety certification for learning-based control,' in 2018 IEEE Conference on Decision and Control (CDC) . IEEE, 2018, pp. 7130-7135. -
  5. [5][5] S. L. Herbert, M. Chen, S. Han, S. Bansal, J. F. Fisac, and C. J. Tomlin, 'Fastrack: A modular framework for fast and guaranteed safe motion planning,' in 2017 IEEE 56th Annual Conference on Decision and Control (CDC) . IEEE, 2017, pp. 1517-1522. -
  6. [6][6] H. Yin, M. Bujarbaruah, M. Arcak, and A. Packard, 'Optimization based planner tracker design for safety guarantees,' arXiv preprint arXiv:1910.00782 , 2019. - · arXiv
  7. [7][7] S. Singh, M. Chen, S. L. Herbert, C. J. Tomlin, and M. Pavone, 'Robust tracking with model mismatch for fast and safe planning: an sos optimization approach,' arXiv preprint arXiv:1808.00649 , 2018. - · arXiv
  8. [8][8] S. Singh, A. Majumdar, J.-J. Slotine, and M. Pavone, 'Robust online motion planning via contraction theory and convex optimization,' in 2017 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2017, pp. 5883-5890. -
  9. [9][9] Y. Gao, A. Gray, H. E. Tseng, and F. Borrelli, 'A tube-based robust nonlinear predictive control approach to semiautonomous ground vehicles,' Vehicle System Dynamics , vol. 52, no. 6, pp. 802-823, 2014. -
  10. [10][10] M. K¨ ogel and R. Findeisen, 'Discrete-time robust model predictive control for continuous-time nonlinear systems,' in 2015 American Control Conference (ACC) . IEEE, 2015, pp. 924-930. -
  11. [11][11] S. Yu, C. Maier, H. Chen, and F. Allg¨ ower, 'Tube mpc scheme based on robust control invariant set with application to lipschitz nonlinear systems,' Systems & Control Letters , vol. 62, no. 2, pp. 194-200, 2013. -
  12. [12][12] J. K¨ ohler, R. Soloperto, M. A. Muller, and F. Allgower, 'A computationally efficient robust model predictive control framework for uncertain nonlinear systems,' IEEE Transactions on Automatic Control , 2020. -
  13. [13][13] J. Luo, Y. Su, L. Ruan, Y. Zhao, D. Kim, L. Sentis, and C. Fu, 'Robust bipedal locomotion based on a hierarchical control structure,' Robotica , vol. 37, no. 10, pp. 1750-1767, 2019. -
  14. [14][14] J. Reher, W.-L. Ma, and A. D. Ames, 'Dynamic walking with compliance on a cassie bipedal robot,' in 2019 18th European Control Conference (ECC) . IEEE, 2019, pp. 2589-2595. -
  15. [15][15] U. Rosolia, S. De Bruyne, and A. G. Alleyne, 'Autonomous vehicle control: A nonconvex approach for obstacle avoidance,' IEEE Transactions on Control Systems Technology , vol. 25, no. 2, pp. 469-484, 2016. -
  16. [16][16] N. R. Kapania and J. C. Gerdes, 'Design of a feedback-feedforward steering controller for accurate path tracking and stability at the limits of handling,' Vehicle System Dynamics , vol. 53, no. 12, pp. 16871704, 2015. -
  17. [17][17] Y. Chen, J. Anderson, K. Kalsi, A. D. Ames, and S. H. Low, 'Safety-critical control synthesis for network systems with control barrier functions and assume-guarantee contracts,' arXiv preprint arXiv:1911.03452 , 2019. - · arXiv
  18. [18][18] M. Farina, X. Zhang, and R. Scattolini, 'A hierarchical mpc scheme for coordination of independent systems with shared resources and plug-and-play capabilities,' IEEE Transactions on Control Systems Technology , 2018. -
  19. [19][19] Y. Chen, H. Peng, J. Grizzle, and N. Ozay, 'Data-driven computation of minimal robust control invariant set,' in 2018 IEEE Conference on Decision and Control (CDC) . IEEE, 2018, pp. 4052-4058. -
  20. [20][20] L. Chisci, J. A. Rossiter, and G. Zappa, 'Systems with persistent disturbances: predictive control with restricted constraints,' Automatica , vol. 37, no. 7, pp. 1019-1028, 2001. -
  21. [21][21] F. Borrelli, A. Bemporad, and M. Morari, Predictive control for linear and hybrid systems . Cambridge University Press, 2017.

Cited by

Sorted by citations

Authors
Rosolia, U., & Ames, A. D.
Affiliations
California Institute of Technology (US)
Venue
IEEE Control Systems Letters
Published
2021-07
Volume
5
Issue
3
Pages
1007-1012
ISSN
2475-1456 (ISSN-L)
OpenAlex
W3014836776
Cited by
65
References
0
Citations by year
2026: 7 · 2025: 11 · 2024: 17 · 2023: 12 · 2022: 7 · 2021: 11
FWCI
3.71
Type
journal article
Language
en
Open access
Locations
  • IEEE Control Systems Letters (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • CaltechAUTHORS (California Institute of Technology) (submittedVersion)
  • arXiv (Cornell University)
Funders
National Science Foundation (1932091)
Topics
  • Physical Sciences › Engineering › Control and Systems Engineering › Advanced Control Systems Optimization
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Formal Methods in Verification
  • Physical Sciences › Engineering › Control and Systems Engineering › Adaptive Control of Nonlinear Systems
Keywords
multirate control, control barrier functions, model predictive control, hierarchical control, safety-critical systems, high-level planning, low-level control, convex optimization, control-affine systems

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review