Particular form for testing positive controllability of discrete-time linear systems | IEEE Conference Publication | IEEE Xplore