@ARTICLE{7560595, 
	author={R. Vignali and M. Prandini}, 
	journal={IEEE Transactions on Automatic Control}, 
	title={Minimum Resource Commitment for Reachability Specifications in a Discrete Time Linear Setting}, 
	year={2016}, 
	volume={PP}, 
	number={99}, 
	pages={1-1}, 
	keywords={Linear systems;Model checking;Networked control systems;Optimization;Robustness;System analysis and design}, 
	doi={10.1109/TAC.2016.2606082}, 
	ISSN={0018-9286}, 
	month={},}

