A systematic approach for doing an a priori identifiability study of dynamical nonlinear models

International audienceThis paper presents a method for investigating, through an automatic procedure, the (lack of) structural identifiability of dynamical models parameters. This method takes into account constraints on parameters and returns parameters whose estimations turn unidentifiable parameters into identifiable ones. It is based on (i) an equivalence between an extension of the notion of identifiability and the existence of solutions of algebraic systems, (ii) the use of symbolic computations for testing their existence. This method is described in details and is applied to two examples, the last one involving 12 parameters