Symbolic control for underactuated differentially flat systems

In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstacle-free environment. Plans considered admit a finite description length and are constructed by words on an alphabet of input symbols, which could be e.g. transmitted through a limited capacity channel to a remote system, where they can be decoded in suitable control actions. We show that, by suitable choice of the control encoding, finite plans can be efficiently built for a wide class of dynamical systems, computing arbitrarily close approximations of a desired equilibrium in polynomial time. Moreover, we illustrate by simulations the power of the proposed method, solving the steering problem for an example in the class of underactuated systems, which have attracted wide attention in the recent literature

[1]  Y. Anzai.  A note on reachability of discrete-time quantized conrol systems , 1974 .

[2]  John F. Canny,et al.  Time-optimal trajectories for a robot manipulator: a provably good approximation algorithm , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[3]  J. Lévine,et al.  Sufficient conditions for dynamic state feedback linearization , 1991 .

[4]  S. Sastry,et al.  Trajectory generation for the N-trailer problem using Goursat normal form , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[5]  Ole Jakob Sørdalen,et al.  Conversion of the kinematics of a car with n trailers into a chained form , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[6]  M. Fliess,et al.  Flatness, motion planning and trailer systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[7]  M. Fliess,et al.  Flatness and defect of non-linear systems: introductory theory and examples , 1995 .

[8]  Eduardo Sontag.  Control of systems without drift via generic loops , 1995, IEEE Trans. Autom. Control..

[9]  James A. Hendler,et al.  A motion description language and a hybrid architecture for motion planning with nonholonomic robots , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[10]  C. Moog,et al.  A linear algebraic framework for dynamic feedback linearization , 1995, IEEE Trans. Autom. Control..

[11]  Richard M. Murray,et al.  Real Time Trajectory Generation for Differentially Flat Systems , 1996 .

[12]  Steven M. LaValle,et al.  Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[13]  Steven M. LaValle,et al.  Algorithms for Computing Numerical Optimal Feedback Motion Strategies , 2001, Int. J. Robotics Res..

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

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

[16]  Magnus Egerstedt,et al.  Motion Description Languages for Multi-Modal Control in Robotics , 2003, Control Problems in Robotics.

[17]  Feedback can reduce the specification complexity of motor programs , 2003, IEEE Trans. Autom. Control..

[18]  Bruce Randall Donald,et al.  Provably good approximation algorithms for optimal kinodynamic planning for Cartesian robots and open-chain manipulators , 1995, Algorithmica.

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

[20]  Antonio Bicchi,et al.  Feedback encoding for efficient symbolic control of dynamical systems , 2006, IEEE Transactions on Automatic Control.

[21]  Steven M. LaValle,et al.  Planning algorithms , 2006 .