, montre que ||G|| ? < ? si et seulement si H(?) n'a pas de valeur propre sur l'axe imaginaire. L'algorithme suivant permet alors d'approximer la norme H ? de G : 1. Choisir un intervalle grossier

, Calculer le spectre de H(?) pour ? = 1 2 (? min + ? max )

, Si H(?) n'a pas de valeurs propres sur l'axe imaginaire, alors ? est trop grand. On peut alors raffiner l'intervalle en revenant à l'étape 1 et avec le nouveau encadrement

, Sinon, ? est trop petit et on peut raffiner l'intervalle en revenant à l'étape 1 et avec l'encadrement

C. Bibliographie-;-daniel-alazard, P. Cumer, M. Apkarian, G. Gauvrit, and . Ferreres, Robustesse et commande optimale. Cépadués-Editions, 1999.

D. S. Arnon, G. E. Collins, and S. Mccallum, Cylindrical algebraic decomposition 1 : The basic algorithm, SIAM Journal on Computing, vol.13, issue.4, pp.865-877, 1984.

K. , J. Åström, and T. Hägglund, Advanced PID Control. ISA-The Instrumentation, Systems and Automation Society, 2006.

H. Anai, S. Hara, M. Kanno, and K. Yokoyama, Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem, Journal of Symbolic Computation, vol.44, issue.7, pp.703-725, 2009.

H. Anai, S. Hara, and K. Yokoyama, Sum of roots with positive real parts, Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, pp.21-28, 2005.

F. William, A. J. Arnold, and . Laub, Generalized eigenproblem algorithms and software for algebraic Riccati equations, Proceedings of the IEEE, vol.72, issue.12, pp.1746-1754, 1984.

J. W. Brown and R. V. Churchill, Complex Variables and Applications, 2009.

F. Boulier, C. Chen, F. Lemaire, and M. M. Maza, Real root isolation of regular chains, Computer Mathematics, pp.33-48, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00825036

D. , A. Bini, and G. Fiorentino, Design, analysis, and implementation of a multiprecision polynomial rootfinder, Numerical Algorithms, vol.23, issue.23, pp.127-173, 2000.

A. Bunse-gerstner, Computational solution of the algebraic Riccati equation, Journal of The Society of Instrument and Control Engineers, vol.35, issue.8, pp.632-639, 1996.

A. George, P. Baker, and . Graves-morris, , vol.59, 1996.

R. Grama and . Bhashyam, ANSYS Mechanical, A Powerful Nonlinear Simulation Tool, vol.1, p.39, 2002.

R. Bhatia, Positive Definite Matrices, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02023293

H. Bourlès and . Godfrey-k-kwan, Linear Systems, 2013.

H. W. Bode, Network Analysis and Feedback Amplifier Design. van Nostrand, 1945.

S. Basu, R. Pollack, and M. Roy, Algorithms in Real Algebraic Geometry, vol.7, 2003.

A. Barrau, G. Rance, Y. Bouzidi, A. Quadrat, and A. Quadrat, Using symbolic computation to solve algebraic Riccati equations arising in invariant filtering, Proceedings of the 17 th European Control Conference, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01667341

G. E. Collins and A. G. Akritas, Polynomial real root isolation using Descartes's rule of signs, Proceedings of the third ACM Symposium on Symbolic and Algebraic Computation, pp.272-275, 1976.

M. Chen and C. A. Desoer, Necessary and sufficient condition for robust stability of linear distributed feedback systems, International Journal of Control, vol.35, issue.2, pp.255-267, 1982.

M. Frank, C. A. Callier, and . Desoer, Linear System Theory, 2012.

J. Cheng, X. Gao, and C. Yap, Complete numerical isolation of real zeros in zero-dimensional triangular systems, Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, pp.92-99, 2007.

G. E. Collins and H. Hong, Partial cylindrical algebraic decomposition for quantifier elimination, Journal of Symbolic Computation, vol.12, issue.3, pp.299-328, 1991.

B. Clement, Commande Robuste et Contraintes d'Optimisation. PhD thesis, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01305932

D. Cox, J. Little, and D. Shea, Using Algebraic Geometry, vol.185, 2006.

D. Cox, J. Little, and D. Shea, Ideals, Varieties, and Algorithms : fourth edition, vol.3, 2015.

P. Coustal, Contribution au contrôle robuste des structures flexibles, 1997.

F. Ruth, H. Curtain, and . Zwart, An introduction to infinite-dimensional linear systems theory, vol.21, 2012.

