TY - RPRT TI - A sampling-based approach to scalable constraint satisfaction in linear sampled-data systems---Part I: Computation AU - Shahab Kaynama AU - Jeremy H. Gillula AU - Claire J. Tomlin PY - 2014 UR - https://arxiv.org/abs/1405.2363 ID - 1405.2363 ER -