@Inproceedings{EPTCS73.6, author = {Fribourg, Laurent and Revol, Bertrand and Soulat, Romain }, year = {2011}, title = {Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems}, editor = {Yu, Fang and Wang, Chao}, booktitle = {{\rm Proceedings 13th International Workshop on} Verification of Infinite-State Systems, {\rm Taipei, Taiwan, 10th October 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {73}, publisher = {Open Publishing Association}, pages = {35-48}, doi = {10.4204/EPTCS.73.6}, }