Reachability analysis for a class of quantized control systems

We study control systems whose input sets are quantized. We specifically focus on problems relating to the structure of the reachable set of such systems, which may turn out to be either dense or discrete. We report on some results on the reachable set of linear quantized systems, and study in detail an interesting class of nonlinear systems, forming the discrete counterpart of driftless nonholonomic continuous systems. For such systems, we provide a complete characterization of the reachable set, and, in the case the set is discrete, a computable method to describe its lattice structure.

[1]  E. Wright,et al.  An Introduction to the Theory of Numbers , 1939 .

[2]  J. Bertram.  The effect of quantization in sampled-feedback systems , 1958, Transactions of the American Institute of Electrical Engineers, Part II: Applications and Industry.

[3]  J. Slaughter.  Quantization errors in digital control systems , 1964 .

[4]  D. Delchamps.  Stabilizing a linear system with quantized state feedback , 1990 .

[5]  S. Sastry,et al.  Nonholonomic motion planning: steering using sinusoids , 1993, IEEE Trans. Autom. Control..

[6]  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.

[7]  Antonio Bicchi,et al.  Manipulation of polyhedral parts by rolling , 1997, Proceedings of International Conference on Robotics and Automation.

[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]  A. Marigo,et al.  Constructive necessary and sufficient conditions for strict triangularizability of driftless nonholonomic systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[10]  Wing Shing Wong,et al.  Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..

[11]  S. Mitter,et al.  Quantization of linear systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[12]  Antonio Bicchi,et al.  Planning Motions of Polyhedral Parts by Rolling , 2000, Algorithmica.

[13]  Antonio Bicchi,et al.  Quantized control systems and discrete nonholonomy , 2000 .

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