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 paper we focus on linear DAEs, and develop a theory for their minimization up to an equivalence relation. We present backward invariance, 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 backward-type bisimulations developed for Markov chains and ordinary differential equations. We apply our results to the electrical engineering domain, showing that backward invariance can explain symmetries in certain networks as well as analyze DAEs which could not be originally treated due to their size.

Backward Invariance for Linear Differential Algebraic Equations

Tribastone M.;
2019-01-01

Abstract

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 paper we focus on linear DAEs, and develop a theory for their minimization up to an equivalence relation. We present backward invariance, 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 backward-type bisimulations developed for Markov chains and ordinary differential equations. We apply our results to the electrical engineering domain, showing that backward invariance can explain symmetries in certain networks as well as analyze DAEs which could not be originally treated due to their size.
2019
978-1-5386-1395-5
File in questo prodotto:
File Dimensione Formato  
08619710.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Nessuna licenza
Dimensione 340.97 kB
Formato Adobe PDF
340.97 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11771/16505
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
social impact