PreprintCited by 1Stability and Control of Uncertain SystemsFormal Methods in VerificationAdvanced Control Systems Optimization

Minimizing Conservatism in Safety-Critical Control for Input-Delayed Systems via Adaptive Delay Estimation

Open access
Kim, Yitaek, Das, Ersin, Kim, Jeeseop, Ames, Aaron D., Burdick, Joel W., Sloth, Christoffer·2024·arXiv

Abstract

Input delays affect systems such as teleoperation and wirelessly autonomous connected vehicles, and may lead to safety violations. One promising way to ensure safety in the presence of delay is to employ control barrier functions (CBFs), and extensions thereof that account for uncertainty: delay adaptive CBFs (DaCBFs). This paper proposes an online adaptive safety control framework for reducing the conservatism of DaCBFs. The main idea is to reduce the maximum delay estimation error bound so that the state prediction error bound is monotonically non-increasing. To this end, we first leverage the estimation error bound of a disturbance observer to bound the state prediction error. Second, we design two nonlinear programs to update the maximum delay estimation error bound satisfying the prediction error bound, and subsequently update the maximum state prediction error bound used in DaCBFs. The proposed method ensures the maximum state prediction error bound is monotonically non-increasing, yielding less conservatism in DaCBFs. We verify the proposed method in an automated connected truck application, showing that the proposed method reduces the conservatism of DaCBFs.

AI snapshot

Written from the paper’s full text.

TL;DR

This paper proposes an online adaptive safety control framework that reduces the conservatism of delay adaptive control barrier functions (DaCBFs) for input-delayed systems by updating the maximum delay estimation error bound. It uses delay estimation and a disturbance observer to make the maximum state prediction error bound monotonically non-increasing, and validates the approach in an automated connected truck simulation.

Key findings

  • The proposed method updates the maximum delay estimation error bound online via two nonlinear programs, yielding a monotonically non-increasing maximum state prediction error bound and thus less conservative DaCBFs.
  • In an automated connected truck simulation with true input delay \(D = 0.5\) s, the proposed method maintains safety while behaving less conservatively than DaCBFs, as shown by lower positive barrier function values.
  • Table I reports average \(h\) values across input delays of 0.1–0.5 s: DaCBFs average \(4.387\), while the proposed method averages \(0.508\); the paper states this corresponds to a \(99.78\%\) decrease in conservatism compared to DaCBFs.
  • The paper proves that the updated maximum delay estimation error bound satisfies \(\tilde{D}^{t_j}_{\max} \le \tilde{D}^{t_j-1}_{\max} \le \tilde{D}^0_{\max}\), leading to a less conservative safety condition than prior DaCBFs.

Methods

  • The system is a control affine nonlinear system with a constant unknown input delay; the framework combines an input delay estimator, DaCBFs, and a nonlinear disturbance observer.
  • The disturbance observer bounds the state prediction error caused by delay estimation error, and two nonlinear programs update the set \(\Xi_{t_j}\) containing the true delay \(D\), from which the maximum delay estimation error bound is computed.
  • Evaluation is a simulation of two wirelessly connected trucks maintaining a safe distance, with true delay \(D = 0.5\) s, initial delay estimate zero, and comparisons across input delays of 0.1, 0.2, 0.3, 0.4, and 0.5 s.

Limitations

  • The paper states future work should consider time-varying input delay and model uncertainties.
  • The safety guarantees rely on assumptions such as constant input delay, bounded states and inputs, bounded input derivative, and bounded disturbance and disturbance derivative.
  • Evident from the text: validation is simulation-only, with no hardware experiments; also, the reported \(99.78\%\) conservatism reduction is not directly derivable from the Table I averages (\(4.387\) vs. \(0.508\)), which imply a smaller percentage reduction.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

DataCite · 10.48550/arxiv.2411.17277

Cites

23 of 23 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

