H. Yazarel

Verification of automotive control applications using S-TaLiRo

Georgios Fainekos, Sriram Sankaranarayanan, K. Ueda et al. · 2012 · 106 citations

Engineering, Automotive Engineering, Computer Science +17

Task-space adaptive control of robotic manipulators with uncertainties in gravity regressor matrix and kinematics

H. Yazarel, Chien Chern Cheah · IEEE Transactions on Automatic Control · 2002 · 75 citations

Engineering, Mechanical Engineering, Robotics Engineering +17

Geometric programming relaxations for linear system reachability

H. Yazarel, George J. Pappas · 2004 · 60 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Adaptive SP-D control of a robotic manipulator in the presence of modeling error in a gravity regressor matrix: theory and experiment

H. Yazarel, Chien Chern Cheah, Hwee Choo Liaw · IEEE Transactions on Robotics and Automation · 2002 · 40 citations

Engineering, Mechanical Engineering, Robotics Engineering +16

S.O.S. for safety

H. Yazarel, S. Prajna, George J. Pappas · 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) · 2004 · 13 citations

Computing, Computer Science, Mathematics +15