Publikation:

Differential Equivalence for Linear Differential Algebraic Equations

Lade...
Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2022

Autor:innen

Tribastone, Mirco
Tschaikowski, Max
Vandin, Andrea

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

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.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

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

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690TOGNAZZI, 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>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Ja
Diese Publikation teilen