ObservabilityTest swMATH ID: 36921 Software Authors: Sedoglavic, Alexandre Description: ObservabilityTest: A maple package that test observability/identifiability of ordinary differential systems in polynomial time. Bibliographic reference (citing this package): A probabilistic algorithm to test local algebraic observability in polynomial time. The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the input-output behavior of an experiment? How many of the remaining variables should we assume to be known in order to determine all the others? These questions are parts of the local algebraic observability problem which is concerned with the existence of a non trivial Lie subalgebra of the symmetries of the model letting the inputs and the outputs invariant. We present a probabilistic seminumerical algorithm that proposes a solution to this problem in polynomial time. A bound for the necessary number of arithmetic operations on the rational field is presented. This bound is polynomial in the complexity of evaluation of the model and in the number of variables. Furthermore, we show that the size of the integers involved in the computations is polynomial in the number of variables and in the degree of the system. Last, we estimate the probability of success of our algorithm. Homepage: http://www.lifl.fr/~sedoglav/Software/ Dependencies: Maple Keywords: identifiability; observability; seminumerical algorithm Related Software: DAISY; COMBOS; SIAN; Maple; GenSSI; BLAD; Mathematica; Kronecker; Nemo; Hecke; DifferentialAlgebra; DIFFALG; DifferentialThomas; AppliedPredictiveModeling; MESSI; Sostools; Python; SloppyCell; tn; MCS Cited in: 21 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A probabilistic algorithm to test local algebraic observability in polynomial time. Zbl 1356.93017Sedoglavic, Alexandre 2001 all top 5 Cited by 49 Authors 3 Anguelova, Milena 3 Sedoglavic, Alexandre 2 Jeronimo, Gabriela 2 Solernó, Pablo 2 Wennberg, Bernt 1 Berthoz, Alain 1 Boulier, François 1 Browne, Edward P. 1 Chappell, Michael J. 1 D’Alfonso, Lisi 1 Evans, Neil D. 1 Farkhatdinov, Ildar 1 García-García, Isidoro 1 Hann, Christopher E. 1 Hayward, Vincent 1 Ilie, Silvana 1 Jiménez-Hornero, Jorge E. 1 Jirstrand, Mats 1 Lang, Moritz 1 Lemaire, François 1 Letham, Benjamin 1 Letham, Portia A. 1 Margaria, Gabriella 1 Matera, Guillermo 1 Michalska, Hannah H. 1 Millán, Mercedes Pérez 1 Molenaar, Jaap 1 Mozharovskiĭ, I. S. 1 Ovchinnikov, Alexey Igorevich 1 Pillay, Anand 1 Pogudin, Gleb A. 1 Reid, Greg J. 1 Riccomagno, Eva 1 Rosenkranz, Markus 1 Rudin, Cynthia 1 Samotylova, S. A. 1 Santos-Dueñas, Inés M. 1 Scanlon, Thomas J. 1 Sirisena, Harsha R. 1 Stelling, Jörg 1 Stigter, Johannes D. 1 Torgashov, A. Yu. 1 Ushirobira, Rosane 1 Verdière, Nathalie 1 Villaverde, Alejandro Fernández 1 White, Lisa J. 1 Wongvanich, Napasool 1 Wu, Wenyuan 1 Yates, James W. T. all top 5 Cited in 12 Serials 4 Automatica 3 Mathematical Biosciences 3 Journal of Symbolic Computation 1 Journal of Mathematical Biology 1 Bulletin of Mathematical Biology 1 Journal of Complexity 1 SIAM Journal on Scientific Computing 1 Complexity 1 Chaos 1 Matematicheskoe Modelirovanie 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 SIAM Journal on Applied Algebra and Geometry all top 5 Cited in 13 Fields 13 Systems theory; control (93-XX) 10 Biology and other natural sciences (92-XX) 6 Ordinary differential equations (34-XX) 5 Computer science (68-XX) 3 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 1 Mathematical logic and foundations (03-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral equations (45-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year