A Relational Constraint Solver for Model-Based Engineering

Mauss, Jakob; Seelisch, Frank; Tatar, Mugur

doi:10.1007/3-540-46135-3_48

Cited by 4 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main disadvantage of using it is a large number of possible conflicts 2 n , where n is the number of components. In the previous years, this problem has been an active area of research, in order to find a minimal conflict [18] or the finding all potential minimal conflicts, using CS-Tree [15] or using preprocessing, independence and incrementally features of initial model [9]. In the DX community there are a lot of works in this sense as the calculation the minimal chains which can be evaluated, the minimal models which can also be evaluated [19] and symbolic processing algorithms (Gröbner bases) of the initial model [10].…”

Section: Introductionmentioning

confidence: 99%

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis

López

Guerrero

Gasca

et al. 2004

Constraint Databases

View full text Add to dashboard Cite

Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of the system to diagnose, and may be represented by constraints associated to the components. The variables of these constraints can be observable or non-observable, depending on the situation of the sensors. In order to obtain the potential minimal diagnosis in a system, an important issue is related to finding out the potential minimal conflicts in an efficient way. We consider that Constraint Databases represent an excellent option in order to solve this problem in complex systems. In this work we have used a novel logical architecture of Constraint Databases which has allowed obtaining these potential conflicts by means of the corresponding queries. Moreover, we have considered Gröbner Bases as a projection operator to obtain the potential minimal conflicts of a system. The first results obtained on this work, which are shown in a heat exchangers example, have been very promising.

show abstract

Section: Introductionmentioning

confidence: 99%