TY - RPRT TI - Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems AU - Laurent Fribourg AU - Bertrand Revol AU - Romain Soulat PY - 2011 DO - 10.4204/eptcs.73.6 UR - https://arxiv.org/abs/1111.3108 ID - 1111.3108 ER -