{"title":"计算机代数在动力系统参数分析中的应用","authors":"N. Verdière, S. Orange","doi":"10.1145/3476446.3535473","DOIUrl":null,"url":null,"abstract":"The purpose of this article is to present some recent applications of computer algebra to answer structural and numerical questions in applied sciences. A first example concerns identifiability which is a pre-condition for safely running parameter estimation algorithms and obtaining reliable results. Identifiability addresses the question whether it is possible to uniquely estimate the model parameters for a given choice of measurement data and experimental input. As discussed in this paper, symbolic computation offers an efficient way to do this identifiability study and to extract more information on the parameter properties. A second example addressed hereafter is the diagnosability in nonlinear dynamical systems. The diagnosability is a prior study before considering diagnosis. The diagnosis of a system is defined as the detection and the isolation of faults (or localization and identification) acting on the system. The diagnosability study determines whether faults can be discriminated by the mathematical model from observations. These last years, the diagnosability and diagnosis have been enhanced by exploitting new analytical redundancy relations obtained from differential algebra algorithms and by the exploitation of their properties through computer algebra techniques.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"100 7-8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Applications of Computer Algebra to Parameter Analysis of Dynamical Systems\",\"authors\":\"N. Verdière, S. Orange\",\"doi\":\"10.1145/3476446.3535473\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The purpose of this article is to present some recent applications of computer algebra to answer structural and numerical questions in applied sciences. A first example concerns identifiability which is a pre-condition for safely running parameter estimation algorithms and obtaining reliable results. Identifiability addresses the question whether it is possible to uniquely estimate the model parameters for a given choice of measurement data and experimental input. As discussed in this paper, symbolic computation offers an efficient way to do this identifiability study and to extract more information on the parameter properties. A second example addressed hereafter is the diagnosability in nonlinear dynamical systems. The diagnosability is a prior study before considering diagnosis. The diagnosis of a system is defined as the detection and the isolation of faults (or localization and identification) acting on the system. The diagnosability study determines whether faults can be discriminated by the mathematical model from observations. These last years, the diagnosability and diagnosis have been enhanced by exploitting new analytical redundancy relations obtained from differential algebra algorithms and by the exploitation of their properties through computer algebra techniques.\",\"PeriodicalId\":130499,\"journal\":{\"name\":\"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation\",\"volume\":\"100 7-8 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-07-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3476446.3535473\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3476446.3535473","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Applications of Computer Algebra to Parameter Analysis of Dynamical Systems
The purpose of this article is to present some recent applications of computer algebra to answer structural and numerical questions in applied sciences. A first example concerns identifiability which is a pre-condition for safely running parameter estimation algorithms and obtaining reliable results. Identifiability addresses the question whether it is possible to uniquely estimate the model parameters for a given choice of measurement data and experimental input. As discussed in this paper, symbolic computation offers an efficient way to do this identifiability study and to extract more information on the parameter properties. A second example addressed hereafter is the diagnosability in nonlinear dynamical systems. The diagnosability is a prior study before considering diagnosis. The diagnosis of a system is defined as the detection and the isolation of faults (or localization and identification) acting on the system. The diagnosability study determines whether faults can be discriminated by the mathematical model from observations. These last years, the diagnosability and diagnosis have been enhanced by exploitting new analytical redundancy relations obtained from differential algebra algorithms and by the exploitation of their properties through computer algebra techniques.