Hierarchical distributed controllers - design and verification.

Dirk Missal Martin Hirsch Hans-Michael Hanisch

Published in: ETFA (2007)

Keyphrases

computer aided
user interface
functional verification
data sets
engineering design
hierarchical clustering
reinforcement learning
case study
artificial intelligence
control system
distributed systems
computer networks
communication cost
optimal design
formal verification
distributed architecture
databases