Heart assist devices: Modeling and diagnostics | IEEE Conference Publication | IEEE Xplore