The Maple package SyNRAC and its application to robust control design

被引：18
|
作者：
Yanami, Hitoshi
Anai, Hirokazu
机构：
[1] Fujitsu Labs Ltd, Informat Technol Core Labs, Nakahara Ku, Kawasaki, Kanagawa 2118588, Japan
[2] Japan Sci & Technol, CREST, Kawaguchi 3320012, Japan
来源：
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING-THEORY METHODS AND APPLICATIONS | 2007年 / 23卷 / 05期
基金：
日本科学技术振兴机构;
关键词：
robust control; design; symbolic computation; quantifier elimination; SyNRAC;
D O I：
10.1016/j.future.2006.10.009
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We have been developing a toolbox on Maple, called SyNRAC, for solving real algebraic constraints derived from various engineering problems. Its main tools are real quantifier elimination and the simplification of quantifier-free formulas. We illustrate algorithms implemented in SyNRAC, give some examples of how its commands are used, and present its application to design problems in systems and control theory. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码：721 / 726
页数：6
相关论文
共 50 条
  • [41] The programmed MOCODISS package and its application to design of rod systems on the elastic base
    S. V. Arkhipov
    Automation and Remote Control, 2011, 72 : 1380 - 1388
  • [42] IC package and bonding wire modeling software and its application to RFIC design
    Goto, K
    Dec, A
    Horio, Y
    Suyama, K
    Akima, H
    2002 IEEE MTT-S INTERNATIONAL MICROWAVE SYMPOSIUM DIGEST, VOLS 1-3, 2002, : 2109 - 2112
  • [43] The Programmed MOCODISS Package and Its Application to Design of Rod Systems on the Elastic Base
    Arkhipov, S. V.
    AUTOMATION AND REMOTE CONTROL, 2011, 72 (07) : 1380 - 1388
  • [44] Robust Iterative Learning Control Design: Application to a Robot Manipulator
    Tayebi, A.
    Abdul, S.
    Zaremba, M. B.
    Ye, Y.
    IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2008, 13 (05) : 608 - 613
  • [45] Application of robust control to the design of jet engine digital controller
    Wang, X., 2005, BUAA Press (20):
  • [46] Integrated design and control for robust performance:: Application to an MSMPR crystallizer
    Grosch, R.
    Moennigmann, M.
    Marquardt, W.
    JOURNAL OF PROCESS CONTROL, 2008, 18 (02) : 173 - 188
  • [47] Robust control design with application to a seeker scan loop system
    Lee, HP
    JSME INTERNATIONAL JOURNAL SERIES C-MECHANICAL SYSTEMS MACHINE ELEMENTS AND MANUFACTURING, 1997, 40 (03): : 462 - 468
  • [48] An Application of Robust Control Techniques to Control Law Design of Unmanned Air Vehicle
    Dai Hansu
    Zhu Jihong
    PROCEEDINGS OF THE 29TH CHINESE CONTROL CONFERENCE, 2010, : 1865 - 1869
  • [49] Robust Heading Control and its Application to Ciscrea Underwater Vehicle
    Yang, R.
    Clement, B.
    Mansour, A.
    Li, H. J.
    Li, M.
    OCEANS 2015 - GENOVA, 2015,
  • [50] Novel robust control structure for cascade system and its application
    Liu, Hongbo
    Chai, Tianyou
    Zhang, Jingtao
    Cao, Fang
    Li, Jian
    Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2000, 21 (04): : 384 - 387
12345