Create a movie file from a set of pdf files
A tool to do that would be FFmpeg but unfortunately it does not support PDF decoding.
Though you can convert your pdf's to png's using imagemagick (relevant question on askUbuntu).

And then create a movie out of those PNG's with ffmpeg. This guide on the ffmpeg page explains how, here an example command:

ffmpeg -r 1/5 -i img%03d.png -c:v libx264 -r 30 -pix_fmt yuv420p out.mp4


This read images from the current folder with the prefix "img" and a following number of 3 digits and display them for 5 seconds (-r 1/5) with a frame rate of 30 fps (-r 30).