Cited by 2Stability and Control of Uncertain SystemsAdvanced Control Systems DesignAdvanced Control Systems Optimization

Sampled-Data Control of LPV Systems With Magnitude and Rate Saturating Actuators

Open access
Oliveira, Lucas A. L., Guelton, Kevin, Motchon, Koffi M. D., Leite, Valter J. S.·2025·IEEE Control Systems Letters

Abstract

This paper presents the parameter-dependent aperiodic sampled-data state feedback controller design for linear parameter varying (LPV) systems with actuators subject to magnitude and rate saturation, using Linear Matrix Inequalities (LMIs). The proposed method integrates the looped-functional approach and a parameter-dependent generalized sector condition. The local stabilization is verified through a new definite negativeness lemma for second-order matrix polynomials. The proposed conditions can be simplified to recover a robust controller design whenever the time-varying parameter is unavailable. Two numerical examples demonstrate the effectiveness of the proposed method, highlighting less conservative stability conditions compared to existing approaches.

AI snapshot

Written from the paper’s full text.

TL;DR

This letter proposes LMI-based parameter-dependent aperiodic sampled-data state feedback controllers for polytopic LPV systems whose actuators are subject to both magnitude and rate saturation. It combines an input-delay/looped-functional approach with a parameter-dependent generalized sector condition and a second-order polynomial negativity lemma, demonstrating local stabilization in two numerical examples.

Key findings

  • The proposed conditions yield less conservative sampling limits than prior work in the time-invariant comparison: for Example 1 with ρ(t)=0, the proposed method finds η₂ = 0.205 s, while [14, Th. 3] achieves η₂ = 0.176 s.
  • In Example 1, with η₁ = 0.01 s, η₂ = 0.1 s, and κ = 1.5, optimization O₂ gives γ = 55.85 and controller gains K₁ = [−0.0078 −0.0084 0.9065] and K₂ = [−0.1941 −0.0875 0.7128]; the robust case when ρ(t) is unavailable reaches a maximum η₂ = 0.078 s.
  • In Example 2, for the uncertain helicopter model, the robust controller reaches η₂ = 0.101 s; with η₂ = 0.05 s and κ = 1.7, O₂ gives γ = 5.9245 and a safe ball of radius 0.41.
  • When LPV parameters are available in Example 2, Theorem 1 yields η₂ = 0.114 s; with η₂ = 0.05 s, O₂ gives γ = 2.3183 and a safe ball of radius 0.6567, about 60% greater than the robust case, at the cost of increasing decision variables from V₁ = 1275 to V₈ = 9521.

Methods

  • The plant is a continuous-time polytopic LPV system with actuator magnitude and rate saturation modeled by a first-order position-type feedback model with speed limitation; the controller is an LPV sampled-data state feedback law held by a zero-order hold over aperiodic sampling intervals η_k ∈ [η₁, η₂].
  • The sampled-data system is rewritten as a time-varying delay system via the input-delay approach, then analyzed with a looped-functional whose derivative is a second-order polynomial in the delay; negativity is checked with a new definite-negativeness lemma, and actuator saturation is handled by a parameter-dependent generalized sector condition.
  • Convex synthesis conditions are given as LMIs, with optimization procedures O₁ and O₂ used to maximize the sampling interval or the estimate of the region of attraction; the ROLMIP parser is used to derive finite LMI sets from parameter-dependent conditions.

Limitations

  • The paper states future work will explore applications in physical systems and the presence of exogenous disturbances, so the present results are limited to numerical examples without experimental validation.
  • The text makes evident that the approach assumes online availability of the time-varying parameter for the LPV controller, bounded parameter derivatives, known saturation limits, and no exogenous disturbances in the analyzed setting.
  • The robust simplification when parameters are unavailable is explicitly described as having less computational cost but more conservative results.

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

Integrity signals

Registry

Crossref · 10.1109/lcsys.2025.3580489

Cites

24 of 24 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

