Angle-based shape determination theory of planar graphs with application to formation stabilization. (July 2019)