Logic-dynamic approach to the robust fault diagnosis in nonlinear systems | IEEE Conference Publication | IEEE Xplore