Motion control / Control Systems / Robot Control / Prototypes / Equation of Motion / Control Strategy / Boolean Satisfiability / Dynamic Model of WSN / Nonlinear Equations / dynamic model / Control Strategy / Boolean Satisfiability / Dynamic Model of WSN / Nonlinear Equations / dynamic model