Hakan Yazarel

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Classification Models

Accurate Models

Top Venues

Publications

Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
Compositional equivalence checking for models and code of control systems. CDC (2013)
Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel
Verification of automotive control applications using S-TaLiRo. ACC (2012)
Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS (2005)
Hakan Yazarel, George J. Pappas
Geometric programming relaxations for linear system reachability. ACC (2004)
Hakan Yazarel, Chien-Chern Cheah
Task-space adaptive control of robotic manipulators with uncertainties in gravity regressor matrix and kinematics. IEEE Trans. Autom. Control. 47 (9) (2002)
Hakan Yazarel, Chien-Chern Cheah, Hwee Choo Liaw
Adaptive SP-D control of a robotic manipulator in the presence of modeling error in a gravity regressor matrix: theory and experiment. IEEE Trans. Robotics Autom. 18 (3) (2002)
Hakan Yazarel, Chien-Chern Cheah, Hwee Choo Liaw
Adaptive SP-D Control of Robots with Structural Uncertainty in Gravity Regressor Matrix: Theory and Experiment. ICRA (2002)
Hakan Yazarel, Chien Chern Cheah
Adaptive visual servoing of robots with uncertain gravity regressor and Jacobian matrices. ACC (2001)