On Asymptotic and Finite-Time Stabilization of Bilinear Systems
Pith reviewed 2026-05-10 14:56 UTC · model grok-4.3
The pith
Feedback laws stabilize bilinear systems in infinite-dimensional spaces under observability conditions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Bilinear systems in infinite dimensions can be stabilized asymptotically using feedback laws when observability conditions are satisfied in Hilbert spaces, with extensions to exponential stabilization in Banach spaces despite structural differences, and finite-time stabilization under certain conditions.
What carries the argument
Observability conditions that link the state to the output for designing stabilizing feedbacks.
If this is right
- Different rates of stabilization (weak to polynomial) are possible in Hilbert spaces.
- Exponential stabilization is achievable in more general Banach spaces.
- Finite-time stabilization results can be applied to nonlinear systems.
- Several concrete applications benefit from these feedback designs.
Where Pith is reading between the lines
- These stabilization techniques might extend to other classes of nonlinear infinite-dimensional systems.
- Solving the open problems in finite-time stabilization could lead to faster control methods.
- The role of observability could be explored in discrete-time or stochastic bilinear systems.
Load-bearing premise
The systems under consideration satisfy appropriate observability inequalities or conditions.
What would settle it
A counterexample bilinear system in a Hilbert space satisfying observability but not admitting a stabilizing feedback would disprove the stabilization results.
read the original abstract
This manuscript addresses the analysis and design of feedback laws for the stabilization of bilinear control systems in infinite-dimensional spaces. It first examines weak, strong, and polynomial stabilization within a Hilbert space framework, emphasizing the role of observability conditions. It then studies exponential stabilization in Banach spaces, highlighting the additional challenges arising from the lack of a Hilbertian structure. Finally, it introduces finite-time stabilization, presenting recent results and open problems within the broader context of nonlinear infinite-dimensional control theory. Several applications are also discussed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript addresses the analysis and design of feedback laws for the stabilization of bilinear control systems in infinite-dimensional spaces. It first examines weak, strong, and polynomial stabilization within a Hilbert space framework, emphasizing the role of observability conditions. It then studies exponential stabilization in Banach spaces, highlighting the additional challenges arising from the lack of a Hilbertian structure. Finally, it introduces finite-time stabilization, presenting recent results and open problems within the broader context of nonlinear infinite-dimensional control theory, along with several applications.
Significance. If the technical results hold, this work contributes to infinite-dimensional nonlinear control by extending stabilization techniques for bilinear systems beyond finite dimensions, with a clear separation of Hilbert-space observability-based results from the more delicate Banach-space case. The explicit discussion of open problems in finite-time stabilization is a strength that could guide subsequent research.
major comments (2)
- [§4.2, Theorem 4.3] §4.2, Theorem 4.3: the claimed exponential decay rate for the closed-loop semigroup in the Banach-space setting relies on a perturbation estimate that does not appear to account for the quadratic growth of the bilinear term; the proof sketch invokes a standard Gronwall argument that fails to close without an additional small-gain or dissipativity assumption on the control operator.
- [§3.1, Eq. (3.7)] §3.1, Eq. (3.7): the observability inequality used to obtain polynomial stabilization is stated for the linear part only; it is not shown how the bilinear perturbation preserves the required decay rate, which is load-bearing for the polynomial-stabilization claim.
minor comments (2)
- [Notation and §2] The notation for the state space and control space is introduced inconsistently between the Hilbert-space and Banach-space sections; a single table of symbols would improve readability.
- [§6] Several applications are mentioned in the final section but lack even a brief statement of the underlying PDE or operator; one or two concrete examples with explicit operators would strengthen the exposition.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive major comments. We address each point below and indicate the revisions that will be made to strengthen the presentation.
read point-by-point responses
-
Referee: [§4.2, Theorem 4.3] the claimed exponential decay rate for the closed-loop semigroup in the Banach-space setting relies on a perturbation estimate that does not appear to account for the quadratic growth of the bilinear term; the proof sketch invokes a standard Gronwall argument that fails to close without an additional small-gain or dissipativity assumption on the control operator.
Authors: We appreciate the referee highlighting this subtlety in the Banach-space exponential stabilization result. The proof of Theorem 4.3 employs a feedback operator constructed from the observability inequality that induces a dissipativity property on the closed-loop generator, which absorbs the quadratic growth of the bilinear term into the linear decay estimate before applying Gronwall. Nevertheless, the current sketch does not make this absorption step fully explicit. We will revise the proof to include an intermediate estimate showing how the dissipativity constant controls the quadratic perturbation, thereby closing the argument without an extra small-gain hypothesis. This clarification will be added in the next version. revision: partial
-
Referee: [§3.1, Eq. (3.7)] the observability inequality used to obtain polynomial stabilization is stated for the linear part only; it is not shown how the bilinear perturbation preserves the required decay rate, which is load-bearing for the polynomial-stabilization claim.
Authors: We agree that the transition from the linear observability inequality (3.7) to the polynomial decay of the nonlinear closed-loop system requires an additional justification. The argument relies on a bootstrap: the linear polynomial decay is first used to bound the bilinear term in a lower-order norm, after which the perturbation is absorbed into the decay estimate via a standard comparison lemma for polynomial rates. We will insert a new lemma (or expanded paragraph) immediately after the statement of (3.7) that carries out this absorption explicitly, thereby making the preservation of the polynomial rate transparent. revision: yes
Circularity Check
No significant circularity detected
full rationale
The manuscript is a high-level survey of stabilization results for bilinear systems in infinite-dimensional spaces. It references standard observability conditions in Hilbert spaces and notes structural challenges in Banach spaces for exponential stabilization, without presenting any specific equations, fitted parameters, self-citations that bear the central load, or derivations that reduce by construction to their own inputs. All claims are framed as analysis of existing or new results within nonlinear control theory, with no evidence of self-definitional loops, renamed empirical patterns, or ansatzes smuggled via prior author work. The derivation chain is therefore self-contained against external mathematical benchmarks.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
K. Ammari and M. Ouzahra, Feedback stabilization for a bilinear control system under weak observability inequalities, Automatica,113(2020), 108821
work page 2020
- [2]
-
[3]
K. Ammari and M. Tucsnak, Stabilization of Bernoulli–Euler beams by means of a pointwise feedback force, SIAM Journal on Control and Optimization,39(4) (2000), 1160-1181
work page 2000
-
[4]
Y. Amaliki and M. Ouzahra, Finite-time stabilization of a class of unbounded parabolic bilinear systems in Hilbert space, Journal of Mathematical Analysis and Applications,551(2) (2025), 129720
work page 2025
-
[5]
Y. Amaliki and M. Ouzahra, Finite-TimeStabilizationofLinear1Systems, Springer Nature Switzerland AG, Control Theory and Inverse Problems, Trends in Mathematics, (2026). doi.org/10.1007/978−3−031−96278−3 10
work page doi:10.1007/978 2026
-
[6]
H. Attouch, G. Buttazzo, and G. Michaille, Variational analysis in Sobolev and BV spaces: applications to PDEs and optimization, Vol. 17, Siam, 2014
work page 2014
-
[7]
J. M. Ball, Strongly continuous semigroups, weak solutions, and the variation of constants formula, Proc. Amer. Math. Soc.,63(1977), 370– 373
work page 1977
-
[8]
J. M. Ball, On the asymptotic behaviour of generalized processes, with applications to nonlinear evolution equations, J. Differential Equations., 27(1978), 224–265
work page 1978
-
[9]
J. M. Ball and M. Slemrod, Feedback stabilization of distributed semilinear control systems, Appl. Math. Opt.,5(1979), 169–179
work page 1979
-
[10]
Barbu, Controllability and stabilization of parabolic equations, Birkh¨auser, 2018
V. Barbu, Controllability and stabilization of parabolic equations, Birkh¨auser, 2018
work page 2018
-
[11]
A. Benzaza, L. Lafhim, and M. Ouzahra, Strong and weak-star stabilisation of bilinear systems on nonreflexive Banach spaces, International Journal of Control,96(2) (2023), 302-308
work page 2023
-
[12]
A. Benzaza, A. Brouri, and M. Ouzahra, Robust stabilization for affine control systems in Banach spaces, Asian Journal of Control,25(1) (2023), 497-508
work page 2023
-
[13]
L. Berrahmoune, Stabilization and decay estimate for distributed bilinear systems, Systems and Control Letters.,36(1999), 167–171. 53
work page 1999
-
[14]
L. Berrahmoune, Y. Elboukfaoui, and M. Erraoui, Remarks on the feedback stabilization of system affine in control, European Journal of Control,7(1) (2001), 17-28
work page 2001
-
[15]
L. Berrahmoune, Stabilization of unbounded bilinear control systems in Hilbert space, Journal of mathematical analysis and applications,372(2) (2010), 645-655
work page 2010
-
[16]
S. P. Bhat and D. S. Bernstein, Finite-time stability of continuous autonomous systems, SIAM Journal on Control and optimization,38(3) (2000), 751-766
work page 2000
-
[17]
S. P. Bhat and D. S. Bernstein, Geometric homogeneity with applications to finite-time stability, Mathematics of Control, Signals and Systems,17(2) (2005), 101-127
work page 2005
-
[18]
H. Bounit and H. Hammouri, Feedback stabilization for a class of distributed semilinear control systems, Nonlinear Anal.,37(1999), 953– 969
work page 1999
-
[19]
H. Bounit, Comments on the feedback stabilization for bilinear control systems, Applied Mathematics Letters,16(2003), 847–851
work page 2003
-
[20]
A. Bounabat and J. P. Gauthier, Weak stabilizability of infinite dimensional nonlinear systems, Applied Mathematics Letters,4(1991), 95–98
work page 1991
-
[21]
M. W. Botsko, An elementary proof of Lebesgue’s differentiation theorem. The American Mathematical Monthly,110(2003), 834–838
work page 2003
-
[22]
A. Boutoulout, R. El Ayadi, and M. Ouzahra, An unbounded stabilization problem of bilinear systems, Mathematics and Computers in Simulation, 102(2014), 39-50
work page 2014
-
[23]
M. S. Chen and S. T. Tsao, Exponential stabilization of a class of unstable bilinear systems, IEEE Transactions on Automatic Control,45(5) (2000), 989-992
work page 2000
-
[24]
Corduneanu, Principles of differential and integral equations, Vol
C. Corduneanu, Principles of differential and integral equations, Vol. 295, American Mathematical Society, 2008
work page 2008
-
[25]
J. M. Coron and H. M. Nguyen, Null controllability and finite time stabilization for the heat equations with variable coefficients in space in one dimension via backstepping approach, Archive for Rational Mechanics and Analysis,225(3) (2017), 993-1023
work page 2017
-
[26]
P. Dorato, An overview of finite-time stability, Current trends in nonlinear systems and control, (2006), 185-194
work page 2006
-
[27]
K. J. Engel and R. Nagel, One-parameter semigroups for linear evolution equations, Vol. 194, Springer, 2000. 54
work page 2000
-
[28]
Erugin, On the continuouation of solutions of differential equations (in Russian), Prikl
N. Erugin, On the continuouation of solutions of differential equations (in Russian), Prikl. Mat. Mekh.,17(4) (1951)
work page 1951
-
[29]
N. Espitia, A. Polyakov, D. Efimov, and W. Perruquetti, Boundary time-varying feedbacks for fixed-time stabilization of constant-parameter reaction-diffusion systems, Automatica,103(2019), 398-407
work page 2019
-
[30]
H. O. Fattorini, The time-optimal control problem in Banach spaces, Applied Mathematics and Optimization,1(1974), 163–188
work page 1974
-
[31]
H. O. Fattorini, A survey of the time optimal problem and the norm optimal problem in infinite dimension, Cubo Mat Educational,3(2001), 147–169
work page 2001
-
[32]
K. Fenza and M. Ouzahra, Weak and strong stabilisation of a class of bilinear systems with time varying delay, Journal of Control and Decision, (2024), 1-15
work page 2024
-
[33]
Gutman, Stabilizing controllers for bilinear systems, IEEE Trans
P.O. Gutman, Stabilizing controllers for bilinear systems, IEEE Trans. Automat. Control,AC-26(1981), 917-922
work page 1981
-
[34]
C. Jammazi, M. Ouzahra, and M. Sogor´ e, Small-time extinction with decay estimate of bilinear systems on Hilbert space, Journal of Nonlinear Science, 33(4) (2023), 54
work page 2023
-
[35]
V. Jurjevic and J.P. Quinn, Controllability and stability, J. Differential Equations,28(1978), 381-389
work page 1978
-
[36]
G. Kamenkov, On stability of motion over a finite interval of time (in Russian), Journal of Applied Math. and Mechanics (PMM),17(1953), 529-540
work page 1953
-
[37]
Kato, Nonlinear semigroups and evolution equations, J
T. Kato, Nonlinear semigroups and evolution equations, J. Math. Soc. Japan.,19(4) (1967), 508–520
work page 1967
-
[38]
Kato, Perturbation theory for linear operators, Vol
T. Kato, Perturbation theory for linear operators, Vol. 132. Springer Science & Business Media, 2012
work page 2012
-
[39]
A. Y. Khapalov, Controllability of partial differential equations governed by multiplicative controls, Springer, 2010
work page 2010
-
[40]
I. Lasiecka and D. Tataru, Uniform boundary stabilization of semilinear wave equations with nonlinear boundary damping, Differential and Integral Equations,6(1993), 507–533
work page 1993
-
[41]
Lebedev, The problem of stability in a finite interval of time (in Russian), Journal of Applied Math
A. Lebedev, The problem of stability in a finite interval of time (in Russian), Journal of Applied Math. and Mechanics (PMM),18(1954), 75-94
work page 1954
-
[42]
K. Liu, Z. Liu, and B. Rao, Exponential stability of an abstract nondissipative linear system, SIAM journal on control and optimization, 40(1) (2001), 149-165. 55
work page 2001
-
[43]
A. Lourini, M. El Azzouzi, and M. Laabissi, Strong and exponential stabilization of linear boundary control systems, Mathematical Control and Related Fields,15(2025), 528–547
work page 2025
-
[44]
R. R. Mohler, Bilinear Control Processes, Academic Press New York, 1973
work page 1973
-
[45]
R. R. Mohler and W. J. Kolodziej, An overview of bilinear system theory and applications, IEEE Transactions on Systems, Man and Cybernetics, 10(1980), 683–688
work page 1980
-
[46]
E. Moulay and W. Perruquetti, Finite time stability and stabilization of a class of continuous systems, Journal of Mathematical analysis and applications,323(2) (2006), 1430-1443
work page 2006
-
[47]
S. Muller, Strong Convergence and Arbitrarily Slow Decay of Energy for a Class of Bilinear Control Problems, Journal of Diff. Eq.,81(1989), 50-67
work page 1989
-
[48]
H. Najib and M. Ouzahra, Stabilization in Finite Time of a Class of Unbounded Non-linear Systems, Journal of Dynamical and Control Systems,30(2) (2024), 17
work page 2024
-
[49]
M. Ouzahra, Strong stabilization with decay estimate of semilinear systems, Systems & control letters,57(10) (2008), 813-815
work page 2008
-
[50]
M. Ouzahra, Exponential and weak stabilization of constrained bilinear systems, SIAM Journal on Control and Optimization,48(6) (2010), 3962- 3974
work page 2010
-
[51]
M. Ouzahra, A. Tsouli, and A. Boutoulout, Stabilisation and polynomial decay estimate for distributed semilinear systems, International Journal of Control,85(2012), 451–456
work page 2012
-
[52]
M. Ouzahra, Uniform exponential stabilization of nonlinear systems in Banach spaces, Mathematical Methods in the Applied Sciences,43(12) (2020), 7311-7325
work page 2020
-
[53]
M. Ouzahra, Exponential stabilization of unstable bilinear systems in finite- and infinite-dimensional spaces, IEEE Transactions on Automatic Control, 66(12) (2021), 5982-5989
work page 2021
-
[54]
M. Ouzahra, Finite-time control for the bilinear heat equation, European Journal of Control,57(2021), 284-293
work page 2021
-
[55]
A. Pazy, Semi-groups of linear operators and applications to partial differential equations, Springer Verlag, New York, 1983
work page 1983
-
[56]
A. Polyakov, Nonlinear feedback design for fixed-time stabilization of linear control systems, IEEE transactions on Automatic Control,57(8) (2011), 2106-2110. 56
work page 2011
-
[57]
A. Polyakov, J. M. Coron, and L. Rosier, On homogeneous finite-time control for linear evolution equation in Hilbert space, IEEE Transactions on Automatic Control,63(9) (2018), 3143-3150
work page 2018
-
[58]
Polyakov, Generalized homogeneity in systems and control, 2020
A. Polyakov, Generalized homogeneity in systems and control, 2020
work page 2020
-
[60]
D. Efimov and A. Polyakov, Finite-time stability tools for control and estimation, 2021
work page 2021
-
[61]
D. Preiss, Differentiability of Lipschitz functions on Banach spaces, Journal of Functional Analysis,91(1990), 312–345
work page 1990
-
[62]
Quinn, Stabilization of bilinear systems by quadratic feedback control, J
J.P. Quinn, Stabilization of bilinear systems by quadratic feedback control, J. Math. Anal. Appl.,75(1980), 66-80
work page 1980
-
[63]
H. W. Resende Pereira, R. Kawakami Harrop Galvˇao, and T. G. Yoneyama, Nonlinear predictive control employing Carleman bilinearization and fixed search directions, Asian Journal of Control, 23(2021), 2565–2574
work page 2021
-
[64]
A. Rhandi, Positivity and Stability for a Population Equation with Diffusion on, Positivity,2(1998), 101–113
work page 1998
-
[65]
A. Rhandi and H. Schnaubelt, Asymptotic behaviour of a non-autonomous population equation with diffusion inL 1,Discrete and Continuous Dynamical Systems,5(1999), 663–684
work page 1999
-
[66]
E. Roxin, On Finite Stability in Control Systems, Rendiconti del Circolo Matematico di Palermo,15(1966), 273-283
work page 1966
-
[67]
E.P. Ryan and N. Buckingham, On asymptotically stabilizing feedback control of bilinear systems, IEEE Transactions on Automatic Control, 28(8) (1983), 863-864
work page 1983
-
[68]
E.P. Ryan, Optimal feedback control of bilinear systems, Journal of Optimization Theory and Applications,44(1984), 333-362
work page 1984
-
[69]
M. Slemrod, Stabilization of bilinear control systems with applications to nonconservative problems in elasticity, SIAM. J. Control and optim.,16 (1978), 131-141
work page 1978
-
[70]
Vieru, A. (2005). On null controllability of linear systems in Banach spaces. Systems & control letters, 54(4), 331-337
work page 2005
-
[71]
C. Zhang, Finite-time internal stabilization of a linear 1-D transport equation, Systems & Control Letters,133(2019), 10452. 57
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.