Increasing security in an artificial pancreas: diagnosis of actuator faults | IEEE Conference Publication | IEEE Xplore