Tool and algorithmic diagnostic devices of operability of actuation mechanisms of automated control systems | IEEE Conference Publication | IEEE Xplore