Functional and behavioural models for the supervision of an intelligent and autonomous system