Propiedad del sistema dinámico
En el área de identificación de sistemas , un sistema dinámico es estructuralmente identificable si es posible inferir sus parámetros desconocidos midiendo su salida a lo largo del tiempo. Este problema surge en muchas ramas de las matemáticas aplicadas, ya que los sistemas dinámicos (como los descritos por ecuaciones diferenciales ordinarias ) se utilizan comúnmente para modelar procesos físicos y estos modelos contienen parámetros desconocidos que normalmente se estiman utilizando datos experimentales. [1] [2] [3]
Sin embargo, en ciertos casos, la estructura del modelo puede no permitir una solución única para este problema de estimación, incluso cuando los datos son continuos y libres de ruido. Para evitar posibles problemas, se recomienda verificar la unicidad de la solución de antemano, antes de realizar cualquier experimento real. La falta de identificabilidad estructural implica que existen múltiples soluciones para el problema de identificación del sistema, y la imposibilidad de distinguir entre estas soluciones sugiere que el sistema tiene un poder de predicción pobre como modelo. [4] Por otro lado, se han propuesto sistemas de control con el objetivo de hacer que el sistema de bucle cerrado sea inidentificable, disminuyendo su susceptibilidad a ataques encubiertos dirigidos a sistemas ciberfísicos . [5]
Ejemplos
Sistema lineal invariante en el tiempo
Fuente [2]
Consideremos un sistema lineal invariante en el tiempo con la siguiente representación en el espacio de estados :
y con condiciones iniciales dadas por y . La solución de la salida es
lo que implica que los parámetros y no son estructuralmente identificables. Por ejemplo, los parámetros generan la misma salida que los parámetros .
Sistema no lineal
Fuente [6]
Un modelo de un posible mecanismo de homeostasis de la glucosa se da mediante las ecuaciones diferenciales [7]
donde ( c , s i , p , α , γ ) son parámetros del sistema, y los estados son la concentración plasmática de glucosa G , la concentración plasmática de insulina I y la masa funcional de la célula beta β. Es posible demostrar que los parámetros p y s i no son estructuralmente identificables: cualquier elección numérica de parámetros p y s i que tengan el mismo producto ps i son indistinguibles. [6]
Identificabilidad práctica
La identificabilidad estructural se evalúa mediante el análisis de las ecuaciones dinámicas del sistema y no tiene en cuenta los posibles ruidos en la medición de la salida. Por el contrario, la no identificabilidad práctica también tiene en cuenta los ruidos. [1] [8]
Otras nociones relacionadas
La noción de estructuralmente identificable está estrechamente relacionada con la observabilidad , que se refiere a la capacidad de inferir el estado del sistema midiendo las trayectorias de la salida del sistema. También está estrechamente relacionada con la informatividad de los datos, que se refiere a la selección adecuada de entradas que permiten la inferencia de los parámetros desconocidos. [9] [10]
La (falta de) identificabilidad estructural también es importante en el contexto de la compensación dinámica de los sistemas de control fisiológico. Estos sistemas deberían garantizar una respuesta dinámica precisa a pesar de las variaciones en ciertos parámetros. [11] [12] En otras palabras, mientras que en el campo de la identificación de sistemas, la no identificabilidad se considera una propiedad negativa, en el contexto de la compensación dinámica, la no identificabilidad se convierte en una propiedad deseable. [12]
La identificabilidad también aparece en el contexto del control óptimo inverso . En este caso, se supone que los datos provienen de una solución de un problema de control óptimo con parámetros desconocidos en la función objetivo. En este caso, la identificabilidad se refiere a la posibilidad de inferir los parámetros presentes en la función objetivo utilizando los datos medidos. [13]
Software
Existen muchos programas que se pueden utilizar para analizar la identificabilidad de un sistema, incluidos los sistemas no lineales: [14]
- PottersWheel : caja de herramientas de MATLAB que utiliza la probabilidad de perfil para el análisis de identificabilidad estructural y práctica.
- Biblioteca Julia para evaluar la identificabilidad de parámetros estructurales. [15]
- STRIKE-GOLDD: caja de herramientas de MATLAB para el análisis de identificabilidad estructural. [16]
Véase también
Referencias
- ^ ab Miao, Hongyu; Xia, Xiaohua; Perelson, Alan S.; Wu, Hulin (2011). "Sobre la identificabilidad de modelos de EDO no lineales y aplicaciones en dinámica viral". SIAM Review . 53 (1): 3–39. doi :10.1137/090757009. ISSN 0036-1445. PMC 3140286 . PMID 21785515.(Fe de erratas: doi :10.1137/23M1568958)
- ^ ab Raue, A.; Karlsson, J.; Saccomani, MP; Jirstrand, M.; Timmer, J. (15 de mayo de 2014). "Comparación de enfoques para el análisis de identificabilidad de parámetros de sistemas biológicos". Bioinformática . 30 (10): 1440–1448. doi : 10.1093/bioinformatics/btu006 . ISSN 1367-4803. PMID 24463185. S2CID 10052322.
- ^ Wensing, Patrick M.; Niemeyer, Günter; Slotine, Jean-Jacques E. (2024). "Una caracterización geométrica de la observabilidad en la identificación de parámetros inerciales". Revista Internacional de Investigación en Robótica . arXiv : 1711.03896 . doi :10.1177/02783649241258215. ISSN 0278-3649.
- ^ Fiacchini, Mirko; Alamir, Mazen (2021). "La navaja de Ockham aplicada al modelo COVID-19 que se ajusta a los datos franceses". Reseñas anuales en control . 51 : 500–510. doi :10.1016/j.arcontrol.2021.01.002. PMC 7846253 . PMID 33551664.
- ^ Mao, Xiangyu; He, Jianping (2023). "Inidentificabilidad de la dinámica de sistemas: condiciones y diseño de controladores". arXiv : 2308.15493 [eess.SY].
- ^ ab Villaverde, Alejandro F. (1 de enero de 2019). "Observabilidad e identificabilidad estructural de sistemas biológicos no lineales". Complejidad . 2019 : 1–12. arXiv : 1812.04525 . doi : 10.1155/2019/8497093 . ISSN 1076-2787.
- ^ Karin, Omer; Swisa, Avital; Glaser, Benjamin; Dor, Yuval; Alon, Uri (2016). "Compensación dinámica en circuitos fisiológicos". Biología de sistemas moleculares . 12 (11): 886. doi :10.15252/msb.20167216. ISSN 1744-4292. PMC 5147051 . PMID 27875241.
- ^ Raue, A.; Kreutz, C.; Maiwald, T.; Bachmann, J.; Schilling, M.; Klingmüller, U.; Timmer, J. (1 de agosto de 2009). "Análisis de identificabilidad estructural y práctica de modelos dinámicos parcialmente observados mediante la explotación de la verosimilitud del perfil". Bioinformática . 25 (15): 1923–1929. doi : 10.1093/bioinformatics/btp358 . ISSN 1460-2059. PMID 19505944.
- ^ Van Waarde, Henk J.; Eising, Jaap; Camlibel, M. Kanat; Trentelman, Harry L. (2023). "El enfoque de la informatividad: hacia el análisis y el control basados en datos". IEEE Control Systems . 43 (6): 32–66. arXiv : 2302.10488 . doi :10.1109/MCS.2023.3310305. ISSN 1066-033X. S2CID 257050367.
- ^ Gevers, Michel; Bazanella, Alexandre S.; Coutinho, Daniel F.; Dasgupta, Soura (2013). "Identificabilidad y excitación de sistemas polinomiales". 52.ª Conferencia IEEE sobre decisión y control . Florencia: IEEE. págs. 4278–4283. doi :10.1109/CDC.2013.6760547. ISBN. 978-1-4673-5717-3.S2CID 7796419 .
- ^ Karin, Omer; Swisa, Avital; Glaser, Benjamin; Dor, Yuval; Alon, Uri (2016). "Compensación dinámica en circuitos fisiológicos". Biología de sistemas moleculares . 12 (11): 886. doi :10.15252/msb.20167216. ISSN 1744-4292. PMC 5147051 . PMID 27875241.
- ^ ab Sontag, Eduardo D. (6 de abril de 2017). Komarova, Natalia L. (ed.). "Compensación dinámica, identificabilidad de parámetros y equivarianzas". PLOS Computational Biology . 13 (4): e1005447. Bibcode :2017PLSCB..13E5447S. doi : 10.1371/journal.pcbi.1005447 . ISSN 1553-7358. PMC 5398758 . PMID 28384175.
- ^ Zhang, Han; Ringh, Axel (2024). "Control óptimo inverso para reguladores cuadráticos lineales de costo promedio por etapa". Systems & Control Letters . 183 : 105658. arXiv : 2305.15332 . doi :10.1016/j.sysconle.2023.105658.
- ^ Barreiro, Xabier Rey; Villaverde, Alejandro F. (31 de enero de 2023). "Herramientas de evaluación comparativa para el análisis de identificabilidad a priori". Bioinformática . 39 (2): btad065. doi :10.1093/bioinformatics/btad065. ISSN 1367-4811. PMC 9913045 . PMID 36721336.
- ^ Dong, Ruiwen; Goodbrake, Christian; Harrington, Heather A.; Pogudin, Gleb (31 de marzo de 2023). "Eliminación diferencial para modelos dinámicos mediante proyecciones con aplicaciones a la identificabilidad estructural". Revista SIAM de álgebra y geometría aplicadas . 7 (1): 194–235. arXiv : 2111.00991 . doi :10.1137/22M1469067. ISSN 2470-6566. S2CID 245650629.
- ^ Díaz-Seoane, Sandra; Rey-Barreiro, Xabier; Villaverde, Alejandro F. (15 de julio de 2022). "STRIKE-GOLDD 4.0: análisis eficiente y fácil de usar de identificabilidad y observabilidad estructural". arXiv : 2207.07346 [eess.SY].