Auxiliary signal design for failure detection in high index differential-algebraic equations | IEEE Conference Publication | IEEE Xplore