home › event - placing qualitative reasoning in the design process


Placing Qualitative Reasoning in the Design Process
Conferences & Talks

Qualitative Reasoning Workshop

16 July 2012



Design of physical devices is competitive task undertaken by engineering professionals in diverse industries. In addition to numeric analyses and quantitative simulations, designers use qualitative knowledge about components, devices, and contexts of use to arrive at suitable designs. To put qualitative reasoning in the hands of the designers, it is necessary to integrate with existing design tools (e.g., OpenModelica). In this paper, we focus on two design tasks: verification and design space exploration. To support verification, we introduce the process of qualitative verification and the automatic extraction of guards (logical statements that guide detailed design). To support design space exploration, we introduce a tool that automatically generates candidate designs and identifies promising designs through qualitative verification. Next, we discuss design requirements, and how they could be captured qualitatively. We close with a discussion of related work and some open questions.

upcoming events   view all 

The Experience When Business Meets Design
Brian Solis
27 October 2016
PARC Forum  

AI Case Studies: Pushing the Frontiers of Systems Engineering
Tolga Kurtoglu
9 November 2016 | San Francisco, CA
Conferences & Talks  

2016 AIChE Annual Meeting: Energy and Transport Processes
Corie L. Cobb
14 November 2016 - 15 November 2016 | San Francisco, CA
Conferences & Talks  

Printed Electronics USA 2016 - Visit PARC’s Booth #T20
Ross Bringans, Markus Larsson, Janos Veres
16 November 2016 - 17 November 2016 | Santa Clara, CA
Conferences & Talks