0 of 13 cited sources checked · 0 supported · 0 flagged

  • Findingcitation
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    [14, Th. 3] achieves η2 = 0.176s for the same time-invariant case.

    “Conversely, [14, Th. 3] achieves η 2 = 0 . 176s”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [14] source
  • Findingown data
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    In Example 2, when LPV parameters are available with | ̇q1|≤0.15, | ̇q2|≤0.8, and | ̇q3|≤1.7, Theorem 1 yields a maximum η2 = 0.114s.

    “In case the LPV parameters are available with |˙ q 1 | ≤ 0 . 15, |˙ q 2 | ≤ 0 . 8, and |˙ q 3 | ≤ 1 . 7, Theorem 1 yields a maximum η 2 = 0 . 114s.”
    Quote in the paperNot a substantial claim
  • Findingown data
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    For Example 2 with O1, the maximum sampling interval bound is η2 = 0.101s.

    “With O 1, we reach η 2 = 0 . 101s as the maximum sampling interval bound.”
    Quote in the paperNot a substantial claim
  • Findingown data
    § Sampled-Data Control of LPV Systems With Magnitude and Rate Saturating Actuators · p. 2

    The proposed method is effective, as demonstrated by two numerical examples.

    “Two numerical examples demonstrate the effectiveness of the proposed method”
    • Also stated in: § VI. CONCLUSION · p. 7 · boosted
      “Two numerical examples have demonstrated the efficiency of the proposed design”
    Quote in the paperSubstantial claim
  • Findingcitation
    § III. AUXILIARY RESULTS · p. 5

    Lemma 4: If α_i(t) ∈ C^1 and | ̇α_i(t)| ≤ φ_i for i=1,...,N, then it is equivalent to rewrite Y_ ̃α = Y_α - τ(t) ̇Y_c.

    “If α i ( t ) ∈ C 1 and | ˙ α i ( t ) | ≤ φ i , for i = 1 , . . . , N , thus it is equivalent to rewrite”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [19] Oliveira, Refining parameter mismatch handling in LPV sampled-data controller design, Automatica

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • The authors state this as an assumption: The time-varying parameter α_i(t) is continuously differentiable and its derivative is bounded by φ_i: α_i(t) ∈ C^1 and |˙α_i(t)| ≤ φ_i for all t ≥ 0 and i=1,...,N.
  • May combine two claims. 7
  • The quote only partly states this claim. 1
  • Classified as probably not a substantial claim. 2
  • May combine two claims.

    Findingown data
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    In Example 1, trajectories starting within LV converge asymptotically to the origin, and trajectories initiating reasonably close to the boundaries of LV diverge.

    “As expected, the trajectories (black lines) starting within LV (purple region) converge asymptotically to the origin, and trajectories (red lines) initiating reasonably close to the boundaries of LV diverge.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingown data
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    In Example 2, despite the actuators' rate saturation reaching their limits at the beginning of the simulation, the system remains stable, converging to the origin asymptotically.

    “Despite the actuators' rate saturation reaching their limits at the beginning of the simulation, the system remains stable, converging to the origin asymptotically.”
    Quote in the paperNot a substantial claim
  • May combine two claims. The quote only partly states this claim.

    Findingcitation
    § III. AUXILIARY RESULTS · p. 4

    Lemma 2: Under the stated conditions, any initial condition x(0) belonging to the set L_V ensures that (i) the increment of the Lyapunov function V between two consecutive sampling instants is strictly negative, and (ii) the trajectories of the closed-loop system (6) with aperiodic samplings η_k ∈ [η1, η2] converge asymptotically to the origin without leaving L_V.

    “Then, any initial condition x ( 0 ) belonging to the set:”
    Quote in the paperSubstantial claim0 of 2 sources checked
    • cites [14] source
    • cites [18] source
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingown data
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    In Example 1, the number of decision variables are V1=323 (robust case) and V2=619 (LPV case).

    “The number of decision variables are V 1 = 323 (robust case) and V 2 = 619 (LPV case).”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingown data
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    For Example 2 with η2=0.05s and κ=1.7, O2 yields γ=5.9245 and a safe ball with radius 0.41 in the state space.

    “Assuming η 2 = 0 . 05s and applying O 2 with κ = 1 . 7, we find γ = 5 . 9245 yielding a safe ball with radius 0 . 41 in the state space.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingown data
    § V. ILLUSTRATIVE EXAMPLES · p. 6

    In Example 2, with η2=0.05s, O2 achieves γ=2.3183, a safe ball of radius 0.6567, which is approximately 60% greater than the robust case.

    “Similar to the robust case, with η 2 = 0 . 05s, O 2 achieves γ = 2 . 3183: a safe ball of radius 0 . 6567, which is ≈ 60% greater than the robust case.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Interpretationreasoning
    § IV. MAIN RESULTS · p. 6

    Remark 2: This simpler robust implementation has less computational cost, with V1, but more conservative results.

    “This simpler implementation has less computational cost, with V 1, but more conservative results.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation
    § II. PROBLEM FORMULATION · p. 3

    The use of model (2) to describe magnitude and rate saturating actuators can be seen as a particular case of nested saturation [16].

    “As stated by [15] and [14], the use of model (2) to describe magnitude and rate saturating actuators can be seen as a particular case of nested saturation [16].”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [15] source
    • cites [14] source
    • cites [16] source
