{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T05:26:50Z","timestamp":1764739610646,"version":"3.46.0"},"reference-count":58,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computation"],"abstract":"<jats:p>Accessibility and observability are two properties of dynamic models that provide insights into the structural relationships between their input, output, and state variables. They are closely related to controllability and structural local identifiability, respectively. Observability and identifiability determine, respectively, the possibility of inferring the unmeasured state variables and parameters of a model from output measurements; accessibility and controllability describe the possibility of driving its state by changing its input. Analysing these structural properties in nonlinear models of ordinary differential equations can be challenging, particularly when dealing with large systems. Two main approaches are currently used for their study: one based on differential geometry, which uses symbolic computation, and another one based on sensitivity calculations that uses numerical integration. These approaches are implemented in two MATLAB (R2024b) software tools: the differential geometry approach in STRIKE-GOLDD, and the sensitivity-based method in StrucID. These toolboxes differ significantly in their features and capabilities. Until now, their performance had not been thoroughly compared. In this paper we present a comprehensive comparative study of them, elucidating their differences in applicability, computational efficiency, and robustness against computational issues. Our core finding is that StrucID has a substantially lower computational cost than STRIKE-GOLDD; however, it may occasionally yield inconsistent results due to numerical issues.<\/jats:p>","DOI":"10.3390\/computation13120281","type":"journal-article","created":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:31:17Z","timestamp":1764689477000},"page":"281","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Assessment of Computational Tools for Analysing the Observability and Accessibility of Nonlinear Models"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-5247-4910","authenticated-orcid":false,"given":"Mahmoud","family":"Shams Falavarjani","sequence":"first","affiliation":[{"name":"Universidade de Vigo, Department of Systems Engineering and Control, 36310 Vigo, Galicia, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5203-913X","authenticated-orcid":false,"given":"Adriana","family":"Gonz\u00e1lez V\u00e1zquez","sequence":"additional","affiliation":[{"name":"Universidade de Vigo, Department of Systems Engineering and Control, 36310 Vigo, Galicia, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7401-7380","authenticated-orcid":false,"given":"Alejandro F.","family":"Villaverde","sequence":"additional","affiliation":[{"name":"Universidade de Vigo, Department of Systems Engineering and Control, 36310 Vigo, Galicia, Spain"},{"name":"CITMAga, Galician Centre for Mathematical Research and Technology, 15782 Santiago de Compostela, Galicia, Spain"}]}],"member":"1968","published-online":{"date-parts":[[2025,12,1]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/0025-5564(70)90132-X","article-title":"On structural identifiability","volume":"7","author":"Bellman","year":"1970","journal-title":"Math. Biosci."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.arcontrol.2020.10.006","article-title":"A priori identifiability: An overview on definitions and approaches","volume":"50","year":"2020","journal-title":"Annu. Rev. Control"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1002\/stc.1690","article-title":"On the observability and identifiability of nonlinear structural and mechanical systems","volume":"22","author":"Chatzis","year":"2014","journal-title":"Struct. Control Health Monit."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1137\/090757009","article-title":"On identifiability of nonlinear ODE models and applications in viral dynamics","volume":"53","author":"Miao","year":"2011","journal-title":"SIAM Rev."},{"key":"ref_5","first-page":"102","article-title":"Contribution to the Theory of Optimal Control","volume":"5","author":"Kalman","year":"2001","journal-title":"Bol. Soc. Mat. Mex."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Martinelli, A. (2020). Observability: A New Theory Based on the Group of Invariance, SIAM.","DOI":"10.1137\/1.9781611976250"},{"key":"ref_7","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_8","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/TAC.1987.1104544","article-title":"New Results for Identifiability of Nonlinear Systems","volume":"32","author":"Tunali","year":"1987","journal-title":"Autom. Control. IEEE Trans."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/j.matcom.2022.03.020","article-title":"Practical identifiability of parametrised models: A review of benefits and limitations of various approaches","volume":"199","author":"Lam","year":"2022","journal-title":"Math. Comput. Simul."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/j.coisb.2021.03.005","article-title":"On structural and practical identifiability","volume":"25","author":"Wieland","year":"2021","journal-title":"Curr. Opin. Syst. Biol."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.coisb.2019.10.006","article-title":"Parameter estimation and uncertainty quantification for systems biology models","volume":"18","author":"Mitra","year":"2019","journal-title":"Curr. Opin. Syst. Biol."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"240733","DOI":"10.1098\/rsos.240733","article-title":"Structured methods for parameter inference and uncertainty quantification for mechanistic models in the life sciences","volume":"11","author":"Plank","year":"2024","journal-title":"R. Soc. Open Sci."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Rey Barreiro, X., and Villaverde, A.F. (2023). Benchmarking tools for a priori identifiability analysis. Bioinformatics, 39.","DOI":"10.1093\/bioinformatics\/btad065"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Villaverde, A., Barreiro, A., and Papachristodoulou, A. (2016). Structural Identifiability of Dynamic Systems Biology Models. PLoS Comput. Biol., 12.","DOI":"10.1371\/journal.pcbi.1005153"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"D\u00edaz-Seoane, S., Rey Barreiro, X., and Villaverde, A.F. (2023). STRIKE-GOLDD 4.0: User-friendly, efficient analysis of structural identifiability and observability. Bioinformatics, 39.","DOI":"10.1093\/bioinformatics\/btac748"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/j.automatica.2015.05.004","article-title":"A Fast Algorithm to Assess Local Structural Identifiability","volume":"58","author":"Stigter","year":"2015","journal-title":"Automatica"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/j.ifacol.2021.08.348","article-title":"Computing Measures of Identifiability, Observability, and Controllability for a Dynamic System Model with the StrucID App","volume":"54","author":"Stigter","year":"2021","journal-title":"IFAC-PapersOnLine"},{"key":"ref_18","unstructured":"Isidori, A. (2013). Nonlinear Control Systems, Springer. Communications and Control Engineering."},{"key":"ref_19","unstructured":"Nijmeijer, H., and van der Schaft, A. (2013). Nonlinear Dynamical Control Systems, Springer."},{"key":"ref_20","unstructured":"Sontag, E.D. (2013). Mathematical Control Theory: Deterministic Finite Dimensional Systems, Springer Science & Business Media."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"1106","DOI":"10.1137\/0326061","article-title":"Controllability is Harder to Decide than Accessibility","volume":"26","author":"Sontag","year":"1988","journal-title":"SIAM J. Control Optim."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1137\/0308033","article-title":"Nonlinear controllability via Lie theory","volume":"8","author":"Haynes","year":"1970","journal-title":"SIAM J. Control"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Sussmann, H.J. (2017). Nonlinear Controllability and Optimal Control, Routledge.","DOI":"10.1201\/9780203745625"},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"D\u00edaz-Seoane, S., Barreiro Blas, A., and Villaverde, A.F. (2023). Controllability and accessibility analysis of nonlinear biosystems. Comput. Methods Programs Biomed., 242.","DOI":"10.1016\/j.cmpb.2023.107837"},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"van Willigenburg, G., Stigter, H., and Molenaar, J. (July, January 29). Establishing local strong accessibility of large-scale nonlinear systems by replacing the Lie algebraic rank condition. Proceedings of the 2021 European Control Conference (ECC), Virtual.","DOI":"10.23919\/ECC54610.2021.9655043"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1109","DOI":"10.1002\/rnc.686","article-title":"Reachability of nonlinear fed-batch fermentation processes","volume":"12","author":"Hangos","year":"2002","journal-title":"Int. J. Robust Nonlinear Control"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Wang, L., and Qi, J. (2024, January 13\u201315). Efficient Structural Parameter Identifiability Analysis for Generator Dynamic Models. Proceedings of the IEEE 2024 56th North American Power Symposium (NAPS), El Paso, TX, USA.","DOI":"10.1109\/NAPS61145.2024.10741704"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Heinrich, M., Rosenblatt, M., Wieland, F.G., Stigter, H., and Timmer, J. (2025). On structural and practical identifiability: Current status and update of results. Curr. Opin. Syst. Biol., 41.","DOI":"10.1016\/j.coisb.2025.100546"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Himpe, C. (2018). emgr\u2014The Empirical Gramian Framework. Algorithms, 11.","DOI":"10.3390\/a11070091"},{"key":"ref_30","first-page":"72","article-title":"Comparativa de metodolog\u00edas de an\u00e1lisis de identificabilidad estructural y observabilidad para modelos no lineales","volume":"46","author":"Leoca","year":"2025","journal-title":"Jornadas De Autom\u00e1tica"},{"key":"ref_31","unstructured":"DiStefano, J. (2015). Dynamic Systems Biology Modeling and Simulation, Academic Press."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Iglesias, P.A., and Ingalls, B.P. (2010). Control Theory and Systems Biology, MIT Press.","DOI":"10.7551\/mitpress\/9780262013345.001.0001"},{"key":"ref_33","unstructured":"Walter, E., and Pronzato, L. (1997). Identification of Parametric Models: From Experimental Data, Springer."},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Oana, C., Banga, J., and Balsa-Canto, E. (2011). Structural Identifiability of Systems Biology Models: A Critical Comparison of Methods. PLoS ONE, 6.","DOI":"10.1371\/journal.pone.0027755"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"104600","DOI":"10.1016\/j.sysconle.2019.104600","article-title":"Finite determination of accessibility and singular points of nonlinear systems: An algebraic approach","volume":"136","author":"Sarafrazi","year":"2020","journal-title":"Syst. Control Lett."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1016\/j.ifacol.2025.03.078","article-title":"Model Reduction of Complex Dynamical Systems: A Sensitivity Based Approach","volume":"59","author":"Stigter","year":"2025","journal-title":"IFAC-PapersOnLine"},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/j.ifacol.2018.03.090","article-title":"An Efficient Method to Assess Local Controllability and Observability for Non-Linear Systems","volume":"51","author":"Stigter","year":"2018","journal-title":"IFAC-PapersOnLine"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"D\u00edaz-Seoane, S., Sell\u00e1n, E., and Villaverde, A.F. (2023). Structural Identifiability and Observability of Microbial Community Models. Bioengineering, 10.","DOI":"10.3390\/bioengineering10040483"},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"20190043","DOI":"10.1098\/rsif.2019.0043","article-title":"Full observability and estimation of unknown inputs, states and parameters of nonlinear biological models","volume":"16","author":"Villaverde","year":"2019","journal-title":"J. R. Soc. Interface"},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1016\/j.ymssp.2019.05.010","article-title":"Observability of nonlinear systems with unmeasured inputs","volume":"130","author":"Maes","year":"2019","journal-title":"Mech. Syst. Signal Process."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1109\/LCSYS.2018.2868608","article-title":"Input-Dependent Structural Identifiability of Nonlinear Systems","volume":"3","author":"Villaverde","year":"2019","journal-title":"IEEE Control Syst. Lett."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1006\/jsco.2002.0532","article-title":"A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time","volume":"33","author":"Sedoglavic","year":"2002","journal-title":"J. Symb. Comput."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1137\/0325011","article-title":"A general theorem on local controllability","volume":"25","author":"Sussmann","year":"1987","journal-title":"SIAM J. Control Optim."},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Villaverde, A., and Banga, J. (2017). Dynamical compensation and structural identifiability of biological models: Analysis, implications, and reconciliation. PLoS Comput. Biol., 13.","DOI":"10.1371\/journal.pcbi.1005878"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/j.jtbi.2004.11.038","article-title":"Modelling genetic networks with noisy and varied experimental data: The circadian clock in Arabidopsis thaliana","volume":"234","author":"Locke","year":"2005","journal-title":"J. Theor. Biol."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1152\/jappl.1961.16.5.783","article-title":"Coefficients of normal blood glucose regulation","volume":"16","author":"Bolie","year":"1961","journal-title":"J. Appl. Physiol."},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"ra56","DOI":"10.1126\/scisignal.2000810","article-title":"Decoupling of Receptor and Downstream Signals in the Akt Pathway by Its Low-Pass Filter Characteristics","volume":"3","author":"Fujita","year":"2010","journal-title":"Sci. Signal."},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/j.ifacol.2016.07.238","article-title":"Modelling the production of soluble hydrogenase in Ralstonia eutropha by on-line optimal experimental design","volume":"49","author":"Neddermeyer","year":"2016","journal-title":"IFAC-PapersOnLine"},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"1671","DOI":"10.1038\/s41467-017-01498-0","article-title":"Balancing a genetic toggle switch by real-time feedback control and periodic forcing","volume":"8","author":"Lugagne","year":"2017","journal-title":"Nat. Commun."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"012920","DOI":"10.1103\/PhysRevE.92.012920","article-title":"Higher-order Lie symmetries in identifiability and predictability analysis of dynamic models","volume":"92","author":"Merkt","year":"2015","journal-title":"Phys. Rev. E Stat. Nonlinear Soft Matter Phys."},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1158\/0008-5472.CAN-10-2987","article-title":"Dynamic Mathematical Modeling of IL13-Induced Signaling in Hodgkin and Primary Mediastinal B-Cell Lymphoma Allows Prediction of Therapeutic Targets","volume":"71","author":"Raia","year":"2011","journal-title":"Cancer Res."},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Nguyen, L., Degasperi, A., Cotter, P., and Kholodenko, B. (2015). DYVIPAC: An integrated analysis and visualisation framework to probe multi-dimensional biological networks. Sci. Rep., 5.","DOI":"10.1038\/srep12569"},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"103462","DOI":"10.1016\/j.isci.2021.103462","article-title":"Biomolecular mechanisms for signal differentiation","volume":"24","author":"Alexis","year":"2021","journal-title":"iScience"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"20210737","DOI":"10.1098\/rsif.2021.0737","article-title":"Dichotomous feedback: A signal sequestration-based feedback mechanism for biocontroller design","volume":"19","author":"Sootla","year":"2022","journal-title":"J. R. Soc. Interface"},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"9875","DOI":"10.1093\/nar\/gky828","article-title":"Synthetic negative feedback circuits using engineered small RNAs","volume":"46","author":"Kelly","year":"2018","journal-title":"Nucleic Acids Res."},{"key":"ref_56","first-page":"117","article-title":"Performance of High-Gain Observer (HGO) For Level Estimation in Continuous Stirred Tank Reactor (CSTR)","volume":"11","author":"Mursyitah","year":"2024","journal-title":"J. Ecotipe (Electron. Control. Telecommun. Inf. Power Eng.)"},{"key":"ref_57","doi-asserted-by":"crossref","first-page":"2873","DOI":"10.1093\/bioinformatics\/bty1069","article-title":"SIAN: Software for structural identifiability analysis of ODE models","volume":"35","author":"Hong","year":"2019","journal-title":"Bioinformatics"},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"113142","DOI":"10.1016\/j.ymssp.2025.113142","article-title":"Observability of nonlinear discrete-time systems with unmeasured inputs","volume":"238","author":"Chatzis","year":"2025","journal-title":"Mech. Syst. Signal Process."}],"container-title":["Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2079-3197\/13\/12\/281\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T05:23:19Z","timestamp":1764739399000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2079-3197\/13\/12\/281"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,1]]},"references-count":58,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["computation13120281"],"URL":"https:\/\/doi.org\/10.3390\/computation13120281","relation":{},"ISSN":["2079-3197"],"issn-type":[{"type":"electronic","value":"2079-3197"}],"subject":[],"published":{"date-parts":[[2025,12,1]]}}}