Motion planning for a quantized control system on SO(3)

We present an analysis of the motion planning problem for a driftless quantized control system on SO(3). The system under investigation depends on two control quanta, beta1 and beta2. We are able to provide efficient finite complexity motion plans which steer the system arbitrarily close to any given target configuration as soon as at least one of the two control quanta satisfies a strong approximating property of number theoretic nature. On the other hand we prove that whenever both control quanta do not satisfy this strong approximating property, then in order to reach a configuration arbitrarily close to any given target configuration it is necessary to use motion plans of unbounded complexity.

[1]  Benedetto Piccoli,et al.  Controllability for Discrete Systems with a Finite Control Set , 2001, Math. Control. Signals Syst..

[2]  Emilio Frazzoli,et al.  Application of quantized control to human self-rotation maneuvers in microgravity , 2007, 2007 46th IEEE Conference on Decision and Control.

[3]  Ludwig Staiger,et al.  Ω-languages , 1997 .

[4]  Emilio Frazzoli,et al.  Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries , 2007, HSCC.

[5]  James A. Hendler,et al.  Languages, behaviors, hybrid architectures, and motion control , 1998 .

[6]  Munther A. Dahleh,et al.  Maneuver-based motion planning for nonlinear systems with symmetries , 2005, IEEE Transactions on Robotics.

[7]  Antonio Bicchi,et al.  Reachability and steering of rolling polyhedra: a case study in discrete nonholonomy , 2004, IEEE Transactions on Automatic Control.

[8]  Antonio Bicchi,et al.  Steering driftless nonholonomic systems by control quanta , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[9]  Antonio Bicchi,et al.  A group-theoretic characterization of quantized control systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[10]  Antonio Bicchi,et al.  On the reachability of quantized control systems , 2002, IEEE Trans. Autom. Control..

[11]  Antonio Bicchi,et al.  Symbolic control for underactuated differentially flat systems , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..