A necessary and sufficient local controllability condition for bilinear discrete-time systems | IEEE Conference Publication | IEEE Xplore