Computing adaptive backstepping control law using computer algebra systems | Publicación