On the reachability of quantized control systems

In this paper, we study control systems whose input sets are quantized, i.e., finite or regularly distributed on a mesh. 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 results on the reachable set of linear quantized systems, and on a particular but interesting class of nonlinear systems, i.e., nonholonomic chained-form systems. For such systems, we provide a complete characterization of the reachable set, and, in case the set is discrete, a computable method to completely and succinctly describe its structure. Implications and open problems in the analysis and synthesis of quantized control systems are addressed.

[1]  P. Krishnaprasad,et al.  Nonholonomic mechanical systems with symmetry , 1996 .

[2]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[3]  Vilmos Komornik,et al.  On the sequence of numbers of the form $ε₀ + ε₁q + ... + ε_nq^n$, $ε_i ∈ {0,1}$ , 1998 .

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

[5]  O. J. Sørdalen,et al.  Exponential stabilization of nonholonomic chained systems , 1995, IEEE Trans. Autom. Control..

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

[7]  Velimir Jurdjevic.  The geometry of the plate-ball problem , 1993 .

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

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

[10]  J. Raisch.  Controllability and observability of simple hybrid control systems-FDLTI plants with symbolic measurements and quantized control inputs , 1994 .

[11]  Ilya Kolmanovsky,et al.  Developments in nonholonomic control problems , 1995 .

[12]  D. Delchamps.  Extracting state information form a quantized output record , 1990 .

[13]  M. Sznaier,et al.  Feedback control of quantized constrained systems with applications to neuromorphic controllers design , 1994, IEEE Trans. Autom. Control..

[14]  Richard M. Murray,et al.  Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems , 1994, Math. Control. Signals Syst..

[15]  J. Raisch.  Simple hybrid control systems — continuous FDLTI plants with quantized control inputs and symbolic measurements , 1994 .

[16]  C. Samson.  Control of chained systems application to path following and time-varying point-stabilization of mobile robots , 1995, IEEE Trans. Autom. Control..

[17]  R. W. Brockett,et al.  Asymptotic stability and feedback stabilization , 1982 .

[18]  Juichi Miyamichi,et al.  On Reachability of Quantized Control System , 1976 .

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

[20]  Antonio Bicchi,et al.  Rolling bodies with regular surface: controllability theory and applications , 2000, IEEE Trans. Autom. Control..

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

[22]  A. Michel,et al.  Some qualitative properties of sampled-data control systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

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

[24]  E. T..  An Introduction to the Theory of Numbers , 1946, Nature.

[25]  Boris Solomyak,et al.  On the morphology of $gamma$-expansions with deleted digits , 1995 .

[26]  L. Dai,et al.  Non-holonomic Kinematics and the Role of Elliptic Functions in Constructive Controllability , 1993 .

[27]  A. Bloch,et al.  Control and stabilization of nonholonomic dynamic systems , 1992 .

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

[29]  M. Levi.  Geometric phases in the motion of rigid bodies , 1993 .

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

[31]  Antonio Bicchi,et al.  Rolling polyhedra on a plane, analysis of the reachable set , 1997 .

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

[33]  Jean-Paul Laumond,et al.  Topological property for collision-free nonholonomic motion planning: the case of sinusoidal inputs for chained form systems , 1998, IEEE Trans. Robotics Autom..