Jongwoo Kim Jim Keller 0002 Vijay Kumar 0001 Design and verification of controllers for airships. 54-60 2003 IROS https://doi.org/10.1109/IROS.2003.1250605 conf/iros/2003 db/conf/iros/iros2003.html#KimKK03