Verifying Distributed Controllers with Local Invariants.

Yiqun Wang Shengwei An Xiaoxing Ma Chun Cao Chang Xu

Published in: QRS (2016)

Keyphrases

distributed systems
cooperative
multi agent
computing environments
data mining
computer networks
distributed architecture
real time
control law
closed loop
mobile agents
lightweight
peer to peer
sensor networks
reinforcement learning
learning algorithm
databases