Probabilistic modeling of tidal power generation | IEEE Conference Publication | IEEE Xplore