Symbolic Computation for Integro-Differential-Time-Delay Operators with Matrix Coefficients⁎. Issue 14 (2018)

• Record Type: Journal Article
• Authors: Cluzeau, Thomas; Poor, Jamal Hossein; Quadrat, Alban; Raab, Clemens G.; Regensburger, Georg
• Is Part Of: IFAC-PapersOnLine. Volume 51:Issue 14(2018)
• Page Start: 153
• Page End: 158
• Publication Date: 2018
• Subjects: Differential time-delay systems -- computer algebra -- integro-differential operators with linear substitutions -- normal forms -- Artstein's reduction -- algebraic analysis approach to linear systems theory; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2018.07.215
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: The purpose of this paper is to algebraize and automatize computations with linear differential time-delay systems and their solutions. To this end, we explain an algebraic construction of the ring of integro-differential operators with linear substitutions having (noncommutative) matrix coefficients, which contains the ring of integro-differential-time-delay operators. Based on a reduction system for this ring, we show how such operators can be uniquely expanded into irreducible terms. Symbolic computations with these operators and their normal forms are implemented in a Mathematica package. This even allows for computations with systems having generic size and/or undetermined matrix coefficients. We illustrate how, by elementary computations with operators in this framework, results like the method of steps can be found and proven in an automated way. Normal form computations with our package can be used to partly automatize solving operator equations. As an example, we recover a generalization of Artstein's reduction, which solves an equivalence problem of a class of differential time-delay control systems.