TY - RPRT TI - A kernel proof of the De Cock-De Moor Lyapunov identity AU - Jonas Gillberg AU - Johan Löfberg PY - 2026 UR - https://arxiv.org/abs/2608.24405 ID - 2608.24405 ER -