G. Duc and S. Font, Commande H ? et µ-Analyse, des Outils Pour la Robustesse, Hermes, 2000.

J. C. Doyle, K. Glover, P. P. Khargonekar, and B. A. Francis, State-space solutions to standard H 2 and H ? control problems, IEEE Transactions on Automatic control, vol.34, issue.8, pp.831-847, 1989.

M. Di-loreto, M. Dao, L. Jaulin, J. Lafay, and J. Loiseau, Applied interval computation : A new approach for timedelays systems analysis, Applications of Time Delay Systems, pp.175-197, 2007.

J. Doyle and G. Stein, Multivariable feedback design : Concepts for a classical/modern synthesis, IEEE Transactions on Automatic Control, vol.26, issue.1, pp.4-16, 1981.

J. Faugère, A new efficient algorithm for computing Gröbner bases without reduction to zero (F5), Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, vol.2, pp.75-83, 2002.

K. Forsman and J. Eriksson, Solving the ARE symbolically, Proceedings of the 32nd IEEE Conference on Decision and Control, pp.363-368, 1993.

K. Forsman and J. Eriksson, Solving the ARE symbolically, 1993.
DOI : 10.1109/cdc.1993.325129
URL : http://liu.diva-portal.org/smash/get/diva2:316333/FULLTEXT02

J. and C. , Faugère and Mohab Safey El Din. De l'algèbre linéaire à la résolution des systèmes polynomiaux, 2009.

P. Feyel, Loop-Shaping Robust Control, 2013.

P. Feyel, Optimisation des correcteurs par les métaheuristiques. Application à la stabilisation inertielle de ligne de visée, 2015.

J. Faugere, P. Gianni, D. Lazard, and T. Mora, Efficient computation of zero-dimensional Gröbner bases by change of ordering, Journal of Symbolic Computation, vol.16, issue.4, pp.329-344, 1993.

M. Fliess and C. Join, Commande sans modèle et commande à modèle restreint. e-STA Sciences et Technologies de l'Automatique, vol.5, pp.1-23, 2008.

C. Foias, H. Özbay, and A. Tannenbaum, Robust Control of Infinite Dimensional Systems, 1996.

S. Frasnedo, Optimisation globale des lois de commande de la stabilisation inertielle d'un imageur sur critère optronique : Application à un imageur à deux étages de stabilisation, 2016.

M. Fliess and H. Sira-ramírez, An algebraic framework for linear identification. ESAIM : Control, Optimisation and Calculus of Variations, vol.9, pp.151-168, 2003.

P. Gahinet and P. Apkarian, A linear matrix inequality approach to h ? control, International Journal of Robust and Nonlinear Control, vol.4, issue.4, pp.421-448, 1994.

K. Glover and J. C. Doyle, State-space formulae for all stabilizing controllers that satisfy an H ?-norm bound and relations to relations to risk sensitivity, Systems & Control Letters, vol.11, issue.3, pp.167-172, 1988.

G. T. Gilbert, Positive definite matrices and Sylvester's criterion, The American Mathematical Monthly, vol.98, issue.1, pp.44-46, 1991.

K. Glover and D. Mcfarlane, Robust stabilization of normalized coprime factors : an explicit H ? solution, American Control Conference, pp.842-847, 1988.

K. Glover and D. Mcfarlane, Robust stabilization of normalized coprime factor plant descriptions with H ?-bounded uncertainty, IEEE Transactions on Automatic Control, vol.34, issue.8, pp.821-830, 1989.

A. Girard and N. Roy, Dynamique des structures industrielles. Hermes science publ, 2003.

J. Grifone, Algèbre linéaire, 5 ème édition. Cépaduès, 2015.

H. Garnier, L. Wang, and P. C. Young, Direct identification of continuous-time models from sampled data : Issues, basic solutions and relevance, Identification of Continuous-Time Models from Sampled Data, pp.1-29, 2008.

J. M. Hilker, Inertially stabilized platform technology : concepts and principles, 2008.

S. Hirwa, Méthodes de commande avancées appliquées aux viseurs, 2013.

G. C. Holmes, The use of hyperbolic cosines in solving cubic polynomials, The Mathematical Gazette, vol.86, issue.507, pp.473-477, 2002.

S. Alston, . Householder, . Dandelin, . Lobacevskii, and . Graeffe, The American Mathematical Monthly, vol.66, pp.464-466, 1959.

