A submodular optimization framework for leader selection in linear multi-agent systems | IEEE Conference Publication | IEEE Xplore