TY - RPRT TI - Lyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces AU - Andrii Mironchenko AU - Fabian Wirth PY - 2017 UR - https://arxiv.org/abs/1708.07953 ID - 1708.07953 ER -