LMI-based design of linear controllers for a magnetic shape memory push-push actuator | IEEE Conference Publication | IEEE Xplore