@INPROCEEDINGS{7587885, 
	author={R. Vignali and M. Prandini}, 
	booktitle={2016 IEEE Conference on Control Applications (CCA)}, 
	title={A method for detecting relevant inputs while satisfying a reachability specification for piecewise affine systems}, 
	year={2016}, 
	pages={538-543}, 
	keywords={affine transforms;piecewise constant techniques;program verification;reachability analysis;depth-first exploration algorithm;geometrical set-containment test;influential inputs;input design;mixed integer feasibility problem;piecewise affine systems;reachability specification;relevant input detection;system verification;undesired behavior;unsafe behavior;Context;Gold;Indexes;Model checking;Reachability analysis;Switches}, 
	doi={10.1109/CCA.2016.7587885}, 
	month={Sept},}

