Researchers at the Dartmouth Robotics Laboratory have tested a number of different algorithms on digital models to test how algorithms are able to adapt to different types of variable input. The idea is that simple algorithms that work for an idealized system can then be instantiated on to a variety of actual systems while retaining the correctness of the generic algorithms.
see more information here
