{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T22:41:11Z","timestamp":1778625671722,"version":"3.51.4"},"reference-count":52,"publisher":"Walter de Gruyter GmbH","issue":"6","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["RO 2427\/5-1"],"award-info":[{"award-number":["RO 2427\/5-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,6,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>It is very difficult to check the observability of nonlinear systems. Even for local observability, the observability rank condition provides only a sufficient condition. Much more difficult is the verification of global observability. This paper deals with the local and global observability analysis of polynomial systems based on algebraic geometry. In particular, we derive a decidable criterion for the verification of global observability of polynomial systems. Our framework can also be employed for local observability analysis.<\/jats:p>","DOI":"10.1515\/auto-2020-0027","type":"journal-article","created":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T08:48:30Z","timestamp":1591087710000},"page":"395-409","source":"Crossref","is-referenced-by-count":17,"title":["On global and local observability of nonlinear polynomial systems: a decidable criterion"],"prefix":"10.1515","volume":"68","author":[{"given":"Daniel","family":"Gerbet","sequence":"first","affiliation":[{"name":"Institute of Control Theory , TU Dresden , Dresden , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"R\u00f6benack","sequence":"additional","affiliation":[{"name":"Institute of Control Theory , TU Dresden , Dresden , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2020,6,2]]},"reference":[{"key":"2023033110051069668_j_auto-2020-0027_ref_001_w2aab3b7d191b1b6b1ab2b2b1Aa","unstructured":"V.\u2009I. Arnold. Ordinary Differential Equations. Springer, 1992."},{"key":"2023033110051069668_j_auto-2020-0027_ref_002_w2aab3b7d191b1b6b1ab2b2b2Aa","doi-asserted-by":"crossref","unstructured":"J. Back and J.\u2009H. Seo. Immersion technique for nonlinear observer design. In Proc. American Control Conf. (ACC), pages 2645\u20132646, May 2002.","DOI":"10.1109\/ACC.2002.1025185"},{"key":"2023033110051069668_j_auto-2020-0027_ref_003_w2aab3b7d191b1b6b1ab2b2b3Aa","doi-asserted-by":"crossref","unstructured":"Z. Bartosiewicz. Local observability of nonlinear systems. Systems & Control Letters, 25(4):295\u2013298, 1995.","DOI":"10.1016\/0167-6911(94)00074-6"},{"key":"2023033110051069668_j_auto-2020-0027_ref_004_w2aab3b7d191b1b6b1ab2b2b4Aa","doi-asserted-by":"crossref","unstructured":"Z. Bartosiewicz. Algebraic criteria of global observability of polynomial systems. Automatica, 69:210\u2013213, 2016.","DOI":"10.1016\/j.automatica.2016.02.033"},{"key":"2023033110051069668_j_auto-2020-0027_ref_005_w2aab3b7d191b1b6b1ab2b2b5Aa","unstructured":"T. Becker and V. Weispfenning. Gr\u00f6bner Bases. Springer-Verlag, New York, 2nd edition, 1998."},{"key":"2023033110051069668_j_auto-2020-0027_ref_006_w2aab3b7d191b1b6b1ab2b2b6Aa","doi-asserted-by":"crossref","unstructured":"S.\u2009P. Bingulac and R.\u2009V. Krtolica. On admissibility of pseudoobservability and pseudocontrollability indexes. IEEE Trans. on Automatic Control, 32(10):920\u2013922, Oct. 1987.","DOI":"10.1109\/TAC.1987.1104461"},{"key":"2023033110051069668_j_auto-2020-0027_ref_007_w2aab3b7d191b1b6b1ab2b2b7Aa","doi-asserted-by":"crossref","unstructured":"J. Bochnak, M. Coste and M. Roy. Real Algebraic Geometry. Springer-Verlag, Berlin, 1998.","DOI":"10.1007\/978-3-662-03718-8"},{"key":"2023033110051069668_j_auto-2020-0027_ref_008_w2aab3b7d191b1b6b1ab2b2b8Aa","unstructured":"V.\u2009N. Brandin, Y.\u2009M.\u2009L. Kostyukovskii and G.\u2009N. Razorenov. Global observability conditions for nonlinear dynamic systems. Automation and Remote Control, 36:1585\u20131591, 1976."},{"key":"2023033110051069668_j_auto-2020-0027_ref_009_w2aab3b7d191b1b6b1ab2b2b9Aa","doi-asserted-by":"crossref","unstructured":"K.\u2009E. Brenan, S.\u2009L. Campbell and L.\u2009R. Petzold. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. SIAM, Philadelphia, 2nd edition, 1996.","DOI":"10.1137\/1.9781611971224"},{"key":"2023033110051069668_j_auto-2020-0027_ref_010_w2aab3b7d191b1b6b1ab2b2c10Aa","doi-asserted-by":"crossref","unstructured":"C.\u2009W. Brown and C. Gross. Efficient preprocessing methods for quantifier elimination. In CASC, volume 4194 of Lecture Notes in Computer Science, pages 89\u2013100. Springer, 2006.","DOI":"10.1007\/11870814_7"},{"key":"2023033110051069668_j_auto-2020-0027_ref_011_w2aab3b7d191b1b6b1ab2b2c11Aa","unstructured":"D.\u2009A. Cox, J. Little and D. O\u2019Shea. Ideals, Varieties, and Algorithms. Springer International Publishing, Switzerland, 4th edition, 2015."},{"key":"2023033110051069668_j_auto-2020-0027_ref_012_w2aab3b7d191b1b6b1ab2b2c12Aa","unstructured":"M.\u2009S.\u2009E. Din, Z. Yang and L. Zhi. On the complexity of computing real radicals of polynomial systems. In Proc. of the 2018 ACM Int. Symp. on Symbolic and Algebraic Computation (ISSAC\u201918), pages 351\u2013358, July 2018."},{"key":"2023033110051069668_j_auto-2020-0027_ref_013_w2aab3b7d191b1b6b1ab2b2c13Aa","doi-asserted-by":"crossref","unstructured":"P.\u2009M. Frank. Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy \u2014 a survey and some new results. Automatica, 26(3):459\u2013474, 1990.","DOI":"10.1016\/0005-1098(90)90018-D"},{"key":"2023033110051069668_j_auto-2020-0027_ref_014_w2aab3b7d191b1b6b1ab2b2c14Aa","doi-asserted-by":"crossref","unstructured":"J.\u2009P. Gauthier and G. Bornard. Observability for any u(t)u(t) of a class of nonlinear systems. IEEE Trans. on Automatic Control, 26(4):922\u2013926, 1981.","DOI":"10.1109\/TAC.1981.1102743"},{"key":"2023033110051069668_j_auto-2020-0027_ref_015_w2aab3b7d191b1b6b1ab2b2c15Aa","unstructured":"J.\u2009P. Gauthier, H. Hammouri and I. Kupka. Observers for nonlinear systems. In Proc. IEEE Conf. on Decision and Control (CDC), pages 1483\u20131489, Brighton, England, Dec. 1991."},{"key":"2023033110051069668_j_auto-2020-0027_ref_016_w2aab3b7d191b1b6b1ab2b2c16Aa","doi-asserted-by":"crossref","unstructured":"C.\u2009W. Gear. Differential-algebraic equation index transformations. SIAM J. Sci. Stat. Comput., 9(1):39\u201347, 1988.","DOI":"10.1137\/0909004"},{"key":"2023033110051069668_j_auto-2020-0027_ref_017_w2aab3b7d191b1b6b1ab2b2c17Aa","doi-asserted-by":"crossref","unstructured":"E.\u2009G. Gilbert. Controllability and observability in multivariable control systems. Journal of the Society for Industrial and Applied Mathematics, Series A: Control, 1(2):128\u2013151, 1963.","DOI":"10.1137\/0301009"},{"key":"2023033110051069668_j_auto-2020-0027_ref_018_w2aab3b7d191b1b6b1ab2b2c18Aa","unstructured":"W. Gr\u00f6bner. Die Lie-Reihen und ihre Anwendung. Deutscher Verlag der Wissenschaften, Berlin, 1967."},{"key":"2023033110051069668_j_auto-2020-0027_ref_019_w2aab3b7d191b1b6b1ab2b2c19Aa","doi-asserted-by":"crossref","unstructured":"M.\u2009L.\u2009J. Hautus. Controllability and observability conditions for linear autonomous systems. Ned. Akad. Wetenschappen, Proc. Ser. A, 72:443\u2013448, 1969.","DOI":"10.1016\/S1385-7258(70)80049-X"},{"key":"2023033110051069668_j_auto-2020-0027_ref_020_w2aab3b7d191b1b6b1ab2b2c20Aa","doi-asserted-by":"crossref","unstructured":"R. Hermann and A.\u2009J. Krener. Nonlinear controllability and observability. IEEE Trans. on Automatic Control, 22(5):728\u2013740, 1977.","DOI":"10.1109\/TAC.1977.1101601"},{"key":"2023033110051069668_j_auto-2020-0027_ref_021_w2aab3b7d191b1b6b1ab2b2c21Aa","doi-asserted-by":"crossref","unstructured":"A. Isidori. Nonlinear Control Systems: An Introduction. Springer-Verlag, London, 3rd edition, 1995.","DOI":"10.1007\/978-1-84628-615-5"},{"key":"2023033110051069668_j_auto-2020-0027_ref_022_w2aab3b7d191b1b6b1ab2b2c22Aa","doi-asserted-by":"crossref","unstructured":"R.\u2009E. Kalman. On the general theory of control systems. In First International Congress of the International Federation of Automatic Control (IFAC), Moscow, 1960.","DOI":"10.1016\/S1474-6670(17)70094-8"},{"key":"2023033110051069668_j_auto-2020-0027_ref_023_w2aab3b7d191b1b6b1ab2b2c23Aa","unstructured":"Y. Kawano and T. Ohtsuka. Global observability of polynomial systems. In SICE Annual Conference 2010, Proceedings of, pages 2038\u20132041, 2010."},{"key":"2023033110051069668_j_auto-2020-0027_ref_024_w2aab3b7d191b1b6b1ab2b2c24Aa","doi-asserted-by":"crossref","unstructured":"Y. Kawano and T. Ohtsuka. Observability at an initial state for polynomial systems. Automatica, 49(5):1126\u20131136, 2013.","DOI":"10.1016\/j.automatica.2013.01.020"},{"key":"2023033110051069668_j_auto-2020-0027_ref_025_w2aab3b7d191b1b6b1ab2b2c25Aa","doi-asserted-by":"crossref","unstructured":"Y. Kawano and T. Ohtsuka. Sufficiency of a necessary condition for local observability of discrete-time polynomial systems. In European Control Conference (ECC\u20192013), pages 1722\u20131727, Z\u00fcrich, Switzerland, July 2013.","DOI":"10.23919\/ECC.2013.6669111"},{"key":"2023033110051069668_j_auto-2020-0027_ref_026_w2aab3b7d191b1b6b1ab2b2c26Aa","doi-asserted-by":"crossref","unstructured":"Y. Kawano and T. Ohtsuka. Observability conditions by polynomial ideals. Asian Journal of Control, 19(3):821\u2013831, 2017.","DOI":"10.1002\/asjc.1436"},{"key":"2023033110051069668_j_auto-2020-0027_ref_027_w2aab3b7d191b1b6b1ab2b2c27Aa","doi-asserted-by":"crossref","unstructured":"E.\u2009H. Kerner. Universal formats for nonlinear ordinary differential systems. Journal of Mathematical Physics, 22(7):1366\u20131371, 1981.","DOI":"10.1063\/1.525074"},{"key":"2023033110051069668_j_auto-2020-0027_ref_028_w2aab3b7d191b1b6b1ab2b2c28Aa","doi-asserted-by":"crossref","unstructured":"M. Konz and J.Rudolph. Beispiele f\u00fcr einen direkten Zugang zu einer globalen, energiebasierten Modellbildung und Regelung von Starrk\u00f6rpersystemen. at \u2013 Automatisierungstechnik, 64:96\u2013109, 2016.","DOI":"10.1515\/auto-2015-0095"},{"key":"2023033110051069668_j_auto-2020-0027_ref_029_w2aab3b7d191b1b6b1ab2b2c29Aa","unstructured":"A.\u2009J. Krener. Nonlinear stabilizability and detectability. In U. Helmke, R. Mennicken and J. Saurer, editors, Systems and Networks: Mathematical Theory and Applications, Vol. I, pages 231\u2013250, Akademie Verlag, Berlin, 1994."},{"key":"2023033110051069668_j_auto-2020-0027_ref_030_w2aab3b7d191b1b6b1ab2b2c30Aa","doi-asserted-by":"crossref","unstructured":"C. Letellier, L.\u2009A. Aguirre and J. Maquet. Relation between observability and differential embeddings for nonlinear dynamics. Physical Review E, 71(6):066213, 2005.","DOI":"10.1103\/PhysRevE.71.066213"},{"key":"2023033110051069668_j_auto-2020-0027_ref_031_w2aab3b7d191b1b6b1ab2b2c31Aa","doi-asserted-by":"crossref","unstructured":"T. Lilge. On observer design for non-linear discrete-time systems. European Journal of Control, 4(4):306\u2013319, 1998. Normalformbeobachter, zeitdiskret.","DOI":"10.1016\/S0947-3580(98)70124-4"},{"key":"2023033110051069668_j_auto-2020-0027_ref_032_w2aab3b7d191b1b6b1ab2b2c32Aa","doi-asserted-by":"crossref","unstructured":"R. Neuhaus. Computation of real radicals of polynomial ideals \u2013 II. Journal of Pure and Applied Algebra, 124:261\u2013280, 1998.","DOI":"10.1016\/S0022-4049(96)00103-X"},{"key":"2023033110051069668_j_auto-2020-0027_ref_033_w2aab3b7d191b1b6b1ab2b2c33Aa","doi-asserted-by":"crossref","unstructured":"H. Nijmeijer. Observability of autonomous discrete time non-linear systems: a geometric approach. International Journal of Control, 36(5):867\u2013874, 1982.","DOI":"10.1080\/00207178208932936"},{"key":"2023033110051069668_j_auto-2020-0027_ref_034_w2aab3b7d191b1b6b1ab2b2c34Aa","doi-asserted-by":"crossref","unstructured":"H. Nijmeijer and T.\u2009I. Fossen, editors. New Directions in Nonlinear Observer Design, volume 244 of Lecture Notes in Control and Information Science. Springer-Verlag, London, 1999.","DOI":"10.1007\/BFb0109917"},{"key":"2023033110051069668_j_auto-2020-0027_ref_035_w2aab3b7d191b1b6b1ab2b2c35Aa","doi-asserted-by":"crossref","unstructured":"H. Nijmeijer and I.\u2009M.\u2009Y. Mareels. An observer looks at synchronization. IEEE Trans. on Circuits and Systems I, 44(10):882\u2013890, 1997.","DOI":"10.1109\/81.633877"},{"key":"2023033110051069668_j_auto-2020-0027_ref_036_w2aab3b7d191b1b6b1ab2b2c36Aa","doi-asserted-by":"crossref","unstructured":"T. Paradowski, S. Lerch, M. Damaszek, R. Dehnert and B. Tibken. Observability of uncertain nonlinear systems using interval analysis. Algorithms, 13(3):66, 2020.","DOI":"10.3390\/a13030066"},{"key":"2023033110051069668_j_auto-2020-0027_ref_037_w2aab3b7d191b1b6b1ab2b2c37Aa","doi-asserted-by":"crossref","unstructured":"T. Paradowski, B. Tibken and R. Swiatlak. An approach to determine observability of nonlinear systems using interval analysis. In Proc. American Control Conference (ACC), pages 3932\u20133937, Seattle, USA, May 2017.","DOI":"10.23919\/ACC.2017.7963557"},{"key":"2023033110051069668_j_auto-2020-0027_ref_038_w2aab3b7d191b1b6b1ab2b2c38Aa","doi-asserted-by":"crossref","unstructured":"K. R\u00f6benack. Computation of multiple Lie derivatives by algorithmic differentiation. J. of Computational and Applied Mathematics, 213(2):454\u2013464, 2008.","DOI":"10.1016\/j.cam.2007.01.036"},{"key":"2023033110051069668_j_auto-2020-0027_ref_039_w2aab3b7d191b1b6b1ab2b2c39Aa","doi-asserted-by":"crossref","unstructured":"K. R\u00f6benack. Nichtlineare Regelungssysteme: Theorie und Anwendung der exakten Linearisierung. Springer Vieweg, Berlin, Heidelberg, 2017.","DOI":"10.1007\/978-3-662-44091-9"},{"key":"2023033110051069668_j_auto-2020-0027_ref_040_w2aab3b7d191b1b6b1ab2b2c40Aa","doi-asserted-by":"crossref","unstructured":"K. R\u00f6benack and R. Vo\u00dfwinkel. Formal verification of local and global observability of polynomial systems using quantifier elimination. In International Conference on System Theory, Control and Computing (ICSTCC 2019), pages 314\u2013319, Sinaia, Romania, Oct. 2019.","DOI":"10.1109\/ICSTCC.2019.8885899"},{"key":"2023033110051069668_j_auto-2020-0027_ref_041_w2aab3b7d191b1b6b1ab2b2c41Aa","doi-asserted-by":"crossref","unstructured":"K. R\u00f6benack and R. Vo\u00dfwinkel. L\u00f6sung regelungstechnischer Problemstellungen mittels Quantorenelimination. Automatisierungstechnik, 67(9):714\u2013726, 2019.","DOI":"10.1515\/auto-2019-0045"},{"key":"2023033110051069668_j_auto-2020-0027_ref_042_w2aab3b7d191b1b6b1ab2b2c42Aa","doi-asserted-by":"crossref","unstructured":"O.\u2009E. R\u00f6ssler. An equation for continuous chaos. Phys. Lett., 57A:397\u2013398, 1976.","DOI":"10.1016\/0375-9601(76)90101-8"},{"key":"2023033110051069668_j_auto-2020-0027_ref_043_w2aab3b7d191b1b6b1ab2b2c43Aa","doi-asserted-by":"crossref","unstructured":"M.\u2009A. Savageau and E.\u2009O. Voit. Recasting nonlinear differential equations as s-systems: a canonical nonlinear form. Mathematical Biosciences, 87(1):83\u2013115, 1987.","DOI":"10.1016\/0025-5564(87)90035-6"},{"key":"2023033110051069668_j_auto-2020-0027_ref_044_w2aab3b7d191b1b6b1ab2b2c44Aa","doi-asserted-by":"crossref","unstructured":"J. Schaffner and M. Zeitz. Variants of nonlinear normal form observer design. In Nijmeijer and Fossen [34], pages 161\u2013180.","DOI":"10.1007\/BFb0109926"},{"key":"2023033110051069668_j_auto-2020-0027_ref_045_w2aab3b7d191b1b6b1ab2b2c45Aa","doi-asserted-by":"crossref","unstructured":"E.\u2009D. Sontag. A concept of local observability. Systems & Control Letters, 5:41\u201347, 1984.","DOI":"10.1016\/0167-6911(84)90007-0"},{"key":"2023033110051069668_j_auto-2020-0027_ref_046_w2aab3b7d191b1b6b1ab2b2c46Aa","doi-asserted-by":"crossref","unstructured":"E.\u2009D. Sontag. Mathematical Control Theory, volume 6 of Texts in Applied Mathematics. Springer-Verlag, 2. edition, 1998.","DOI":"10.1007\/978-1-4612-0577-7"},{"key":"2023033110051069668_j_auto-2020-0027_ref_047_w2aab3b7d191b1b6b1ab2b2c47Aa","unstructured":"The Sage Developers. SageMath, the Sage Mathematics Software System (Version 9.0), 2020. https:\/\/www.sagemath.org."},{"key":"2023033110051069668_j_auto-2020-0027_ref_048_w2aab3b7d191b1b6b1ab2b2c48Aa","unstructured":"B. Tibken. Observability of nonlinear systems \u2014 an algebraic approach. In Proc. IEEE Conf. on Decision and Control (CDC), volume 5, pages 4824\u20134825, Nassau, Bahamas, Dec. 2004."},{"key":"2023033110051069668_j_auto-2020-0027_ref_049_w2aab3b7d191b1b6b1ab2b2c49Aa","unstructured":"B. Tibken and T. Paradowski. Beobachtbarkeitsanalyse f\u00fcr polynomiale Systeme, 2017. Workshop GMA-Fachausschuss 1.40 \u201eSystemtheorie und Regelungstechnik\u201c."},{"key":"2023033110051069668_j_auto-2020-0027_ref_050_w2aab3b7d191b1b6b1ab2b2c50Aa","doi-asserted-by":"crossref","unstructured":"R. Vo\u00dfwinkel and K. R\u00f6benack. Determining input-to-state and incremental input-to-state stability of non-polynomial systems. International Journal of Robust and Nonlinear Control, 2020. DOI:10.1002\/rnc.5012.","DOI":"10.1002\/rnc.5012"},{"key":"2023033110051069668_j_auto-2020-0027_ref_051_w2aab3b7d191b1b6b1ab2b2c51Aa","doi-asserted-by":"crossref","unstructured":"F.\u2009F. Wu and C.\u2009A. Desoer. Global inverse function theorem. IEEE Trans. on Circuit Theory, 19:199\u2013201, 1972.","DOI":"10.1109\/TCT.1972.1083429"},{"key":"2023033110051069668_j_auto-2020-0027_ref_052_w2aab3b7d191b1b6b1ab2b2c52Aa","unstructured":"M. Zeitz. Canonical forms for nonlinear systems. In B. Jakubczyk, W. Respondek and K. Tcho\u0144, editors, Geometric Theory of Nonlinear Control Systems, pages 255\u2013278, Wroclaw Technical University Press, 1985."}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/view\/journals\/auto\/68\/6\/article-p395.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0027\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0027\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T11:00:13Z","timestamp":1680260413000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0027\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,1]]},"references-count":52,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2020,6,2]]},"published-print":{"date-parts":[[2020,6,25]]}},"alternative-id":["10.1515\/auto-2020-0027"],"URL":"https:\/\/doi.org\/10.1515\/auto-2020-0027","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"value":"2196-677X","type":"electronic"},{"value":"0178-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2020,6,1]]}}}