TY - RPRT TI - Decentralized set-valued state estimation and prediction for hybrid systems: A symbolic approach AU - Naim Bajcinca PY - 2013 UR - https://arxiv.org/abs/1302.6704 ID - 1302.6704 ER -