{
 "artifacts": null,
 "category": "dynamics",
 "description": "Add an observer correction to a recurrent or state-space neural model and constrain its local dynamics so latent-state errors contract according to a quadratic Lyapunov certificate. The design tolerates nonlinear residuals that are not globally Lipschitz, provided their one-sided growth and quadratic inner-bound constants satisfy a computable matrix inequality.",
 "download_zip": "https://synthcore.org/download/1128",
 "formulas_latex": [
  "$$\\dot{\\widehat{x}}=A\\widehat{x}+\\varphi(\\widehat{x},u)+L(y-C\\widehat{x}),\\qquad e=\\widehat{x}-x,$$",
  "$$e^{\\mathsf T}[\\varphi(\\widehat{x},u)-\\varphi(x,u)]\\leq\\rho\\|e\\|^2,\\qquad \\|\\varphi(\\widehat{x},u)-\\varphi(x,u)\\|^2\\leq\\alpha\\|e\\|^2,$$",
  "$$(A-LC)^{\\mathsf T}P+P(A-LC)+(2\\rho+\\alpha/\\epsilon)P+\\epsilon P^2\\preceq-\\kappa I,\\qquad P\\succ0,$$",
  "$$V=e^{\\mathsf T}Pe\\quad\\Longrightarrow\\quad \\dot V\\leq-\\kappa\\|e\\|^2,\\qquad V(t)\\lesssim V(0)\\exp\\left(-\\frac{\\kappa t}{\\lambda_{\\max}(P)}\\right).$$"
 ],
 "id": 2915,
 "implementation": "1. Integration point: wrap a neural ODE, continuous-time state-space model, or recurrent hidden-state update with an observer correction. Maintain a predicted state \\(\\widehat{x}\\) and observed embedding \\(y\\), and inject \\(L(y-C\\widehat{x})\\) before discretization. 2. Pseudocode: estimate local pairs \\((e_j,\\Delta\\varphi_j)\\) from teacher-forced trajectories; set conservative bounds \\(\\rho=\\max_j e_j^{\\mathsf T}\\Delta\\varphi_j/(\\|e_j\\|^2+\\delta)\\) and \\(\\alpha=\\max_j\\|\\Delta\\varphi_j\\|^2/(\\|e_j\\|^2+\\delta)\\); solve an offline semidefinite program for \\(P\\succ0\\) and \\(L\\), maximizing \\(\\kappa\\) subject to the displayed inequality; then update \\(\\widehat{x}_{k+1}=\\widehat{x}_k+h[A\\widehat{x}_k+\\varphi_\\psi(\\widehat{x}_k,u_k)+L(y_k-C\\widehat{x}_k)]\\). Reject or reduce neural updates whenever the largest eigenvalue of the certificate matrix exceeds \\(-\\kappa\\). 3. The OSL/QIB assumptions and Lyapunov inequality are the paper mechanism; \\(\\rho\\) and \\(\\alpha\\) are estimated from minibatches and should be inflated for safety. 4. First cheap experiment: train a latent neural ODE on partially observed damped Duffing trajectories, comparing an unconstrained observer, a fixed-gain observer, and the certified observer under observation noise. Sweep integration step \\(h\\), and record \\(V_k=e_k^{\\mathsf T}Pe_k\\). The predicted signature is exponential decay with slope near or above \\(-\\kappa/\\lambda_{\\max}(P)\\) without disturbances, followed by a disturbance-dependent floor under noise. Scaling the neural nonlinearity until the certificate eigenvalue crosses zero should produce hidden-state divergence near that predicted boundary.",
 "math_summary": "Let the learned latent dynamics be \\(\\dot{x}=Ax+\\varphi(x,u)\\), and define the observer \\(\\dot{\\widehat{x}}=A\\widehat{x}+\\varphi(\\widehat{x},u)+L(y-C\\widehat{x})\\), where \\(C\\) selects observed features and \\(L\\) is an observer gain. For error \\(e=\\widehat{x}-x\\), let \\(\\Delta\\varphi=\\varphi(\\widehat{x},u)-\\varphi(x,u)\\). Assume the one-sided Lipschitz bound \\(e^{\\mathsf T}\\Delta\\varphi\\leq\\rho\\|e\\|^2\\) and the quadratic inner-bound condition \\(\\|\\Delta\\varphi\\|^2\\leq\\alpha\\|e\\|^2\\), with constants \\(\\rho\\) and \\(\\alpha\\). A sufficient quadratic Lyapunov condition for \\(V=e^{\\mathsf T}Pe\\), with \\(P\\succ0\\), is \\((A-LC)^{\\mathsf T}P+P(A-LC)+(2\\rho+\\alpha/\\epsilon)P+\\epsilon P^2\\preceq-\\kappa I\\), where \\(\\epsilon\u003e0\\) is a Young-inequality multiplier and \\(\\kappa\u003e0\\) is a decay margin. In the disturbance-free case this gives exponential error decay.",
 "math_tags": [
  "control-theory",
  "dynamical-systems",
  "optimization",
  "linear-algebra"
 ],
 "ml_areas": [
  "ssm",
  "rnn",
  "world-model",
  "training-dynamics"
 ],
 "paper": {
  "arxiv_id": "2608.30977",
  "arxiv_url": "https://arxiv.org/abs/2608.30977",
  "summary_what_math_gives_to_ml": "The paper provides a transferable mechanism for learning unknown dynamics from estimated latent states without persistent excitation: integrate the dynamics to form an output-integral regression, store a finite history stack, and certify that estimated-state excitation remains informative despite observer error and disturbances. Its key quantitative tool is a perturbation bound between true and estimated information matrices, allowing finite excitation to be checked using only computable regressors. A second transferable asset is an OSL-QIB Lyapunov/LMI condition for designing an observer whose latent-state error remains bounded while parameters adapt. These mechanisms suggest stable latent-state sequence models with excitation-aware replay and explicit contraction certificates.",
  "title": "Adaptive Observer of Nonlinear One-Sided Lipschitz Systems Using Estimated State Regressors With Finite Excitation",
  "year": "2026"
 },
 "ratings": {
  "difficulty": 6,
  "novelty": 8,
  "usefulness": 7
 },
 "solves": [
  "stability",
  "accuracy"
 ],
 "title": "OSL-QIB Contractive State Observer",
 "url": "https://synthcore.org/idea/2915/osl-qib-contractive-state-observer",
 "verification": {
  "peer_reviewed": false,
  "status": "queued_mechanism",
  "status_label": "Queued — mechanism check",
  "verdict_source": "deterministic test code (paired-seed permutation statistics)"
 }
}