Вы можете сделать это с помощью ffmpeg. В простой форме вы можете сделать ffmpeg -i image%d video.mpg, но ffmpeg имеет множество опций.