caa a22 4500 463202953 CHVBK 20180405153117.0 cr unu---uuuuu 170326e20071201xx s 000 0 eng 10.1007/s00200-007-0056-7 doi (NATIONALLICENCE)springer-10.1007/s00200-007-0056-7 Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination [Elektronische Daten] A MATLAB toolbox for parametric control system design [Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara, Hirokazu Anai] We present a new method with a software tool for parametric robust control synthesis by symbolic-numeric computation. The method is a parameter space approach and it is especially effective for analysis and design of fixed-structure controllers of rational type, which encompass PI and PID controllers. The real quantifier elimination (QE), which is one of the recent progresses in the symbolic computation, plays a key role in our development. The QE-based approach can uniformly deal with a lot of important design specifications for robust control such as frequency restricted H ∞ norm constraints, stability (gain/phase) margin and stability radius specifications, and pole location requirement by reducing such specifications to a particular type of formulae called a "sign definite condition (SDC)”. This is also useful for improving the efficiency of QE computations since we can utilize an efficient QE algorithm specialized to the SDC using the Sturm-Habicht sequence. We have developed a MATLAB toolbox for robust parametric control based on a parameter space approach accomplished by QE. The QE-based parameter space approach and numerical simulation of performances for specific controller parameter values taken from a controller parameter space are integrated conveniently in our toolbox with the assistance of a graphical user interface (GUI). With our toolbox the feasible regions of controller parameters are visualized in a parameter space for the controllers with three or two parameters. This enables control engineers to achieve multi-objective robust controller synthesis smoothly. We also discuss how to merge the numerical computation and the symbolic operation to make our new design methods more efficient in practical control design. Springer-Verlag, 2007 Robust control nationallicence Fixed-structure controller synthesis nationallicence Symbolic-numeric computation nationallicence Quantifier elimination nationallicence CACSD (Computer Aided Control System Design) tool nationallicence Hyodo Noriko AlphaOmega Incorporation, Marunaka-building 4F, 3-8-13, Kudan-minami, Chiyoda-ku, Tokyo, Japan aut Hong Myunghoon Fujitsu software technologies, 4-1-1 Kamikodanaka, Nakahara-ku, 211-8588, Kawasaki, Japan aut Yanami Hitoshi Fujitsu laboratories ltd, 4-1-1 Kamikodanaka, Nakahara-ku, 211-8588, Kawasaki, Japan aut Hara Shinji The University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, 113-0033, Tokyo, Japan aut Anai Hirokazu Fujitsu laboratories ltd, 4-1-1 Kamikodanaka, Nakahara-ku, 211-8588, Kawasaki, Japan aut Applicable Algebra in Engineering, Communication and Computing Springer-Verlag 18/6(2007-12-01), 497-512 0938-1279 18:6<497 2007 18 200 https://doi.org/10.1007/s00200-007-0056-7 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s00200-007-0056-7 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Hyodo Noriko AlphaOmega Incorporation, Marunaka-building 4F, 3-8-13, Kudan-minami, Chiyoda-ku, Tokyo, Japan aut NATIONALLICENCE 700 1- Hong Myunghoon Fujitsu software technologies, 4-1-1 Kamikodanaka, Nakahara-ku, 211-8588, Kawasaki, Japan aut NATIONALLICENCE 700 1- Yanami Hitoshi Fujitsu laboratories ltd, 4-1-1 Kamikodanaka, Nakahara-ku, 211-8588, Kawasaki, Japan aut NATIONALLICENCE 700 1- Hara Shinji The University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, 113-0033, Tokyo, Japan aut NATIONALLICENCE 700 1- Anai Hirokazu Fujitsu laboratories ltd, 4-1-1 Kamikodanaka, Nakahara-ku, 211-8588, Kawasaki, Japan aut NATIONALLICENCE 773 0- Applicable Algebra in Engineering, Communication and Computing Springer-Verlag 18/6(2007-12-01), 497-512 0938-1279 18:6<497 2007 18 200 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer