Robustness issues with steady-state initialization remain a barrier in the practical use of declarative modeling languages for multi-domain modeling of large, complex, and heterogeneous technical systems. The objective of this paper is to illustrate how probability-one homotopy, an established method from topology, can solve this issue. This is achieved by establishing a framework for application-specific probability-one homotopy in declarative modeling languages. The analysis is based on domain-specific probability-one homotopy maps, which were reformulated in a declarative fashion. Additionally, a novel probability-one homotopy map and associated coercivity proof is introduced for a class of thermo-fluid dynamics problems. It was found that the approach enables robust initialization for declarative modeling languages on several test cases and leads to a concise declarative problem formulation.

Robustness of declarative modeling languages: Improvements via probability-one homotopy

CASELLA, FRANCESCO;
2013-01-01

Abstract

Robustness issues with steady-state initialization remain a barrier in the practical use of declarative modeling languages for multi-domain modeling of large, complex, and heterogeneous technical systems. The objective of this paper is to illustrate how probability-one homotopy, an established method from topology, can solve this issue. This is achieved by establishing a framework for application-specific probability-one homotopy in declarative modeling languages. The analysis is based on domain-specific probability-one homotopy maps, which were reformulated in a declarative fashion. Additionally, a novel probability-one homotopy map and associated coercivity proof is introduced for a class of thermo-fluid dynamics problems. It was found that the approach enables robust initialization for declarative modeling languages on several test cases and leads to a concise declarative problem formulation.
2013
File in questo prodotto:
File Dimensione Formato  
2013-SielemannCasellaOtter-SIMPAT.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 1.68 MB
Formato Adobe PDF
1.68 MB Adobe PDF   Visualizza/Apri

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/11311/759057
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact