{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T10:46:56Z","timestamp":1774262816730,"version":"3.50.1"},"reference-count":31,"publisher":"University of Zielona G\u00f3ra, Poland","issue":"4","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p> Identifiability guarantees that the mathematical model of a dynamic system is well defined in the sense that it maps unambiguously its parameters to the output trajectories. This paper casts identifiability in a set-membership (SM) framework and relates recently introduced properties, namely, SM-identifiability, \u03bc-SM-identifiability, and \u03b5-SM-identifiability, to the properties of parameter estimation problems. Soundness and \u03b5-consistency are proposed to characterize these problems and the solution returned by the algorithm used to solve them. This paper also contributes by carefully motivating and comparing SM-identifiability, \u03bc-SM-identifiability and \u03b5-SM-identifiability with related properties found in the literature, and by providing a method based on differential algebra to check these properties.<\/jats:p>","DOI":"10.1515\/amcs-2016-0057","type":"journal-article","created":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T12:27:11Z","timestamp":1484828831000},"page":"803-813","source":"Crossref","is-referenced-by-count":5,"title":["Set-membership identifiability of nonlinear models and related parameter estimation properties"],"prefix":"10.61822","volume":"26","author":[{"given":"Carine","family":"Jauberthie","sequence":"first","affiliation":[{"name":"LAAS-CNRS University of Toulouse, UPS, 7 avenue du Colonel Roche, 31400 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trav\u00e9-Massuy\u00e8Es","sequence":"additional","affiliation":[{"name":"LAAS-CNRS University of Toulouse, UPS, 7 avenue du Colonel Roche, 31400 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathalie","family":"Verdi\u00e8re","sequence":"additional","affiliation":[{"name":"UNIHAVRE, LMAH Normandy University, FR-CNRS-3335, ISCN, 76600 Le Havre, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"37438","published-online":{"date-parts":[[2016,12,30]]},"reference":[{"key":"2021040623081159842_j_amcs-2016-0057_ref_1_w2aab2b8c18b1b7b1ab1ab1Aa","doi-asserted-by":"crossref","unstructured":"Alamo, T., Bravo, J.M. and Camacho, E.F. (2005). Guaranteed state estimation by zonotopes, Automatica 41(6): 1035-1043.","DOI":"10.1016\/j.automatica.2004.12.008"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_2_w2aab2b8c18b1b7b1ab1ab2Aa","doi-asserted-by":"crossref","unstructured":"Auer, E., Kiel, S. and Rauh, A. (2013). A verified method for solving piecewise smooth initial value problems, International Journal of Applied Mathematics and Computer Science 23(4): 731-747, DOI: 10.2478\/amcs-2013-0055.","DOI":"10.2478\/amcs-2013-0055"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_3_w2aab2b8c18b1b7b1ab1ab3Aa","unstructured":"Boulier, F. (1994). Study and Implementation of Some Algorithms in Differential Algebra, Ph.D. thesis, Universit\u00e9 des Sciences et Technologie de Lille, Lille."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_4_w2aab2b8c18b1b7b1ab1ab4Aa","unstructured":"Bourbaki, N. (1989). Elements of Mathematics, Springer-Verlag, Berlin\/Heidelberg."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_5_w2aab2b8c18b1b7b1ab1ab5Aa","unstructured":"Braems, I., Jaulin, L., Kieffer, M. and Walter, E. (2001). Guaranteed numerical alternatives to structural identifiability testing, Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, USA, pp. 3122-3127."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_6_w2aab2b8c18b1b7b1ab1ab6Aa","doi-asserted-by":"crossref","unstructured":"Chabert, G. and Jaulin, L. (2009). Contractor programming, Artificial Intelligence 173(11): 1079-1100.","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_7_w2aab2b8c18b1b7b1ab1ab7Aa","doi-asserted-by":"crossref","unstructured":"Chiscii, L., Garulli, A. and Zappa, G. (1996). Recursive state bounding by parallelotopes, Automatica 32(7): 1049-1055.","DOI":"10.1016\/0005-1098(96)00048-9"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_8_w2aab2b8c18b1b7b1ab1ab8Aa","doi-asserted-by":"crossref","unstructured":"Denis-Vidal, L., Joly-Blanchard, G. and Noiret, C. (2001a). Some effective approaches to check identifiability of uncontrolled nonlinear systems, Mathematics and Computers in Simulation 57(1-2): 35-44.","DOI":"10.1016\/S0378-4754(01)00274-9"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_9_w2aab2b8c18b1b7b1ab1ab9Aa","unstructured":"Denis-Vidal, L., Joly-Blanchard, G., Noiret, C. and Petitot, M. (2001b). An algorithm to test identifiability of non-linear systems, Proceedings of the 5th IFAC Symposium on Nonlinear Control Systems, St. Petersburg, Russia, Vol. 7, pp. 174-178."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_10_w2aab2b8c18b1b7b1ab1ac10Aa","doi-asserted-by":"crossref","unstructured":"Herrero, P., Delaunay, B., Jaulin, L., Georgiou, P., Oliver, N. and Toumazou, C. (2016). Robust set-membership parameter estimation of the glucose minimal model, International Journal of Adaptive Control and Signal Processing 30(2): 173-185.","DOI":"10.1002\/acs.2538"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_11_w2aab2b8c18b1b7b1ab1ac11Aa","unstructured":"Jauberthie, C., Verdi\u00e8re, N. and Trav\u00e9-Massuy\u00e8s, L. (2011). Set-membership identifiability: Definitions and analysis, Proceedings of the 18th IFAC World Congress, Milan, Italy, pp. 12024-12029."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_12_w2aab2b8c18b1b7b1ab1ac12Aa","doi-asserted-by":"crossref","unstructured":"Jauberthie, C., Verdi\u00e8re, N. and Trav\u00e9-Massuy\u00e8s, L. (2013). Fault detection and identification relying on set-membership identifiability, Annual Reviews in Control 37(1): 129-136.","DOI":"10.1016\/j.arcontrol.2013.04.002"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_13_w2aab2b8c18b1b7b1ab1ac13Aa","doi-asserted-by":"crossref","unstructured":"Jaulin, L., Kieffer, M., Didrit, O. and Walter, E. (2001). Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics, Springer, Londres.","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_14_w2aab2b8c18b1b7b1ab1ac14Aa","doi-asserted-by":"crossref","unstructured":"Jaulin, L. and Walter, E. (1993). Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica 29(4): 1053-1064.","DOI":"10.1016\/0005-1098(93)90106-4"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_15_w2aab2b8c18b1b7b1ab1ac15Aa","doi-asserted-by":"crossref","unstructured":"Kieffer, M., Jaulin, L. and Walter, E. (2002). Guaranteed recursive nonlinear state bounding using interval analysis, International Journal of Adaptive Control and Signal Processing 6(3): 193-218.","DOI":"10.1002\/acs.680"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_16_w2aab2b8c18b1b7b1ab1ac16Aa","doi-asserted-by":"crossref","unstructured":"Kieffer, M., Jaulin, L.,Walter, \u00c9. and Meizel, D. (2000). Robust autonomous robot localization using interval analysis, Reliable Computing 6(3): 337-362.","DOI":"10.1023\/A:1009990700281"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_17_w2aab2b8c18b1b7b1ab1ac17Aa","doi-asserted-by":"crossref","unstructured":"Kieffer, M. and Walter, E. (2011). Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis, International Journal of Adaptive Control and Signal Processing 25(3): 191-207.","DOI":"10.1002\/acs.1194"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_18_w2aab2b8c18b1b7b1ab1ac18Aa","unstructured":"Kolchin, E. (1973). Differential Algebra and Algebraic Groups, Academic Press, New York, NY."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_19_w2aab2b8c18b1b7b1ab1ac19Aa","doi-asserted-by":"crossref","unstructured":"Kurzhanski, A.B. and Valyi, I. (1997). Ellipsoidal Calculus for Estimation and Control, Nelson Thornes, Birkh\u00e4user.","DOI":"10.1007\/978-1-4612-0277-6"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_20_w2aab2b8c18b1b7b1ab1ac20Aa","doi-asserted-by":"crossref","unstructured":"Lagrange, S., Delanoue, N. and Jaulin, L. (2008). Injectivity analysis using interval analysis: Application to structural identifiability, Automatica 44(11): 2959-2962.","DOI":"10.1016\/j.automatica.2008.04.018"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_21_w2aab2b8c18b1b7b1ab1ac21Aa","doi-asserted-by":"crossref","unstructured":"Ljung, L. and Glad, T. (1994). On global identifiability for arbitrary model parametrizations, Automatica 30(2): 265-276.","DOI":"10.1016\/0005-1098(94)90029-9"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_22_w2aab2b8c18b1b7b1ab1ac22Aa","unstructured":"Maiga, M., Ramdani, N. and Trav\u00e9-Massuy\u00e8s, L. (2013). A fast method for solving guard set intersection in nonlinear hybrid reachability, Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Firenze, Italy, pp. 508-513."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_23_w2aab2b8c18b1b7b1ab1ac23Aa","doi-asserted-by":"crossref","unstructured":"Maiga, M., Ramdani, N., Trav\u00e9-Massuy\u00e8s, L. and Combastel, C. (2016). A comprehensive method for reachability analysis of uncertain nonlinear hybrid systems, IEEE Transactions on Automatic Control 61(9): 2341-2356, DOI:10.1109\/TAC.2015.2491740.","DOI":"10.1109\/TAC.2015.2491740"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_24_w2aab2b8c18b1b7b1ab1ac24Aa","unstructured":"Milanese, M., Norton, J., Piet-Lahanier, H. and Walter, \u00c9. (2013). Bounding Approaches to System Identification, Springer Science & Business Media, New York, NY."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_25_w2aab2b8c18b1b7b1ab1ac25Aa","unstructured":"Munkres, J.R. (1975). Topology-A First Course, Prentice Hall, Upper Saddle River, NJ."},{"key":"2021040623081159842_j_amcs-2016-0057_ref_26_w2aab2b8c18b1b7b1ab1ac26Aa","doi-asserted-by":"crossref","unstructured":"Nelles, O. (2002). Nonlinear System Identification, Springer-Verlag, Berlin\/Heidelberg.","DOI":"10.1007\/978-3-662-04323-3"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_27_w2aab2b8c18b1b7b1ab1ac27Aa","doi-asserted-by":"crossref","unstructured":"Pohjanpalo, H. (1978). System identifiability based on the power series expansion of the solution, Mathematical Biosciences 41(1): 21-33.","DOI":"10.1016\/0025-5564(78)90063-9"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_28_w2aab2b8c18b1b7b1ab1ac28Aa","doi-asserted-by":"crossref","unstructured":"Puig, V. (2010). Fault diagnosis and fault tolerant control using set-membership approaches: Application to real case studies, International Journal of Applied Mathematics and Computer Science 20(4): 619-635, DOI: 10.2478\/v10006-010-0046-y.","DOI":"10.2478\/v10006-010-0046-y"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_29_w2aab2b8c18b1b7b1ab1ac29Aa","doi-asserted-by":"crossref","unstructured":"Ra\u00efssi, T., Ramdani, N. and Candau, Y. (2004). Set-membership state and parameter estimation for systems described by nonlinear differential equations, Automatica 40(10): 1771-1777.","DOI":"10.1016\/j.automatica.2004.05.006"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_30_w2aab2b8c18b1b7b1ab1ac30Aa","doi-asserted-by":"crossref","unstructured":"Ravanbod, L., Verdi\u00e8re, N. and Jauberthie, C. (2014). Determination of set-membership identifiability sets, Mathematics in Computer Science 8(3-4): 391-406.","DOI":"10.1007\/s11786-014-0201-1"},{"key":"2021040623081159842_j_amcs-2016-0057_ref_31_w2aab2b8c18b1b7b1ab1ac31Aa","doi-asserted-by":"crossref","unstructured":"Seybold, L., Witczak, M., Majdzik, P. and Stetter, R. (2015). Towards robust predictive fault-tolerant control for a battery assembly system, International Journal of Applied Mathematics and Computer Science 25(4): 849-862, DOI: 10.1515\/amcs-2015-0061.","DOI":"10.1515\/amcs-2015-0061"}],"container-title":["International Journal of Applied Mathematics and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/amcs\/26\/4\/article-p803.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.sciendo.com\/article\/10.1515\/amcs-2016-0057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T22:57:17Z","timestamp":1715813837000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.sciendo.com\/article\/10.1515\/amcs-2016-0057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,1]]},"references-count":31,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2016,12,30]]},"published-print":{"date-parts":[[2016,12,1]]}},"alternative-id":["10.1515\/amcs-2016-0057"],"URL":"https:\/\/doi.org\/10.1515\/amcs-2016-0057","relation":{},"ISSN":["2083-8492"],"issn-type":[{"value":"2083-8492","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,1]]}}}