article

The Maple package SyNRAC and its application to robust control design

Authors:

Hitoshi Yanami,

Hirokazu AnaiAuthors Info & Claims

Future Generation Computer Systems, Volume 23, Issue 5

Pages 721 - 726

https://doi.org/10.1016/j.future.2006.10.009

Published: 01 June 2007 Publication History

Abstract

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.

References

[1]

Benner, P., Kressner, D. and Mehrmann, V., Structure preservation: A challenge in computational control. Future Generation Computer Systems. v19. 1243-1252.

Digital Library

[2]

Datta, B.N., Krylov subspace methods for large-scale matrix problems in control. Future Generation Computer Systems. v19. 1253-1263.

Digital Library

[3]

Röbenack, K., Automatic differentiation and nonlinear controller design by exact linearization. Future Generation Computer Systems. v21. 1372-1379.

Digital Library

[4]

Grimble, M.J., Robust Industrial Control Systems: Optimal Design Approach for Polynomial Systems. John Wiley and Sons.

Digital Library

[5]

Iglesias, A. and Gálvez, A., Revisiting some control schemes for chaotic synchronization with Mathematica. In: Lectures Notes in Computer Science, vol. 3482. pp. 472-481.

Digital Library

[6]

A. Gálvez, A. Iglesias, Symbolic/numeric analysis of chaotic synchronization with a CAS, Future Generation Computer Systems, this volume (

[7]

H. Anai, S. Hara, Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination, in: Proceedings of American Control Conference 2000, 2000, pp. 1312-1316

[8]

H. Anai, S. Hara, A parameter space approach for fixed-order robust controller synthesis by symbolic computation, in: Proceedings of IFAC World Congress on Automatic Control b'02, 2002

[9]

Loos, R. and Weispfenning, V., Applying linear quantifier elimination. The Computer Journal. v36. 450-462.

[10]

Dolzmann, A. and Sturm, T., Simplification of quantifier-free formulae over ordered fields. Journal of Symbolic Computation. v24. 209-231.

Digital Library

[11]

C. Abdallah, P. Dorato, W. Yang, R. Liska, S. Steinberg, Application of quantifier elimination theory to control system design, in: Proceedings of 4th IEEE Mediteranean Symposium on Control and Automation, Maleme, Crete, 1996, pp. 340-345

[12]

Dorato, P., Yang, W. and Abdallah, C., Robust multi-objective feedback design by quantifier elimination. Journal of Symbolic Computation. v24. 153-159.

Digital Library

[13]

M. Jirstrand, Constructive methods for inequality constraints in control, Ph.D. Thesis, Linköping University, Sweden, 1998

[14]

H. Anai, On solving semidefinite programming by quantifier elimination, in: Proc. of American Control Conference, Philadelphia, 1998, pp. 2814-2818

[15]

S. Hara, T. Kimura, R. Kondo, H∞ control system design by a parameter space approach, in: Proceedings of MTNS-91, Kobe, Japan, 1991, pp. 287-292

[16]

T. Kimura, S. Hara, A robust control system design by a parameter space approach based on sign definition condition, in: Proceedings of KACC-91, Soul, Korea, 1991, pp. 1533-1538

[17]

Kondo, R., Hara, S. and Kaneko, T., Parameter space design for H∞ control. Transactions of the Society of Instrument and Control Engineers. v27. 714-716.

[18]

S¿iljak, D.D., New algebraic criterion for positive realness. Journal of the Franklin Institute. v291. 109-120.

[19]

Alur, R., Coucoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicolin, X., Olivere, A., Safakis, J. and Yovine, S., The algorithmic analysis of hybrid systems. Theoretical Computer Science. v138. 3-34.

Digital Library

[20]

René, D. and Alla, H., On hybrid Petri nets. Discrete Event Dynamic Systems: Theory and Applications. v11. 9-40.

Digital Library

[21]

Yanami, H. and Anai, H., Development of SyNRAC - formula description and new functions. In: LNCS, vol. 3039. Springer. pp. 286-294.

Digital Library

Cited By

Gerwien MVoßwinkel RRichter H(2021)Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier EliminationSN Computer Science10.1007/s42979-021-00447-52:2Online publication date: 29-Jan-2021
https://dl.acm.org/doi/10.1007/s42979-021-00447-5
Yang ZLin WWu M(2015)Exact Safety Verification of Hybrid Systems Based on Bilinear SOS RepresentationACM Transactions on Embedded Computing Systems10.1145/262942414:1(1-19)Online publication date: 21-Jan-2015
https://dl.acm.org/doi/10.1145/2629424
Anai HNagasaka KWinkler FSzanto A(2014)Effective quantifier elimination for industrial applicationsProceedings of the 39th International Symposium on Symbolic and Algebraic Computation10.1145/2608628.2627494(18-19)Online publication date: 23-Jul-2014
https://dl.acm.org/doi/10.1145/2608628.2627494
Show More Cited By

Index Terms

The Maple package SyNRAC and its application to robust control design
1. Applied computing
  1. Physical sciences and engineering
    1. Mathematics and statistics
2. Computing methodologies
  1. Artificial intelligence
    1. Control methods
      1. Computational control theory
  2. Symbolic and algebraic manipulation
    1. Computer algebra systems
    2. Symbolic and algebraic algorithms

Recommendations

On the Reversion of an Asymptotic Expansion and the Zeros of the Airy Functions

The general theories of the derivation of inverses of functions from their power series and asymptotic expansions are discussed and compared. The asymptotic theory is applied to obtain asymptotic expansions of the zeros of the Airy functions and their ...
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem

This paper presents an algebraic approach to polynomial spectral factorization, an important mathematical tool in signal processing and control. The approach exploits an intriguing relationship between the theory of Grobner bases and polynomial spectral ...
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems

This paper presents a decision procedure for problems relating polynomial and transcendental functions. The procedure applies to functions that are continuously differentiable with a finite number of points of inflection in a closed convex set. It ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Future Generation Computer Systems

Future Generation Computer Systems Volume 23, Issue 5

June, 2007

65 pages

ISSN:0167-739X

Issue’s Table of Contents

Copyright © Elsevier Ltd © 2006.

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 June 2007

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gerwien MVoßwinkel RRichter H(2021)Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier EliminationSN Computer Science10.1007/s42979-021-00447-52:2Online publication date: 29-Jan-2021
https://dl.acm.org/doi/10.1007/s42979-021-00447-5
Yang ZLin WWu M(2015)Exact Safety Verification of Hybrid Systems Based on Bilinear SOS RepresentationACM Transactions on Embedded Computing Systems10.1145/262942414:1(1-19)Online publication date: 21-Jan-2015
https://dl.acm.org/doi/10.1145/2629424
Anai HNagasaka KWinkler FSzanto A(2014)Effective quantifier elimination for industrial applicationsProceedings of the 39th International Symposium on Symbolic and Algebraic Computation10.1145/2608628.2627494(18-19)Online publication date: 23-Jul-2014
https://dl.acm.org/doi/10.1145/2608628.2627494
Iwane HKira AAnai H(2011)Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decompositionProceedings of the 13th international conference on Computer algebra in scientific computing10.5555/2040148.2040167(239-250)Online publication date: 5-Sep-2011
https://dl.acm.org/doi/10.5555/2040148.2040167
Iwane HYanami HAnai HYokoyama KSasaki TShirayanagi KKotsireas I(2009)An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier eliminationProceedings of the 2009 conference on Symbolic numeric computation10.1145/1577190.1577203(55-64)Online publication date: 3-Aug-2009
https://dl.acm.org/doi/10.1145/1577190.1577203
Gálvez AIglesias A(2007)Symbolic/numeric analysis of chaotic synchronization with a CASFuture Generation Computer Systems10.1016/j.future.2006.10.01023:5(727-733)Online publication date: 1-Jun-2007
https://dl.acm.org/doi/10.1016/j.future.2006.10.010

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents