Study on nonlinear control using automatic differentiation and verification through simulation and experiment in lateral plane of mono-wheel robot (メカトロニクス制御研究会・モーションコントロール)