A methodology for provably stable behaviour-based intelligent control