A. W. Ingleton, The rank of circulant matrices, Journal of the London Mathematical Society, vol.1, issue.4, pp.445-460, 1956.

L. Jaulin, Applied Interval Analysis : With Examples in Parameter and State Estimation, Robust Control and Robotics, vol.1, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

J. Je?ek and V. Ku?era, Efficient algorithm for matrix spectral factorization, Automatica, vol.21, issue.6, pp.663-669, 1985.

R. E. and K. , Contributions to the theory of optimal control, Boletin de la Sociedad Matematica Mexicana, vol.5, issue.2, pp.102-119, 1960.

R. E. and K. , Mathematical description of linear dynamical systems, Journal of the Society for Industrial and Applied Mathematics, Series A : Control, vol.1, issue.2, pp.152-192, 1963.

R. E. and K. , When is a linear control system optimal, Journal of Basic Engineering, vol.86, issue.1, pp.51-60, 1964.

M. Kanno and S. Hara, Symbolic-numeric hybrid optimization for plant/controller integrated design in H ? loop-shaping design, Journal of Mathfor-Industry, vol.4, issue.8, pp.135-140, 2012.

H. K. Khalil, Noninear systems, vol.2, 1996.

M. Kanno, S. Hara, and M. Onishi, Characterization of easily controllable plants based on the finite frequency phase/gain property : a magic number 4 + 2 ? 2 in H ? loop shaping design, American Control Conference, pp.5816-5821, 2007.

R. King, Beyond the Quartic Equation, 1996.

M. Kanno, C. Malcolm, and . Smith, Validated numerical computation of the l ?-norm for linear dynamical systems, Journal of Symbolic Computation, vol.41, issue.6, pp.697-707, 2006.

M. Kanno, K. Yokoyama, H. Anai, and S. Hara, Solution of algebraic Riccati equations using the sum of roots, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, pp.215-222, 2009.

J. Lam, Model reduction of delay systems using Padé approximants, International Journal of Control, vol.57, issue.2, pp.377-391, 1993.

, Serge Lang. Algebra. Graduate Texts in Mathematics, vol.1, issue.211, 2002.

A. Laub, A Schur method for solving algebraic Riccati equations, IEEE Transactions on Automatic Control, vol.24, issue.6, pp.913-921, 1979.

R. Ioan-doré-landau, . Lozano, M. Mohammed, A. Saad, and . Karimi, Adaptive Control : Algorithms, Analysis and Applications, 2011.

D. Lazard and F. Rouillier, Solving parametric polynomial systems, Journal of Symbolic Computation, vol.42, issue.6, pp.636-667, 2007.
DOI : 10.1016/j.jsc.2007.01.007
URL : https://hal.archives-ouvertes.fr/inria-00070678

D. Ioan, G. Landau, and . Zito, Digital Control Systems : Design, Identification and Implementation, 2005.

F. Macaulay, Some formulae in elimination, Proceedings of the London Mathematical Society, vol.1, issue.1, pp.3-27, 1902.

S. Mammar, Commande multivariable robuste par les approches LQG/LTR et H ?. Application à un hélicoptère, vol.11, 1992.

J. Martinez, Transfer functions of generalized Bessel polynomials, IEEE Transactions on Circuits and Systems, vol.24, issue.6, pp.325-328, 1977.
DOI : 10.1109/tcs.1977.1084347
URL : http://arxiv.org/pdf/1402.7092

D. Mcfarlane and K. Glover, A loop-shaping design procedure using H ? synthesis, IEEE Transactions on Automatic Control, vol.37, issue.6, pp.759-769, 1992.

M. Mignotte, Mathématiques pour le Calcul Formel, 1989.

G. Moroz, Sur la décomposition réelle et algébrique des systemes dépendant de parametres, 2008.

M. Ludwig-muhler, Robust Control System Design by Mapping Specifications into Parameter Spaces, 2007.

C. Mutafian, Equations Algébriques et Théorie de Galois. Librairie Vuibert, 1980.

S. Neumark, Solution of Cubic and Quartic Equations, 2014.

W. D. Richard and . Nickalls, The quartic equation : invariants and euler's solution revealed, The Mathematical Gazette, vol.93, issue.526, pp.66-75, 2009.

J. Nougier, Méthodes de calcul numérique, vol.3, 1985.

H. Padé, Sur la Représentation Approchée d'une Fonction par des Fractions Rationnelles. Number 740. Gauthier-Villars et fils, p.1892

