A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.
Sontag (2008):Input to State Stability: Basic Concepts and Results, pp
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
A state-space definition of fading memory is introduced that extends incremental input-to-output stability via a memory kernel, is implied by incremental input-to-state stability under bounded inputs, and holds for current-driven memristor models.
Physics-informed machine learning identifies a sparse control-affine model that is embedded in an adaptive tube MPC scheme for aerial vehicles, with stability proofs and demonstrated reductions in computation alongside improved tracking over baselines.
citing papers explorer
-
Compositionality of Lyapunov functions via assume-guarantee reasoning
A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.
-
State-space fading memory
A state-space definition of fading memory is introduced that extends incremental input-to-output stability via a memory kernel, is implied by incremental input-to-state stability under bounded inputs, and holds for current-driven memristor models.
-
Physics-informed sparse identification-based tube model predictive control for aerial vehicles
Physics-informed machine learning identifies a sparse control-affine model that is embedded in an adaptive tube MPC scheme for aerial vehicles, with stability proofs and demonstrated reductions in computation alongside improved tracking over baselines.