Methods for Safety Verification of Time-Delay Systems.

Stephen Prajna Ali Jadbabaie

Published in: CDC/ECC (2005)

Keyphrases

computational cost
mathematical models
computer vision algorithms
benchmark datasets
feature extraction
multi agent systems
expert systems
significant improvement
intelligent systems
empirical studies
learning systems
computationally expensive