4 of 14 cited sources checked · 1 supported · 0 flagged · accuracy not yet measured

  • Premisecitation

    Input delays can lead to safety violations.

    “However, time delays can often happen in urban application settings such as a connected automated car [5], teleoperationbased controls [6], leading to safety violations; thus, time delays must be incorporated into the CBFs-based control design.”
    Quote in the paperSubstantial claim1 of 2 sources checked
    • cites [5] [5] G. M. Tamas, A. Anil, K. K. Adam, D. A. Aaron, and O. G´ abor, 'Input-to-state safety with input delay in longitudinal vehicle control,' IFAC-PapersOnLine , vol. 55, no. 36, pp. 312-317, 2022, 17th IFAC Workshop on Time Delay Systems TDS 2022. - source
    • cites [6] [6] N. Emmanuel, B. Luis, O. Romeo, and W. S. Mark, 'Position tracking for non-linear teleoperators with variable time delay,' The International Journal of Robotics Research , vol. 28, no. 7, pp. 895910, 2009. - source
  • Premisecitation

    Input delays can occur in urban application settings such as connected automated cars and teleoperation-based controls.

    “However, time delays can often happen in urban application settings such as a connected automated car [5], teleoperationbased controls [6], leading to safety violations; thus, time delays must be incorporated into the CBFs-based control design.”
    Quote in the paperSubstantial claim1 of 2 sources checked
    • cites [5] [5] G. M. Tamas, A. Anil, K. K. Adam, D. A. Aaron, and O. G´ abor, 'Input-to-state safety with input delay in longitudinal vehicle control,' IFAC-PapersOnLine , vol. 55, no. 36, pp. 312-317, 2022, 17th IFAC Workshop on Time Delay Systems TDS 2022. - source

      Section 2 (p. 2) identifies input delay from the response time of a connected automated truck, supporting the vehicle-delay example attributed to [5]. The paper does not establish an urban setting or specifically discuss a connected automated car. The teleoperation example is attached to [6], not this source. (LLM, conf=0.86)

      Experimental — accuracy not yet measured
    • cites [6] [6] N. Emmanuel, B. Luis, O. Romeo, and W. S. Mark, 'Position tracking for non-linear teleoperators with variable time delay,' The International Journal of Robotics Research , vol. 28, no. 7, pp. 895910, 2009. - source
  • Findingcitation

    Consider the input delay estimator (6) with D ∈ Ξ0 and disturbance observer (15) with estimation error bound (13). Then D ∈ [D_tj, D_tj] = Ξ_tj for all t_j and Ξ_tj ⊆ Ξ_tj-1 ⊆ Ξ0, where the bounds are obtained by solving optimization problems (19) and (20).

    “Then D ∈ [D tj , D tj ] ≜ Ξ tj for all t j and Ξ tj ⊆ Ξ tj -1 ⊆ Ξ 0 , where D tj and D tj are obtained by solving the optimization problems:”
    Quote in the paperSubstantial claim1 of 1 sources checked
    • cites [25] [25] M. H. Cohen, C. Belta, and R. Tron, 'Robust control barrier functions for nonlinear control systems with uncertainty: A duality-based approach,' in 2022 IEEE 61st Conference on Decision and Control (CDC) . IEEE, 2022, pp. 174-179. source

      Split into 2 atoms — 1 confirmed, 1 partially supported, 0 disputed, 0 misattributed, 0 unverifiable. Expand the claim to see per-atom verdicts.

      Experimental — accuracy not yet measured
  • Premisecitation

    The disturbance estimation error is uniformly bounded as ||e_d(t)|| ≤ M_d(t) = sqrt(2ck||e_d(0)||^2 e^{-2kt} + w_1^2(1 - e^{-2kt})/(2ck)).

    “Then, the disturbance estimation error is uniformly bounded as [18]: ||e d (t)|| ≤ 2ck||e d (0)|| 2 e -2kt + w 2 1 (1 -e -2kt ) 2ck ≜ M d (t),(13) where k ≜ α h -c 2 , with 0 < c < 2α h .”
    Quote in the paperSubstantial claim1 of 1 sources checked
    • cites [18] [18] Y. Wang and X. Xu, 'Disturbance observer-based robust control barrier functions,' in 2023 American Control Conference (ACC) , 2023, pp. 3681-3687. - source

      The Disturbance Observer section (p. 2) says equation (11) bounds the estimation error and defines κ = α − ν₁/2, with 0 < ν₁ < 2α. Remark 2 (p. 4) gives the corresponding ultimate bound, ω₁/√[ν₁(2α − ν₁)]. The displayed equation (11) is not decoded in our copy, so the exact time-dependent formula quoted cannot be verified. (LLM, conf=0.76)

      Experimental — accuracy not yet measured
  • Findingown data

    The proposed method has lower positive values of h functions than DaCBFs across all input delay cases (0.1s to 0.5s).

    “As indicated in Table.I, the proposed method has lower positive values of h functions than the values of DaCBFs across all cases.”
    Quote in the paperSubstantial claim
  • May combine two claims. 5
  • Classified as probably not a substantial claim. 2
  • May combine two claims.

    Findingown data

    The proposed method adapts to the unknown input delay and decreases conservatism online compared to DaCBFs in a connected automated vehicle simulation.

    “We demonstrate that the proposed method adapts to the unknown input delay and decreases conservatism online, compared to DaCBFs in a connected automated vehicle simulation.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingown data

    In simulation, DaCBFs ensure safety but behave conservatively, maintaining a long distance to the lead truck and high positive h values.

    “It is observed that DaCBFs ensure safety but behave conservatively, as shown in Fig. 2(a) since a long distance to the lead truck is maintained.The conservatism is observed in the high positive h function values as shown in Fig. 2(b).”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingown data

    The average of h functions in all cases is quantitatively lower than DaCBFs when using the proposed method, showing that conservatism is decreased by 99.78% compared to DaCBFs.

    “Furthermore, the average of h functions in all cases is quantitatively lower than DaCBFs when using the proposed method, showing that the conservatism is decreased by 99.78% compared to DaCBFs.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim.

    Premisecitation

    DaCBFs combine delay estimation and CBFs to achieve robustness against worst-case uncertainties in state prediction and unknown input delay.

    “The recent work, delay adaptive CBFs (DaCBFs) [13] combine delay estimation and CBFs to achieve robustness against worst-case uncertainties in state prediction and unknown input delay.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [13] [13] Y. Kim, J. Kim, A. D. Ames, and C. Sloth, 'Robust safety-critical control for input-delayed system with delay estimation,' in 2024 22nd European Control Conference (ECC) (Accepted) , 2024. - source
  • May combine two claims.

    Interpretationown data

    The proposed method updates the input delay bound and the maximum delay estimation error bound online, and consequently the maximum state prediction error bound in (23) is gradually reduced.

    “This is because the proposed method updates the input delay bound and the maximum delay estimation error bound in an online fashion, as shown in Fig. 2(c) and (d), and consequently, the maximum bound of the state prediction error bound in (23) is gradually reduced.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationnone given

    The set Ξ_tj remains constant if u(t) is constant.

    “We remark that the set, Ξ tj , remains constant if (e.g.) u(t) is constant.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Premisecitation

    If x(t), u(t), and u̇(t) are uniformly bounded, and the initial estimation error |D̃(0)| < Dmax, then there exists H such that |ρ_D(t)| ≤ H and D̃(t)ρ_D(t) ≥ 0, ensuring the delay estimation error is monotonically non-increasing.

    “Lemma 1 ( [21]): If x(t), u(t), and u(t) are uniformly bounded, and the initial estimation error D(0) = D -D(0), where D(t) ≜ D -D(t), is bounded by | D(0)| < Dmax , then there exists a parameter H ∈ R + such that |ρ D (t)| ≤ H, and the estimation error D(t) satisfies: D(t)ρ D (t) ≥ 0, which ensures that the delay estimation error is monotonically non-increasing.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [21] [21] A. Bertino, P. Naseradinmousavi, and M. Krsti´ c, 'Delay-adaptive control of a 7-dof robot manipulator: Design and experiments,' IEEE Transactions on Control Systems Technology , vol. 30, no. 6, pp. 25062521, 2022. - source
