Bat migration...

has been mathematically modeled: The Evolution Of Bat Migration. Here's the related technical abstract and article: Evidence for Repeated Independent Evolution of Migration in the Largest Family of Bats.

Remember: bats need friends.