Qualitative Reasoning and Design Space Exploration

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger

2024

Abstract

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.

Paper Citation

in Harvard Style

Gueuziec B., Gallois J. and Boulanger F. (2024). Qualitative Reasoning and Design Space Exploration. In Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-682-8, SciTePress, pages 203-210. DOI: 10.5220/0012417300003645

in Bibtex Style

@conference{modelsward24,
author={Baptiste Gueuziec and Jean-Pierre Gallois and Frédéric Boulanger},
title={Qualitative Reasoning and Design Space Exploration},
booktitle={Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2024},
pages={203-210},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012417300003645},
isbn={978-989-758-682-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Qualitative Reasoning and Design Space Exploration
SN - 978-989-758-682-8
AU - Gueuziec B.
AU - Gallois J.
AU - Boulanger F.
PY - 2024
SP - 203
EP - 210
DO - 10.5220/0012417300003645
PB - SciTePress