Qualitative Reasoning and Design Space Exploration - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2024

Qualitative Reasoning and Design Space Exploration

Résumé

The design of complex systems is a challenging task, combining optimization and testing techniques. Design space exploration allows the designer to optimize the parameters of the system, but is usually very costly and induces many inherent difficulties that require specific computation techniques to be solved. Qualitative reasoning was first introduced to describe system structures and causality, and developed to study the behavior of the system and discretize its state space into qualitative states. It is now used in diagnosis and verification to reduce computation time and precision while still preserving major properties of the behavior. This article presents how we think that qualitative reasoning can be applied to design space exploration in addition to state space discretization, i.e. how it may help in the choice of parameters for a system, by reducing the computational cost of this exploration.
Fichier principal
Vignette du fichier
Example.pdf (157.1 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04452208 , version 1 (12-02-2024)

Licence

Identifiants

Citer

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Qualitative Reasoning and Design Space Exploration. MODELSWARD 2024, INSTICC, Feb 2024, Rome, Italy. pp.203-210, ⟨10.5220/0012417300003645⟩. ⟨hal-04452208⟩
102 Consultations
76 Téléchargements

Altmetric

Partager

More