Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World.

Nuno Gaspar Ludovic Henrio Eric Madelaine

Published in: FACS (2013)

Keyphrases

knowledge base
industrial applications
case study
reasoning systems
low cost
data sets
industrial environment
test bed
meta level
deductive reasoning
spatial reasoning
hardware implementation
domain knowledge
uncertain information
general purpose
quality improvement
fine grain
industrial processes
multi agent