Semantics and Reasoning for Control Application Engineering Models.

David Hästbacka Seppo Kuikka

Published in: ICAISC (1) (2012)

Keyphrases

model construction
probabilistic model
artificial intelligence
control system
domain knowledge
knowledge representation
complex systems
engineering design
formal models
software engineering
model driven
formal semantics
computational properties
reasoning systems
semantic models