Cited by 84Formal Methods in VerificationAdvanced Control Systems OptimizationStability and Control of Uncertain Systems

Safety-Critical Control With Input Delay in Dynamic Environment

Open access
Molnar, Tamas G., Kiss, Adam K., Ames, Aaron D., Orosz, Gábor·2023·IEEE Transactions on Control Systems Technology

Abstract

Endowing nonlinear systems with safe behavior is increasingly important in modern control. This task is particularly challenging for real-life control systems that operate in dynamically changing environments. This article develops a framework for safety-critical control in dynamic environments, by establishing the notion of environmental control barrier functions (ECBFs). Importantly, the framework is able to guarantee safety even in the presence of input delay, by accounting for the evolution of the environment during the delayed response of the system. The underlying control synthesis relies on predicting the future state of the system and the environment over the delay interval, with robust safety guarantees against prediction errors. The efficacy of the proposed method is demonstrated by a simple adaptive cruise control (ACC) problem and a more complex robotics application on a Segway platform.

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/tcst.2022.3227451

Cites

59 of 59 references verified0 citation errors · 0 not checkable

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

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

Flagged first, then by citations

Research works printed but not linked: 1

  1. [14][14] W. Schwarting, J. Alonso-Mora, and D. Rus, 'Planning and decisionmaking for autonomous vehicles,' Annual Review of Control, Robotics, and Autonomous Systems , vol. 1, no. 1, pp. 187-210, 2018. -

Cited by

Sorted by citations

Authors
Molnar, T. G., Kiss, A. K., Ames, A. D., & Orosz, G.
Affiliations
  • Department of Mechanical and Civil Engineering, California Institute of Technology, Pasadena, CA, USA
  • Budapest University of Technology and Economics (HU)
  • California Institute of Technology (US)
  • University of Michigan (US)
Venue
IEEE Transactions on Control Systems Technology
Published
2023-07
Volume
31
Issue
4
Pages
1507-1520
ISSN
  • 1063-6536 (ISSN-L)
  • 1558-0865
  • 2374-0159
OpenAlex
W4312427786
Cited by
83
References
57
Citations by year
2026: 15 · 2025: 22 · 2024: 27 · 2023: 15 · 2022: 4
FWCI
9.20
Type
journal article
Language
en
Open access
Locations
  • IEEE Transactions on Control Systems Technology (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • CaltechAUTHORS (California Institute of Technology) (submittedVersion, cc-by)
  • CaltechAUTHORS (California Institute of Technology) (submittedVersion)
  • arXiv (Cornell University) (cc-by)
Funders
  • National Science Foundation (CPS Award #1932091)
  • Aerovironment and Dow (#227027AT)
  • Nemzeti Kutatási, Fejlesztési és Innovaciós Alap (TKP2020 IES, #No. BME-IE-MIFM and TKP2020 NC, #No BME-NC)
Topics
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Formal Methods in Verification
  • Physical Sciences › Engineering › Control and Systems Engineering › Advanced Control Systems Optimization
  • Physical Sciences › Engineering › Control and Systems Engineering › Stability and Control of Uncertain Systems
Keywords
safety-critical control, input delay, dynamic environments, nonlinear systems, safety guarantees, prediction error, adaptive cruise control

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