controllability algorithm
controllability algorithm

Signed-off-by: Felipe Monteiro <0e8af63cc20e7674c68c6b80255825ec95b4ae24@ufam.edu.br>

ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier