Erico Guizzo from IEEE Spectrum takes us on a tour of three high tech modes of transportation.