8 of 8
  • The authors state this as an assumption.

    The time-varying parameter α_i(t) is continuously differentiable and its derivative is bounded by φ_i: α_i(t) ∈ C^1 and |˙α_i(t)| ≤ φ_i for all t ≥ 0 and i=1,...,N.

    “We assume that, α i ( t ) ∈ C 1 and | ˙ α i ( t ) | ≤ φ i , ∀ t ≥ 0, and i = 1 , . . . , N .”
  • The authors state this as an assumption.

    The time-varying parameter vector α(t) is online available.

    “The time-varying parameter vector is supposed to be online available and given by α( t ) ∈ Gamma1 N”
  • The authors state this as an assumption.

    In the comparison of Example 1, all matrix variables are parameter-independent.

    “assuming all matrix variables are parameter-independent”
  • The authors state this as an assumption.

    In Example 2, the time-varying parameters are unknown.

    “Assuming that the timevarying parameters are unknown”
  • The authors state this as an assumption.

    The sampling interval η_k varies but remains constrained by two positive scalars η1 ≤ η2, such that 0 < η1 ≤ η_k ≤ η2.

    “The interval between two consecutive sampling instants is denoted by η k = tk + 1 -tk , which varies but remains constrained by two positive scalars η 1 ≤ η 2, such that 0 &lt; η 1 ≤ η k ≤ η 2.”
  • The authors state this as an assumption.

    The matrices A(α(t)) and B(α(t)) have a polytopic structure with N known vertices.

    “The matrices A (α( t )) ∈ R n × n and B (α( t )) ∈ R n × nu have a polytopic structure with N known vertices given by”
  • The authors state this as an assumption.

    The controller matrices Ks(α(tk)) and Kv(α(tk)) have polytopic structure.

    “Similar to the plant model, the controller matrices Ks (α( tk )) ∈ R nu × n and Kv (α( tk )) ∈ R nu × nu have polytopic structure”
7 of 7

Self-check

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

Each contradiction between two passages listed here was confirmed by an independent check.

  • G3 has incompatible stated dimensions

    Minor

    G3 is declared to be nx × nx, but it is subtracted from B1, which equals Λ1 and is nu × nu. Since nx = n + nu, those dimensions do not match.

1 of 1

Cites

Flagged first, then by citations

Cited by

Sorted by citations

Authors
Oliveira, L. A. L., Guelton, K., Motchon, K. M. D., & Leite, V. J. S.
Affiliations
  • Centre de Recherche en Sciences et Technologies de l'Information et de la Communication (FR)
  • Federal Center for Technological Education of Minas Gerais (BR)
Venue
IEEE Control Systems Letters
Published
2025
Volume
9
Pages
1165-1170
ISSN
2475-1456 (ISSN-L)
OpenAlex
W4411358657
Cited by
2
References
23
Citations by year
2026: 1 · 2025: 1
FWCI
0.74
Type
journal article
Language
en
Open access
Locations
  • IEEE Control Systems Letters (publishedVersion, cc-by)
  • HAL (submittedVersion, cc-by)
Funders
  • Brazilian agencies CNPq (311891/2022-5, 408411/2023-6, 402896/2024-6)
  • Fundação de Amparo à Pesquisa do Estado de Minas Gerais (APQ-02100-22)
  • Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Topics
  • Physical Sciences › Engineering › Control and Systems Engineering › Stability and Control of Uncertain Systems
  • Physical Sciences › Engineering › Control and Systems Engineering › Advanced Control Systems Design
  • Physical Sciences › Engineering › Control and Systems Engineering › Advanced Control Systems Optimization
Keywords
sampled-data control, linear parameter-varying systems, actuator saturation, magnitude saturation, rate saturation, aperiodic sampling, state feedback controller design, looped functional, generalized sector condition, parameter-dependent stability, robust 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.

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

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

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