[article]
Titre : |
On the stabilization of linear systems under assigned I/O quantization |
Titre original : |
Sur la stabilisation des systèmes linéaires sous la quantification assignée d'entrée-sortie |
Type de document : |
texte imprimé |
Auteurs : |
Picasso, Bruno, Auteur ; Bicchi, Antonio, Auteur |
Année de publication : |
2007 |
Article en page(s) : |
1994-2000 p. |
Note générale : |
Automatique |
Langues : |
Anglais (eng) |
Mots-clés : |
Controlled invariance Dynamic output feedback Practical stability Quantized systems Invariance commandée Rétroaction de sortie dynamique Stabilité pratique Systèmes à quantification |
Index. décimale : |
629.8 |
Résumé : |
This paper is concerned with the stabilization of discrete-time linear systems with quantization of the input and output spaces, i.e., when available values of inputs and outputs are discrete. Unlike most of the existing literature, we assume that how the input and output spaces are quantized is a datum of the problem, rather than a degree of freedom in design. Our focus is hence on the existence and synthesis of symbolic feedback controllers, mapping output words into the input alphabet, to steer a quantized I/O system to within small invariant neighborhoods of the equilibrium starting from large attraction basins. We provide a detailed analysis of the practical stabilizability of systems in terms of the size of hypercubes bounding the initial conditions, the state transient, and the steady-state evolution. We also provide an explicit construction of a practically stabilizing controller for the quantized I/O case.
Ce document est concerné par la stabilisation des systèmes linéaires de temps discret avec la quantification des espaces d'entrée et de rendement, c.-à-d., quand les valeurs disponibles des entrées et des sorties sont discrètes. À la différence de la majeure partie de la littérature existante, nous supposons que comment les espaces d'entrée et de rendement sont à quantification est des informations du problème, plutôt qu'un degré de liberté dans la conception. Notre foyer est par conséquent sur l'existence et la synthèse des contrôleurs symboliques de rétroaction, traçant des mots de rendement dans l'alphabet d'entrée, pour orienter un système à quantification d'entrée-sortie à dans de petits voisinages invariables de l'équilibre à partir de grands bassins d'attraction. Nous fournissons une analyse détaillée du stabilizability pratique des systèmes en termes de taille des hypercubes bondissant les conditions initiales, la coupure d'état, et l'évolution équilibrée. Nous fournissons également une construction explicite d'un contrôleur pratiquement stabilisant pour le cas à quantification d'entrée-sortie. |
DEWEY : |
629.8 |
ISSN : |
0018-9286 |
RAMEAU : |
systèmes linéaires |
En ligne : |
picasso.bruno@gmail.com, bicchi@ing.unipi.it |
in IEEE transactions on automatic control > Vol. 52 N°10 (Octobre 2007) . - 1994-2000 p.
[article] On the stabilization of linear systems under assigned I/O quantization = Sur la stabilisation des systèmes linéaires sous la quantification assignée d'entrée-sortie [texte imprimé] / Picasso, Bruno, Auteur ; Bicchi, Antonio, Auteur . - 2007 . - 1994-2000 p. Automatique Langues : Anglais ( eng) in IEEE transactions on automatic control > Vol. 52 N°10 (Octobre 2007) . - 1994-2000 p.
Mots-clés : |
Controlled invariance Dynamic output feedback Practical stability Quantized systems Invariance commandée Rétroaction de sortie dynamique Stabilité pratique Systèmes à quantification |
Index. décimale : |
629.8 |
Résumé : |
This paper is concerned with the stabilization of discrete-time linear systems with quantization of the input and output spaces, i.e., when available values of inputs and outputs are discrete. Unlike most of the existing literature, we assume that how the input and output spaces are quantized is a datum of the problem, rather than a degree of freedom in design. Our focus is hence on the existence and synthesis of symbolic feedback controllers, mapping output words into the input alphabet, to steer a quantized I/O system to within small invariant neighborhoods of the equilibrium starting from large attraction basins. We provide a detailed analysis of the practical stabilizability of systems in terms of the size of hypercubes bounding the initial conditions, the state transient, and the steady-state evolution. We also provide an explicit construction of a practically stabilizing controller for the quantized I/O case.
Ce document est concerné par la stabilisation des systèmes linéaires de temps discret avec la quantification des espaces d'entrée et de rendement, c.-à-d., quand les valeurs disponibles des entrées et des sorties sont discrètes. À la différence de la majeure partie de la littérature existante, nous supposons que comment les espaces d'entrée et de rendement sont à quantification est des informations du problème, plutôt qu'un degré de liberté dans la conception. Notre foyer est par conséquent sur l'existence et la synthèse des contrôleurs symboliques de rétroaction, traçant des mots de rendement dans l'alphabet d'entrée, pour orienter un système à quantification d'entrée-sortie à dans de petits voisinages invariables de l'équilibre à partir de grands bassins d'attraction. Nous fournissons une analyse détaillée du stabilizability pratique des systèmes en termes de taille des hypercubes bondissant les conditions initiales, la coupure d'état, et l'évolution équilibrée. Nous fournissons également une construction explicite d'un contrôleur pratiquement stabilisant pour le cas à quantification d'entrée-sortie. |
DEWEY : |
629.8 |
ISSN : |
0018-9286 |
RAMEAU : |
systèmes linéaires |
En ligne : |
picasso.bruno@gmail.com, bicchi@ing.unipi.it |
|