First steps towards exact algebraic identification
The algebraic identification problem of causal functionals, as obtained from noncommutative generating series by evaluating words as iterated integrals of the inputs, is the subject of this paper. This problem asks whether there is an algorithm for computing the coefficients of a generating series when the Taylor expansions (at \(t = 0\)) of the system inputs and related outputs are known. Though some proofs are known of the fact that if \(G\) and \(H\) are two generating series defining the same causal functional, then \(G =H\) (injectivity of the evaluation map), all of them require some knowledge of the output \(y(t)\) and of its iterated derivatives everywhere in some neighbourhood of \(0\). Moreover, none of them provides an exact identification method. In this paper, three proofs of the injectivity of the evaluation map are first recalled and discussed. Then a formula for the computation of the iterated derivatives of the output is presented. An algorithm computing the contribution, in the generating series \(G\), of each input's multiderivative completes the paper. This constitutes a first step in the exact algebraic identification, leaving the computation of the coefficient of \(G\) of each input's iterated integral to be done yet.
- Algebraic identification problem: results and perspectives
- A note on algebraic solutions to identification
- scientific article; zbMATH DE number 1684356
- scientific article; zbMATH DE number 3861023
- scientific article; zbMATH DE number 836575
- Current algebras and the identification problem
- An algebraic framework for linear identification
- Deterministic identifiability and algebraic invariants for polynomial systems
- Identity based identification from algebraic coding theory
- Identifiability and distinguishability testing via computer algebra
- A formula for iterated derivatives along trajectories of nonlinear systems
- Algebraic Differential Equations and Rational Control Systems
- An algebraic approach to nonlinear functional expansions
- Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
- Fonctionnelles causales non linéaires et indéterminées non commutatives
- Generating series and nonlinear systems: Analytic aspects, local realizability, and i/o representations
- scientific article; zbMATH DE number 4006080 (Why is no real title available?)
- scientific article; zbMATH DE number 4106709 (Why is no real title available?)
- Iterated path integrals
- On two definitions of observation spaces
This page was built for publication: First steps towards exact algebraic identification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1381826)
