TY - RPRT TI - Strong nonlinear detectability and moving horizon estimation for nonlinear systems with unknown inputs AU - Yang Guo AU - Jaime A. Moreno AU - Stefan Streif PY - 2025 UR - https://arxiv.org/abs/2511.23385 ID - 2511.23385 ER -