Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control | IEEE Conference Publication | IEEE Xplore