Logic-dynamic approach to study nonlinear dynamic systems | IEEE Conference Publication | IEEE Xplore