Skip to main content

Reliable and Robust Automated Synthesis of QFT Controller for Nonlinear Magnetic Levitation System Using Interval Constraint Satisfaction Techniques

  • Chapter
Constraint Programming and Decision Making

Part of the book series: Studies in Computational Intelligence ((SCI,volume 539))

Abstract

Robust controller synthesis is of great practical interest and its automation is a key concern in control system design. Automatic controller synthesis is still a open problem. In this paper a new, efficient method has been proposed for automated synthesis of a fixed structure quantitative feedback theory (QFT) controller by solving QFT quadratic inequalities of robust stability and performance specifications. The controller synthesis problem is posed as interval constraint satisfying problem (ICSP) and solved with interval constraint solver (realpaver) [1]. The method is guaranteed to find all feasible controllers of given structure in the search domain. The controller designed using proposed method is experimentally tested on ECP’s Magnetic Levitation system [2] which has open loop stable and unstable configurations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Granvilliers, L., Benhamou, F.: RealPaver: An Interval Solver using Constraint Satisfaction Techniques. ACM Transaction on Mathematical Software 32, 138–156 (2006)

    Article  MathSciNet  Google Scholar 

  2. Manual for Model 730, Magnetic Levitation System. Educational Control Products, California, USA (1999)

    Google Scholar 

  3. Horowitz, I.M.: Quantitative feedback design theory (QFT). QFT Publications, Boulder (1993)

    Google Scholar 

  4. Bryant, G.F., Halikias, G.D.: Optimal loop-shaping for systems with large parameter uncertainty via linear programming. Int. J. Control 62(3), 557–568 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  5. Chait, Y., Chen, Q., Hollot, C.V.: Automatic loop-shaping of QFT controllers via linear programming. Trans. of the ASME Journal of Dynamic Systems, Measurement and Control 121, 351–357 (1999)

    Article  Google Scholar 

  6. Gera, A., Horowitz, I.M.: Optimization of the loop transfer function. Int. J. Control 31, 389–398 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  7. Chait, Y., Yaniv, O.: MISO computer aided control design using QFT. International Journal of Robust and Nonlinear Control (1998)

    Google Scholar 

  8. Chen, W., Ballance, D.J., Li, Y.: Automatic loop-shaping in qft using genetic algorithms. In: Proceedings of 3rd Asia-Pacific Conference on Control and Measurement, pp. 63–67 (1998)

    Google Scholar 

  9. Garcia-Sanz, M., Guillen, J.C.: Automatic loop-shaping of QFT robust controllers via genetic algorithms. In: Proceedings of the 3rd IFAC Symposium on Robust Control Design, Kidlington, U.K. (2000)

    Google Scholar 

  10. Paluri, N.S.V., Tharewal, S.: An interval analysis algorithm for automated controller synthesis in QFT designs. Trans. of the ASME Journal of Dynamic Systems, Measurement and Control 129, 311–321 (2007)

    Article  Google Scholar 

  11. Thomspon, D.F., Nwokah, O.D.I.: Analytical loop shaping methods in quantitative feedback theory. Trans. of the ASME Journal of Dynamic Systems, Measurement and Control 116, 169–177 (1994)

    Article  Google Scholar 

  12. Chait, Y., Tsypkin, Y.: SISO QFT design with Non-parametric Uncertainties. Presentation at the 1993 American Control Conference. University of Massachusetts, USA, pp. 1694–1695 (1993)

    Google Scholar 

  13. Chait, Y., Yaniv, O.: Multi-input/single-output computer-aided control design using quantitative feedback theory. International Journal of Robust and Nonlinear Control 3(1), 47–54 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  14. Benhamou, F., Goualard, F., Granvilliers, L.: Revising hull and box consistency. In: Proc. of 16th International Conference on Logic Programming, pp. 230–244 (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to P. S. V. Nataraj .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Nataraj, P.S.V., Patil, M.D. (2014). Reliable and Robust Automated Synthesis of QFT Controller for Nonlinear Magnetic Levitation System Using Interval Constraint Satisfaction Techniques. In: Ceberio, M., Kreinovich, V. (eds) Constraint Programming and Decision Making. Studies in Computational Intelligence, vol 539. Springer, Cham. https://doi.org/10.1007/978-3-319-04280-0_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-04280-0_15

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-04279-4

  • Online ISBN: 978-3-319-04280-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics