Alternative to Ritt’s pseudodivision for finding the input-output equations of multi-output models

Differential algebra approaches to structural identifiability analysis of a dynamic system model in many instances heavily depend upon Ritt’s pseudodivision at an early step in analysis. The pseudodivision algorithm is used to find the characteristic set, of which a subset, the input-output equations, is used for identifiability analysis. A simpler algorithm is proposed for this step, using Gröbner Bases, along with a proof of the method that includes a reduced upper bound on derivative requirements. Efficacy of the new algorithm is illustrated with several biosystem model examples.

► We propose an alternative to using Ritt’s pseudodivision for finding the input-output equations.
► We demonstrate our alternative approach on several biological models.
► We prove that our method has a reduced bound on number of derivative computations needed.