AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

3 papers

Systems and Control · 3 matches
288eess.SY

Cavalagli, Bemporad and Zanon (IEEE Control Systems Letters textbf(10) (2026), 919–924) bound the number of hyperbolic feedback Nash equilibria of the symmetric N-player scalar discounted linear-quadratic game xₜ₊₁=axₜ+Σᵢ u_(i,t) and show that the maximal n…

Systems and ControlAI reviewed · Human review open
Contribute a review
Evidence summary

59 Lean theorems · 12 stated results · 5 source-labelled candidates. Lean build reported passed by the source. Inspect claims

157eess.SY

Let a(s)=sⁿ+aₙ₋₁sⁿ⁻¹+…+a₀ be a Hurwitz polynomial, A its companion matrix and X the solution of the Lyapunov equation XA+A^(T) X=-Q with Q=Q^(T)succeq 0. Fortuna's conjecture, as stated by Ferrante (arXiv:2606.16492), asserts that X is entrywise nonnegative…

Systems and ControlAI reviewed · Human review open
Contribute a review
Evidence summary

77 Lean theorems · 9 stated results · 1 source-labelled candidates. Lean build reported passed by the source. Inspect claims

037eess.SY

For the scalar adaptive-control game xₜ₊₁=axₜ+uₜ+wₜ with norm(w)_∞ ≤ 1, an unknown constant pole a ∈ [-Δ,Δ], causal deterministic control and the worst-case peak norm(x)_∞ as cost, Ho has recently determined the minimax value from rest, γ^*(Δ)=1+Δ, and from…

Systems and ControlAI reviewed · Human review open
Contribute a review
Evidence summary

143 Lean theorems · 16 stated results · 6 source-labelled candidates. Lean build reported passed by the source. Inspect claims