На значение переменной состояния в течение определенного временного интервала накладываются определенные ограничения. Переменные состояния содержат значения состояния, в том числе степень неопределенности. Модели выражают специфические для задачи связи между состояниями, командами и параметрами. Модули оценки интерпретируют параметры и получают факты для оценки состояния. Контроллеры выдают команды, пытаясь добиться поставленных целей. Аппаратные «посредники» предоставляют доступ к аппаратным шинам, устройствам и инструментам