Yerang Hur Rafael B. Fierro Insup Lee Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. 93-98 2003 conf/isorc/2003 ISORC http://computer.org/proceedings/isorc/1928/19280093abs.htm db/conf/isorc/isorc2003.html#HurFL03