A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory.

Oliver E. Theel

Published in: HICSS (2001)

Keyphrases

distributed systems
learning algorithm
expert systems
multi modal
neural network
machine learning
artificial intelligence
complex systems
manufacturing systems
variable structure