{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:54:42Z","timestamp":1762102482986,"version":"build-2065373602"},"reference-count":26,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2020,3,16]],"date-time":"2020-03-16T00:00:00Z","timestamp":1584316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithms"],"abstract":"<jats:p>In the field of control engineering, observability of uncertain nonlinear systems is often neglected and not examined. This is due to the complex analytical calculations required for the verification. Therefore, the aim of this work is to provide an algorithm which numerically analyzes the observability of nonlinear systems described by finite-dimensional, continuous-time sets of ordinary differential equations. The algorithm is based on definitions for distinguishability and local observability using a rank check from which conditions are deduced. The only requirements are the uncertain model equations of the system. Further, the methodology verifies observability of nonlinear systems on a given state space. In case that the state space is not fully observable, the algorithm provides the observable set of states. In addition, the results obtained by the algorithm allows insight into why the remaining states cannot be distinguished.<\/jats:p>","DOI":"10.3390\/a13030066","type":"journal-article","created":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T09:27:41Z","timestamp":1584437261000},"page":"66","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Observability of Uncertain Nonlinear Systems Using Interval Analysis"],"prefix":"10.3390","volume":"13","author":[{"given":"Thomas","family":"Paradowski","sequence":"first","affiliation":[{"name":"Chair of Automation and Control Theory, Bergische Universit\u00e4t Wuppertal, 42119 Wuppertal, Germany"}]},{"given":"Sabine","family":"Lerch","sequence":"additional","affiliation":[{"name":"Chair of Automation and Control Theory, Bergische Universit\u00e4t Wuppertal, 42119 Wuppertal, Germany"}]},{"given":"Michelle","family":"Damaszek","sequence":"additional","affiliation":[{"name":"Chair of Automation and Control Theory, Bergische Universit\u00e4t Wuppertal, 42119 Wuppertal, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0959-9035","authenticated-orcid":false,"given":"Robert","family":"Dehnert","sequence":"additional","affiliation":[{"name":"Chair of Automation and Control Theory, Bergische Universit\u00e4t Wuppertal, 42119 Wuppertal, Germany"}]},{"given":"Bernd","family":"Tibken","sequence":"additional","affiliation":[{"name":"Chair of Automation and Control Theory, Bergische Universit\u00e4t Wuppertal, 42119 Wuppertal, Germany"}]}],"member":"1968","published-online":{"date-parts":[[2020,3,16]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"728","DOI":"10.1109\/TAC.1977.1101601","article-title":"Nonlinear controllability and observability","volume":"22","author":"Hermann","year":"1977","journal-title":"IEEE Trans. Autom. Control."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"1222","DOI":"10.1109\/TIE.2019.2898585","article-title":"Disturbance Observer Design for Nonlinear Systems Represented by Input\u2013Output Models","volume":"5","author":"Ding","year":"2020","journal-title":"IEEE Trans. Ind. Electron."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1109\/TAC.1982.1102935","article-title":"A remark on nonlinear observability","volume":"27","author":"Fliess","year":"1982","journal-title":"IEEE Trans. Autom. Control."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Brockett, R.W. (1981). Nonlinear Systems and Nonlinear Estimation Theory. Stochastic Systems: The Mathematics of Filtering and Identification and Applications. NATO Advanced Study Institutes Series (Series C\u2014Mathematical and Physical Sciences), Springer.","DOI":"10.1007\/978-94-009-8546-9_23"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Tibken, B. (2004, January 14\u201317). Observability of nonlinear systems\u2013An algebraic approach. Proceedings of the 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No. 04CH37601), Nassau, Bahamas.","DOI":"10.1109\/CDC.2004.1429553"},{"key":"ref_6","unstructured":"Kawano, Y., and Ohtsuka, T. (2010, January 18\u201321). Global observability of polynomial systems. Proceedings of the SICE Annual Conference, Taipei, Taiwan."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Zeng, S., and Allg\u00f6wer, F. (2015, January 15\u201318). On the ensemble observability problem for nonlinear systems. Proceedings of the 2015 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan.","DOI":"10.1109\/CDC.2015.7403214"},{"key":"ref_8","unstructured":"Zeng, S. (2016). On the Ensemble Observability of Dynamical Systems. [Ph.D. Thesis, Institut f\u00fcr Systemtheorie und Regelungstechnik, University of Stuttgart]."},{"key":"ref_9","unstructured":"Lagrange, S., Delanoue, N., and Jaulin, L. (2017). Guaranteed Numerical Injectivity Test via Interval Analysis. Trends in Constraint Programming, ISTE."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/s11155-007-9042-9","article-title":"On sufficient conditions of the injectivity: Development of a numerical test algorithm via interval analysis","volume":"13","author":"Lagrange","year":"2007","journal-title":"Reliable Comput."},{"key":"ref_11","unstructured":"R\u00f6benack, K., and Reinschke, K.J. (2010, January 17\u201321). An efficient method to compute Lie derivatives and the observability matrix for nonlinear systems. Proceedings of the International Symposium on Nonlinear Theory and Applications (NOLTA), Dresden, Germany."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"425","DOI":"10.2478\/v10006-009-0035-1","article-title":"Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties","volume":"19","author":"Rauh","year":"2009","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"R\u00f6benack, K., and Vo\u00dfwinkel, R. (2019, January 9\u201311). Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination. Proceedings of the 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania.","DOI":"10.1109\/ICSTCC.2019.8885899"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Tarski, A. (1998). A Decision Method for Elementary Algebra and Geometry. Quantifier Elimination and Cylindrical Algebraic Decomposition. (A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria), Springer.","DOI":"10.1007\/978-3-7091-9459-1_3"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Paradowski, T., Tibken, B., and Swiatlak, R. (2017, January 24\u201326). An Approach to Determine Observability of Nonlinear Systems Using Interval Analysis. Proceedings of the 2017 American Control Conference (ACC), Seattle, WA, USA.","DOI":"10.23919\/ACC.2017.7963557"},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Paradowski, T. (2020). Intervallarithmetische Untersuchung der Beobachtbarkeit und Zustandssch\u00e4tzung nichtlinearer Systeme. [Ph.D. Thesis, Faculty of Electrical, Information and Media Engineering, University of Wuppertal]. Submitted.","DOI":"10.1007\/978-3-658-33745-2"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Moore, R.E., Kearfott, R.B., and Cloud, M.J. (2009). Introduction to interval analysis. Society for Industrial and Applied Mathematics, SIAM.","DOI":"10.1137\/1.9780898717716"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., and Walter, \u00c9. (2001). Applied Interval Analysis, Springer.","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"R\u00f6benack, K. (2017). Nichtlineare Regelungssysteme, Springer.","DOI":"10.1007\/978-3-662-44091-9"},{"key":"ref_20","unstructured":"Frisk, E., and Krysander, M. (2007, January 29\u201331). Sensor placement for maximum faultisolability. Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, TN, USA."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TAC.2011.2164820","article-title":"Interval State Estimation for a Class of Nonlinear Systems","volume":"57","author":"Raissi","year":"2012","journal-title":"IEEE Trans. Autom. Control."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2005.09.062","article-title":"The design of the Boost interval arithmetic library","volume":"351","author":"Melquiond","year":"2006","journal-title":"Theor. Comput. Sci."},{"key":"ref_23","unstructured":"(2020, January 24). The Boost C++ Libraries. Available online: http:\/\/www.boost.org\/."},{"key":"ref_24","unstructured":"Eigen (2020, January 24). Eigen C++ Librarie. Available online: http:\/\/eigen.tuxfamily.org\/."},{"key":"ref_25","first-page":"1049","article-title":"Bounds on Eigenvalues of Interval Matrices","volume":"78","author":"Rohn","year":"1998","journal-title":"J. Appl. Math. Mech."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF03025291","article-title":"Mathematical Problems for the Next Century","volume":"20","author":"Smale","year":"1998","journal-title":"The Math. Intell."}],"container-title":["Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-4893\/13\/3\/66\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T09:07:18Z","timestamp":1760173638000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-4893\/13\/3\/66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,16]]},"references-count":26,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2020,3]]}},"alternative-id":["a13030066"],"URL":"https:\/\/doi.org\/10.3390\/a13030066","relation":{},"ISSN":["1999-4893"],"issn-type":[{"type":"electronic","value":"1999-4893"}],"subject":[],"published":{"date-parts":[[2020,3,16]]}}}