Checksum based error detection in linearized representations of non linear control systems | IEEE Conference Publication | IEEE Xplore