Adaptive visual servoing of robots with uncertain gravity regressor and Jacobian matrices. - Hakan Yazarel; Chien Chern Cheah (ACC, 2001)

Adaptive SP-D Control of Robots with Structural Uncertainty in Gravity Regressor Matrix: Theory and Experiment. - Hakan Yazarel; Chien-Chern Cheah; Hwee Choo Liaw (ICRA, 2002)

Task-space adaptive control of robotic manipulators with uncertainties in gravity regressor matrix and kinematics. - Hakan Yazarel; Chien-Chern Cheah (IEEE Trans. Autom. Control., 2002)

Adaptive SP-D control of a robotic manipulator in the presence of modeling error in a gravity regressor matrix: theory and experiment. - Hakan Yazarel; Chien-Chern Cheah; Hwee Choo Liaw (IEEE Trans. Robotics Autom., 2002)

Geometric programming relaxations for linear system reachability. - Hakan Yazarel; George J. Pappas (ACC, 2004)

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. - Hakan Yazarel; Antoine Girard; George J. Pappas; Rajeev Alur (RTSS, 2005)

Verification of automotive control applications using S-TaLiRo. - Georgios E. Fainekos; Sriram Sankaranarayanan 001; Koichi Ueda; Hakan Yazarel (ACC, 2012)

Compositional equivalence checking for models and code of control systems. - Rupak Majumdar; Indranil Saha; Koichi Ueda; Hakan Yazarel (CDC, 2013)