Hakan Yazarel

According to our database, Hakan Yazarel authored at least 8 papers between 2001 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Compositional equivalence checking for models and code of control systems.

Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Verification of automotive control applications using S-TaLiRo.

Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel

Proceedings of the American Control Conference, 2012

2005

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations.

Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

2004

Geometric programming relaxations for linear system reachability.

Hakan Yazarel, George J. Pappas

Proceedings of the 2004 American Control Conference, 2004

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

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 Robots with Structural Uncertainty in Gravity Regressor Matrix: Theory and Experiment.

Hakan Yazarel, Chien-Chern Cheah, Hwee Choo Liaw

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2001

Adaptive visual servoing of robots with uncertain gravity regressor and Jacobian matrices.

Hakan Yazarel, Chien Chern Cheah

Proceedings of the American Control Conference, 2001