“Automatic Control Knowledge Repository” – A Computational Approach for Simpler and More Robust Reproducibility of Results in Control Theory | IEEE Conference Publication | IEEE Xplore