Formal Design of Distributed Control Systems with Lustre.

Paul Caspi Christine Mazuet Rym Salem Daniel Weber

Published in: SAFECOMP (1999)

Keyphrases

case study
control system
neural network
design process
knowledge based systems
artificial intelligence
information retrieval
multi agent
website
data mining
sensor networks
distributed systems
peer to peer
data sets
agent technology
optimal design
distributed architecture