Formal Goal Generation for Intelligent Control Systems.

Richard Dapoigny Patrick Barlatier Laurent Foulloy Eric Benoit

Published in: IEA/AIE (2005)

Keyphrases

control system
industrial automation
intelligent systems
neural network
formal methods
database
databases
real world
information retrieval
feature selection
website
database systems
user interface
description logics
formal specification