7 of 7
  • The authors state this as an assumption.

    The input delay D is constant.

    “Consider the following control affine nonlinear system with a constant input delay, denoted as D:”
  • The authors state this as an assumption.

    The disturbance d(t) and its derivative are bounded by known constants w0, w1 > 0.

    “such that the disturbance and its derivative are bounded by some known constants w 0 , w 1 > 0 as ||d(t)|| ≤ w 0 , || ḋ(t)|| ≤ w 1 .”
  • The authors state this as an assumption.

    The initial delay estimation error is bounded by |D̃(0)| < Dmax.

    “the initial estimation error D(0) = D -D(0), where D(t) ≜ D -D(t), is bounded by | D(0)| < Dmax”
  • The paper relies on this without support.

    The true delay satisfies the state prediction error bound.

    “Note that the true delay must satisfy the following state prediction error bound, but since we do not know the true delay here, we define the state prediction error with the candidate true delay, D * to be enforced into nonlinear programs.”
  • The authors state this as an assumption.

    The initial maximum delay estimation error bound Dmax is 2 in the simulation.

    “Note that the update algorithm initiates after 2 seconds because we assume that the initial Dmax is 2.”
5 of 5

Cites

Flagged first, then by citations

Research works printed but not linked: 2

  1. [22][22] C. B. Elijah Polak, Optimization: Algorithms Consistent Approximations . Springer, 2012. -
  2. [23][23] W.-H. Chen, 'Disturbance observer based control for nonlinear systems,' IEEE/ASME Transactions on Mechatronics , vol. 9, no. 4, pp. 706-710, 2004. -

Cited by

Sorted by citations

Authors
Kim, Y., Das, E., Kim, J., Ames, A. D., Burdick, J. W., & Sloth, C.
Affiliations
  • University of Southern Denmark (DK)
  • California Institute of Technology (US)
Venue
arXiv
Publisher
arXiv
Published
2024
Pages
2102-2107
OpenAlex
W4415179783
Cited by
1
References
23
Citations by year
2026: 1
FWCI
2.29
Type
conference paper
Language
en
Open access
Locations
  • European Control Conference (ECC) (publishedVersion)
  • University of Southern Denmark Research Portal (University of Southern Denmark) (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Engineering › Control and Systems Engineering › Stability and Control of Uncertain Systems
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Formal Methods in Verification
  • Physical Sciences › Engineering › Control and Systems Engineering › Advanced Control Systems Optimization
Keywords
control barrier functions, input delay, time delay estimation, estimation error bounds, conservatism reduction, disturbance observer, safety-critical control, online adaptive control, autonomous vehicles, nonlinear programming

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.

Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-15.

Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-15.

Cited sources are checked by gpt-6-sol.

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