Computer Algebra Tests on Identifiability of Nonlinear Implicit Dynamic Systems

In this contribution criteria on identifiability of system parameters of nonlinear implicit dynamical systems, also denoted differential algebraic equation systems (DAEs), are presented. Two interesting questions can be posed in this context: We ask for identifiability along a given trajectory and the existence of a trajectory through a given point in the state space such that the parameters are identifiable along it. A computer algebra algorithm to test these properties is provided. As a special case systems in explicit form are considered and a mechanical example is shown as application.