home › event - placing qualitative reasoning in the design process

EVENT:

Placing Qualitative Reasoning in the Design Process
Conferences & Talks

Qualitative Reasoning Workshop

16 July 2012

 

description

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 Future of Making Things and the Business of Breakthroughs
Stephen Hoover, Keynote Speaker
21 April 2015 - 22 April 2015 | Montreal, Canada
Conferences & Talks  

Disruptive Technologies in Manufacturing (Opening Keynote)
Stephen Hoover
28 April 2015 | Seattle, WA
Conferences & Talks  

The First Five Kilobytes are the Hardest
George Dyson
29 April 2015 | George E. Pake Auditorium, PARC
PARC Forum  

Printed Hybrid Logic Circuits
Janos Veres
29 April 2015 | Berlin, Germany
Conferences & Talks  

IoT User Experience Design
Mike Kuniavsky
12 May 2015 | San Francisco, CA
Conferences & Talks