Tang, Wentao · Oct 30, 2026
arXiv eess.SY: Koopman--Lyapunov and Koopman--Riccati Controller Synthesis
Markdown · JSON · Original source
Wentao Tang argues that controller synthesis for Koopman representations of nonlinear systems need not lose the useful structure of classical Lyapunov and Riccati methods. The challenge is that controlled Koopman models are generally bilinear, rather than fully linear. Tang proposes that, in infinite dimensions, this bilinearity is “merely artifactual” and can in principle be reduced to linearity. Using operator semigroups in a reproducing kernel Hilbert space with a linear--Sobolev kernel, and the Yosida approximation, the paper formulates stabilizing controller synthesis as an operator Lyapunov inequality and input-unconstrained optimal controller synthesis as an operator Riccati equation. With sample data, Tang says these formulations can be solved using semidefinite programming solvers and Kleinman iterations, in ways analogous to methods for linear systems. The paper reports performance bounds that depend on sampling denseness and Yosida regularization. In numerical models and process control examples, its comparisons with linearized LQR, bilinear EDMD-based synthesis, nonlinear MPC, and Koopman MPC present Koopman--Riccati synthesis as computationally efficient and near-optimal. These are results reported for the paper’s numerical examples; the supplied abstract does not establish how the method performs beyond them.
Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.
Original source
eess.SY · Article
Source details
Original source date: Oct 30, 2026 (2026-10-30).
Date basis: Date basis not provided.
Added to Escape Meridian: 2026-11-11T00:54:18.353Z. First observed: 2026-11-02T05:06:27.525Z. Retrieved: 2026-11-02T09:48:19.152Z.
Referenced by
Recorded citations and public file attachments. A reference alone does not establish agreement or influence.
No public references recorded here yet.
Limits
The supplied evidence is the abstract, not the full paper; it gives no numerical values for the performance bounds or comparison results. The abstract reports results on numerical models and process control examples; it does not establish performance beyond those examples.
Open question
How do the reported performance bounds change with sampling denseness and Yosida regularization?
Source-stated
Tang frames direct controller synthesis for controlled Koopman models as an open problem, in part because these models are generally bilinear rather than fully linear.
the direct controller synthesis problem largely remains open. As the controlled system is generally a bilinear (instead of fully linear) Koopman model
Source-stated
The paper proposes that bilinearity in the infinite-dimensional feature map may be reducible to linearity in principle.
in infinite dimensions, bilinearity in the feature map should be merely artifactual and hence reducible to linearity in principle.
Source-stated
Tang formulates stabilizing controller synthesis as an operator Lyapunov inequality and input-unconstrained optimal controller synthesis as an operator Riccati equation.
the synthesis problems of a stabilizing controller and an input-unconstrained optimal controller can be formulated as an operator Lyapunov inequality and an operator Riccati equation, respectively.
Source-stated
The abstract says the formulations can be solved with sample data using semidefinite programming solvers and Kleinman iterations, analogously to methods for linear systems.
with sample data, they are solvable efficiently in analogous ways to usual linear systems by semidefinite programming solvers and Kleinman iterations, respectively.
Source-stated
The paper reports numerical comparisons and describes Koopman--Riccati synthesis as computationally efficient and near-optimal on the tested numerical models and process control examples.
through numerical comparison to linearized LQR, bilinear EDMD-based synthesis, nonlinear MPC, and Koopman MPC methods on numerical models and process control examples, this work demonstrates the proposed Koopman--Riccati synthesis as a computationally efficient approach to obtain a near-optimal
Source and contributor context
Tang, Wentao · Article author
These are credits stated by the source; they do not establish a profile match or authorship of every passage.
Source media
No suitable media was found by the supported page extraction.
Terms and references
Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.
arXiv
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Editorial provenance
Version 1. Publication ID: 3c091b30-6ea7-48f4-89c8-b50cf156013d.
Prepared by gpt-6-luna; grounding review by gpt-6-luna.
Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-11T00:54:18.353Z. This checks fidelity to the source, not whether its claims are independently true.
Editorial selection: accept; reasons: material_development.
Observation: 1c15c9927dd60d2c18f60d0519ca28d9a4df32ac1f5ed30f56c6d3f9e1c82fa8. Source text hash: 0aadbe83260ac1363cfafdaee797ed69a3079cc3205f05e24383081913cd98e8.
Revision and source-check history
Version 1 · 2026-11-11T00:54:18.353Z
arXiv eess.SY: Koopman--Lyapunov and Koopman--Riccati Controller Synthesis
Wentao Tang argues that controller synthesis for Koopman representations of nonlinear systems need not lose the useful structure of classical Lyapunov and Riccati methods. The challenge is that controlled Koopman models are generally bilinear, rather than fully linear. Tang proposes that, in infinite dimensions, this bilinearity is “merely artifactual” and can in principle be reduced to linearity. Using operator semigroups in a reproducing kernel Hilbert space with a linear--Sobolev kernel, and the Yosida approximation, the paper formulates stabilizing controller synthesis as an operator Lyapunov inequality and input-unconstrained optimal controller synthesis as an operator Riccati equation. With sample data, Tang says these formulations can be solved using semidefinite programming solvers and Kleinman iterations, in ways analogous to methods for linear systems. The paper reports performance bounds that depend on sampling denseness and Yosida regularization. In numerical models and process control examples, its comparisons with linearized LQR, bilinear EDMD-based synthesis, nonlinear MPC, and Koopman MPC present Koopman--Riccati synthesis as computationally efficient and near-optimal. These are results reported for the paper’s numerical examples; the supplied abstract does not establish how the method performs beyond them.
Original source
eess.SY · Article
Source details
Original source date: Oct 30, 2026 (2026-10-30).
Date basis: Date basis not provided.
Added to Escape Meridian: 2026-11-11T00:54:18.353Z. First observed: 2026-11-02T05:06:27.525Z. Retrieved: 2026-11-02T09:48:19.152Z.
Limits
The supplied evidence is the abstract, not the full paper; it gives no numerical values for the performance bounds or comparison results. The abstract reports results on numerical models and process control examples; it does not establish performance beyond those examples.
Open question
How do the reported performance bounds change with sampling denseness and Yosida regularization?
Source-stated
Tang frames direct controller synthesis for controlled Koopman models as an open problem, in part because these models are generally bilinear rather than fully linear.
the direct controller synthesis problem largely remains open. As the controlled system is generally a bilinear (instead of fully linear) Koopman model
Source-stated
The paper proposes that bilinearity in the infinite-dimensional feature map may be reducible to linearity in principle.
in infinite dimensions, bilinearity in the feature map should be merely artifactual and hence reducible to linearity in principle.
Source-stated
Tang formulates stabilizing controller synthesis as an operator Lyapunov inequality and input-unconstrained optimal controller synthesis as an operator Riccati equation.
the synthesis problems of a stabilizing controller and an input-unconstrained optimal controller can be formulated as an operator Lyapunov inequality and an operator Riccati equation, respectively.
Source-stated
The abstract says the formulations can be solved with sample data using semidefinite programming solvers and Kleinman iterations, analogously to methods for linear systems.
with sample data, they are solvable efficiently in analogous ways to usual linear systems by semidefinite programming solvers and Kleinman iterations, respectively.
Source-stated
The paper reports numerical comparisons and describes Koopman--Riccati synthesis as computationally efficient and near-optimal on the tested numerical models and process control examples.
through numerical comparison to linearized LQR, bilinear EDMD-based synthesis, nonlinear MPC, and Koopman MPC methods on numerical models and process control examples, this work demonstrates the proposed Koopman--Riccati synthesis as a computationally efficient approach to obtain a near-optimal
Source and contributor context
Tang, Wentao · Article author
These are credits stated by the source; they do not establish a profile match or authorship of every passage.
Source media
No suitable media was found by the supported page extraction.
Terms and references
Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.
arXiv
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Editorial provenance
Version 1. Publication ID: 3c091b30-6ea7-48f4-89c8-b50cf156013d.
Prepared by gpt-6-luna; grounding review by gpt-6-luna.
Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-11T00:54:18.353Z. This checks fidelity to the source, not whether its claims are independently true.
Editorial selection: accept; reasons: material_development.
Observation: 1c15c9927dd60d2c18f60d0519ca28d9a4df32ac1f5ed30f56c6d3f9e1c82fa8. Source text hash: 0aadbe83260ac1363cfafdaee797ed69a3079cc3205f05e24383081913cd98e8.
uncertain · 2026-11-11T00:54:18.353Z · anthropic/claude-opus-5.5
Publication: 3c091b30-6ea7-48f4-89c8-b50cf156013d
attribution — pass: The reading correctly credits the paper to its sole listed author, Wentao Tang, and keeps the abstract's claims attributed to him. The publisher label 'arXiv eess.SY' fits the cross-listing, though the primary category is math.OC.
Authors:Wentao Tang
summary — uncertain: The summary follows the abstract faithfully but stacks central jargon with no plain-language explanation: Koopman operator, bilinear, Lyapunov and Riccati methods, reproducing kernel Hilbert space, linear--Sobolev kernel, Yosida approximation, semidefinite programming, Kleinman iterations, LQR, EDMD and MPC. It never says what controller synthesis means or why recovering linear--quadratic structure matters. A general reader cannot follow the development. Smallest repair: one plain sentence on the problem (designing feedback control for nonlinear systems) and the claimed payoff (efficient, near-optimal control), with tooltips for the terms.
These formulations recover the desirable linear--quadratic structures
date — pass: The displayed original publication date of 2026-10-30 matches the v1 submission date on arXiv. The feed date of 2026-11-02 is correctly not used.
[Submitted on 30 Oct 2026]
support — pass: Each claim is source-stated and its excerpt matches the abstract. The reading limits the efficiency and near-optimality findings to the paper's examples and notes that no numerical values are given. The question about how the bounds depend on sampling denseness and Yosida regularization follows directly from the abstract and is not leading.
proving control performance bounds dependent on the sampling denseness and Yosida regularization
media — pass: The selected media is the verified direct link to the original arXiv abstract page, which is the most direct way to reach the source.
Challenge or correct this reading
Send a correction or an opposing source with this reading’s URL. Disagreement and uncertainty can remain unresolved.
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXiv