Abstract
In this paper, we show how stabilizing controllers for 2D systems can effectively be computed based on computer algebra methods dedicated to polynomial systems, module theory and homological algebra. The complete chain of algorithms for the computation of stabilizing controllers, implemented in Maple, is illustrated with an explicit example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-33099-2
Bouzidi, Y., Quadrat, A., Rouillier, F.: Computer algebra methods for testing the structural stability of multidimensional systems. In: Proceedings of the IEEE 9th International Workshop on Multidimensional (nD) Systems (2015)
Bouzidi, Y., Rouillier, F.: Certified Algorithms for proving the structural stability of two-dimensional systems possibly with parameters. In: Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS 2016) (2016)
Bouzidi, Y., Quadrat, A., Rouillier, F.: Certified non-conservative tests for the structural stability of discrete multidimensional systems. Multidimens. Syst. Sig. Process. 30(3), 1205–1235 (2019)
Bouzidi, Y., Cluzeau, T., Moroz, G., Quadrat, A.: Computing effectively stabilizing controllers for a class of \(n\)D systems. In: Proceedings of IFAC 2017 Workshop Congress (2017)
Bouzidi, Y., Cluzeau, T., Quadrat, A.: On the computation of stabilizing controllers of multidimensional systems. In: Proceedings of Joint IFAC Conference 7th SSSC 2019 and 15th TDS 2019 (2019)
Bridges, D., Mines, R., Richman, F., Schuster, P.: The polydisk Nullstellensatz. Proc. Am. Math. Soc. 132(7), 2133–2140 (2004)
Chyzak, F., Quadrat, A., Robertz, D.: Effective algorithms for parametrizing linear control systems over Ore algebras. Appl. Algebra Engrg. Comm. Comput. 16, 319–376 (2005)
Chyzak, F., Quadrat, A., Robertz, D.: OreModules: a symbolic package for the study of multidimensional linear systems. In: Chiasson, J., Loiseau, J.J. (eds.) Applications of Time Delay Systems. LNCIS, vol. 352, pp. 233–264. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-49556-7_15
Curtain, R.F., Zwart, H.J.: An Introduction to Infinite-Dimensional Linear Systems Theory. TAM, vol. 21. Springer, New York (1995). https://doi.org/10.1007/978-1-4612-4224-6
Decarlo, R.A., Murray, J., Saeks, R.: Multivariable Nyquist theory. Int. J. Control 25(5), 657–675 (1977)
Desoer, C.A., Liu, R.W., Murray, J., Saeks, R.: Feedback system design: the fractional representation approach to analysis and synthesis. IEEE Trans. Automat. Control 25, 399–412 (1980)
Eisenbud, D.: Commutative Algebra: with a View Toward Algebraic Geometry. GTM, vol. 150. Springer, New York (1995). https://doi.org/10.1007/978-1-4612-5350-1
Li, X., Saito, O., Abe, K.: Output feedback stabilizability and stabilization algorithms for 2D systems. Multidimension. Syst. Sig. Process. 5, 41–60 (1994)
Li, L., Lin, Z.: Stability and stabilisation of linear multidimensional discrete systems in the frequency domain. Int. J. Control 86(11), 1969–1989 (2013)
Lin, Z.: Output feedback stabilizability and stabilization of linear \(n\)D systems. In: Galkowski, K., Wood, J. (eds.) Multidimensional Signals, Circuits and Systems, pp. 59–76. Taylor & Francis
Lin, Z., Lam, J., Galkowski, K., Xu, S.: A constructive approach to stabilizability and stabilization of a class of \(nD\) systems. Multidimension. Syst. Sig. Process. 12, 329–343 (2001)
Lin, Z.: Feedback stabilizability of MIMO \(n\)D linear systems. Multidimension. Syst. Sig. Process. 9, 149–172 (1998)
Lin, Z.: Feedback stabilization of MIMO \(n\)D linear systems. IEEE Trans. Autom. Control 45, 2419–2424 (2000)
Quadrat, A.: The fractional representation approach to synthesis problems: an algebraic analysis viewpoint. Part I: (weakly) doubly coprime factorizations. SIAM J. Control Optim. 42, 266–299 (2003)
Quadrat, A.: The fractional representation approach to synthesis problems: an algebraic analysis viewpoint. Part II: internal stabilization. SIAM J. Control. Optim. 42, 300–320 (2003)
Quadrat, A.: An introduction to constructive algebraic analysis and its applications. Les cours du CIRM 1(2), 281–471 (2010). Journées Nationales de Calcul Formel. INRIA Research Report n. 7354
Rotman, J.J.: An Introduction to Homological Algebra, 2nd edn. Springer, New York (2009). https://doi.org/10.1007/b98977
Rouillier, F.: Solving zero-dimensional systems through the rational univariate representation. Appl. Algebra Eng. Commun. Comput. 9, 433–461 (1999)
Rouillier, F.: Algorithmes pour l’étude des solutions réelles des systèmes polynomiaux. Habilitation, University of Paris 6 (2007)
Strintzis, M.: Tests of stability of multidimensional filters. IEEE Trans. Circ. Syst, 24, 432–437 (1977)
Vidyasagar, M.: Control System Synthesis: A Factorization Approach. MIT Press, Cambridge (1985)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Bouzidi, Y., Cluzeau, T., Quadrat, A., Rouillier, F. (2020). On the Effective Computation of Stabilizing Controllers of 2D Systems. In: Gerhard, J., Kotsireas, I. (eds) Maple in Mathematics Education and Research. MC 2019. Communications in Computer and Information Science, vol 1125. Springer, Cham. https://doi.org/10.1007/978-3-030-41258-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-41258-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-41257-9
Online ISBN: 978-3-030-41258-6
eBook Packages: Computer ScienceComputer Science (R0)