ATM switch design by high-level modeling, formal verification and high-level synthesis. - Sreeranga P. Rajan; Masahiro Fujita; K. Yuan; Mike Tien-Chien Lee (ACM Trans. Design Autom. Electr. Syst., 1998)

On the Stability of Zero Dynamics of a Single-Link Flexible Manipulator for a Class of Parametrized Outputs. - K. Yuan; L. Y. Liu (J. Field Robotics, 2003)