Differential Equivalence for Linear Differential Algebraic Equations

Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea

Differential Equivalence for Linear Differential Algebraic Equations

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2022

Autor:innen

Tognazzi, Stefano

Tribastone, Mirco

Tschaikowski, Max

Vandin, Andrea

DOI (zitierfähiger Link)

https://doi.org/10.1109/TAC.2021.3108530

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

IEEE Transactions on Automatic Control. Institute of Electrical and Electronics Engineers (IEEE). 2022, 67(7), pp. 3484-3493. ISSN 0018-9286. eISSN 1558-2523. Available under: doi: 10.1109/TAC.2021.3108530

Zusammenfassung

Differential-algebraic equations (DAEs) are a widespread dynamical model that describes continuously evolving quantities defined with differential equations, subject to constraints expressed through algebraic relationships. As such, DAEs arise in many fields ranging from physics, chemistry, and engineering. In this article, we focus on linear DAEs, and develop a theory for their minimization up to an equivalence relation. We present differential equivalence, which relates DAE variables that have equal solutions at all time points (thus requiring them to start with equal initial conditions) and extends the line of research on bisimulations developed for Markov chains and ordinary differential equations. We apply our results to the electrical engineering domain, showing that differential equivalence can explain invariances in certain networks as well as analyze DAEs, which could not be originally treated due to their size.

Fachgebiet (DDC)

004 Informatik

Schlagwörter

Differential-algebraic systems, linear systems, modeling, model/controller reduction

Zitieren

ISO 690

TOGNAZZI, Stefano, Mirco TRIBASTONE, Max TSCHAIKOWSKI, Andrea VANDIN, 2022. Differential Equivalence for Linear Differential Algebraic Equations. In: IEEE Transactions on Automatic Control. Institute of Electrical and Electronics Engineers (IEEE). 2022, 67(7), pp. 3484-3493. ISSN 0018-9286. eISSN 1558-2523. Available under: doi: 10.1109/TAC.2021.3108530

BibTex

@article{Tognazzi2022Diffe-58073,
  year={2022},
  doi={10.1109/TAC.2021.3108530},
  title={Differential Equivalence for Linear Differential Algebraic Equations},
  number={7},
  volume={67},
  issn={0018-9286},
  journal={IEEE Transactions on Automatic Control},
  pages={3484--3493},
  author={Tognazzi, Stefano and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea}
}

RDF

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/58073">
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/58073"/>
    <dc:contributor>Tognazzi, Stefano</dc:contributor>
    <dc:contributor>Vandin, Andrea</dc:contributor>
    <dcterms:title>Differential Equivalence for Linear Differential Algebraic Equations</dcterms:title>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-07-19T09:11:51Z</dcterms:available>
    <dcterms:abstract xml:lang="eng">Differential-algebraic equations (DAEs) are a widespread dynamical model that describes continuously evolving quantities defined with differential equations, subject to constraints expressed through algebraic relationships. As such, DAEs arise in many fields ranging from physics, chemistry, and engineering. In this article, we focus on linear DAEs, and develop a theory for their minimization up to an equivalence relation. We present differential equivalence, which relates DAE variables that have equal solutions at all time points (thus requiring them to start with equal initial conditions) and extends the line of research on bisimulations developed for Markov chains and ordinary differential equations. We apply our results to the electrical engineering domain, showing that differential equivalence can explain invariances in certain networks as well as analyze DAEs, which could not be originally treated due to their size.</dcterms:abstract>
    <dc:language>eng</dc:language>
    <dc:creator>Tognazzi, Stefano</dc:creator>
    <dc:creator>Tribastone, Mirco</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Tschaikowski, Max</dc:creator>
    <dc:contributor>Tschaikowski, Max</dc:contributor>
    <dcterms:issued>2022</dcterms:issued>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Vandin, Andrea</dc:creator>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-07-19T09:11:51Z</dc:date>
    <dc:contributor>Tribastone, Mirco</dc:contributor>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein

Begutachtet

Ja