I have been using an iPad App called iMindAmbiEnce to play with some controlled dream visualization for Christian prophetic dreams. I get the best results by building a ramp from Alpha to Delta and falling asleep with the Delta track playing. I have used both binaural and isochronic waves with good results.

The binaural beats are easier to handle while trying to have a lucid dream because they mix better with other sounds.