Michele Boreale - Algebra, coalgebra, and minimization in polynomial differential equations

lmcs:4009 - Logical Methods in Computer Science, February 15, 2019, Volume 15, Issue 1 - https://doi.org/10.23638/LMCS-15(1:14)2019
Algebra, coalgebra, and minimization in polynomial differential equations

Authors: Michele Boreale

    We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode's). The ring of multivariate polynomials is employed as a syntax for denoting system behaviours. We endow this set with a transition system structure based on the concept of Lie-derivative, thus inducing a notion of L-bisimulation. We prove that two states (variables) are L-bisimilar if and only if they correspond to the same solution in the ode's system. We then characterize L-bisimilarity algebraically, in terms of certain ideals in the polynomial ring that are invariant under Lie-derivation. This characterization allows us to develop a complete algorithm, based on building an ascending chain of ideals, for computing the largest L-bisimulation containing all valid identities that are instances of a user-specified template. A specific largest L-bisimulation can be used to build a reduced system of ode's, equivalent to the original one, but minimal among all those obtainable by linear aggregation of the original equations. A computationally less demanding approximate reduction and linearization technique is also proposed.

    Volume: Volume 15, Issue 1
    Published on: February 15, 2019
    Accepted on: February 15, 2019
    Submitted on: October 24, 2017
    Keywords: Computer Science - Logic in Computer Science

    Linked data

    Source : ScholeXplorer IsCitedBy ARXIV 2107.04455
    Source : ScholeXplorer IsCitedBy DOI 10.4230/lipics.concur.2021.19
    Source : ScholeXplorer IsCitedBy DOI 10.48550/arxiv.2107.04455
    • 10.4230/lipics.concur.2021.19
    • 10.48550/arxiv.2107.04455
    • 2107.04455
    Algebra and Coalgebra of Stream Products
    Boreale, Michele ; Gorla, Daniele ;

    1 Document citing this article


    Consultation statistics

    This page has been seen 411 times.
    This article's PDF has been downloaded 393 times.