J. R. Partington and K. Glover, Robust Stabilization of Delay Systems by Approximation of Coprime Factors, Systems & Control Letters, vol.14, issue.4, pp.325-331, 1990.

J. Pommaret and A. Quadrat, A differential operator approach to multidimensional optimal control, International Journal of Control, vol.77, issue.9, pp.821-836, 2004.
DOI : 10.1080/00207170410001726813
URL : http://www-sop.inria.fr/cafe/Alban.Quadrat/Publications/IJC.pdf

A. Quadrat and A. Quadrat, Etude de l'effet du retard dans une boucle de poursuite d'un viseur gyrostabilisé, Proceedings of CIFA2012. Grenoble, pp.4-6, 2012.

T. Raharijaoana, Commande robuste pour l'assistance au contrôle latéral d'un véhicule routier, 2004.

G. Rance, Y. Bouzidi, A. Quadrat, A. Quadrat, and F. Rouillier, Explicit H ? controllers for 4 th order single-input single-ouput systems with parameters and their application to the two mass-spring system with damping, Proceedings of the 20 th International Federation on Automatic Control World Congress, pp.727-732, 2017.

G. Rance, Y. Bouzidi, A. Quadrat, and A. Quadrat, A symbolic-numeric method for the parametric H ? loop-shaping design problem, Proceedings of the 22 nd International Symposium on Mathematical Theory of Networks and Systems, pp.574-581, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01415294

G. Rance, Y. Bouzidi, A. Quadrat, and A. Quadrat, Explicit H ? controllers for 1 st to 3 rd order single-input single-ouput systems with parameters, Proceedings of the 20 th International Federation on Automatic Control World Congress, pp.721-726, 2017.
DOI : 10.1016/j.ifacol.2017.08.128

G. Rance, Y. Bouzidi, A. Quadrat, and A. Quadrat, Parametric sub-optimal H ? controllers for an optro-mechanical system modeled by a time-delay 4 th order system, Proceedings of the 8 th International Symposium on Optronics in Defence and Security, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01667341

J. Renegar, On the worst-case arithmetic complexity of approximating zeros of systems of polynomials, SIAM Journal on Computing, vol.18, issue.2, pp.350-370, 1989.

J. J. Rotman, An Introduction to Homological Algebra : second edition, 2009.

F. Rouillier, Solving zero-dimensional systems through the rational univariate representation, vol.9, pp.433-461, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00098872

F. Rouillier, Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux, 2007.

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial's real roots, Journal of Computational and Applied Mathematics, vol.162, issue.1, pp.33-50, 2004.

W. Carsten and . Scherer, Lpv control and full block multipliers, Automatica, vol.37, issue.3, pp.361-375, 2001.

S. L. Shmakov, A universal method of solving quartic equations, International Journal of Pure and Applied Mathematics, vol.71, issue.2, pp.251-259, 2011.

C. Scherer and S. Weiland, Linear Matrix Inequalities in Control, volume 3. Lecture Notes, Dutch Institute for Systems and Control, 2000.

J. Tignol, Galois' Theory of Algebraic Equations, 2015.

K. Jean-paul, T. Vangu, and Y. T. Boboy, Traitement numérique des équations de Sylvester et de Lyapunov. LAREQ Pulication, vol.18, pp.189-199, 2014.

B. Van-der-waerden, E. Artin, and E. Noether, Moderne Algebra, vol.31950, 1950.

M. Vidyasagar, Control System Synthesis : A Factorization Approach, 1985.

G. Vinnicombe, Uncertainty and Feedback : H ? Loop-Shaping and the ?-gap Metric, 2000.

M. Vidyasagar, H. Schneider, and B. Francis, Algebraic and topological aspects of feedback stabilization, IEEE transactions on Automatic Control, vol.27, issue.4, pp.880-894, 1982.

B. Wie and D. S. Bernstein, Benchmark problems for robust control design, 1992.

G. Zames, Feedback and optimal sensitivity : Model reference transformations, multiplicative seminorms, and approximate inverses, IEEE Transactions on automatic control, vol.26, issue.2, pp.301-320, 1981.

K. Zhou, J. C. Doyle, and K. Glover, Robust and Optimal Control, 1996.

G. Zames and B. Francis, Feedback, minimax sensitivity, and optimal robustness, IEEE Transactions on Automatic Control, vol.28, issue.5, pp.585-601, 1983.

D. Zwillinger, CRC Standard Mathematical Tables and Formulae, 2002.