Hakan Yazarel

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Compositional equivalence checking for models and code of control systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Verification of automotive control applications using S-TaLiRo.
Proceedings of the American Control Conference, 2012

2005
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

2004
Geometric programming relaxations for linear system reachability.
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.
IEEE Trans. Robotics Autom., 2002

Task-space adaptive control of robotic manipulators with uncertainties in gravity regressor matrix and kinematics.
IEEE Trans. Autom. Control., 2002

Adaptive SP-D Control of Robots with Structural Uncertainty in Gravity Regressor Matrix: Theory and Experiment.
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.
Proceedings of the American Control Conference, 2001


  Loading...