Каждая система эксперт состоит из базы знаний и логического вывода двигателя.
Если вы собираетесь использовать архитектуру системы Эксперта:
вы должны убедиться, что у вас есть эти знания собраны из фактической и эвристических знаний. Это правила, в основном состоящие из части IF и части THEN.
, как вы будете применять эти правила, определяются логический вывод - модель решения проблем, когда общая парадигма выстраивание IF-THEN правил (например forward chaining и backward chaining).
Теперь, отвечая на ваш вопрос, мне ваш пример выглядит как спецификации дискретной кибер-физической система (в зависимости от других характеристик можно считать гибрид тоже). Кибер-физическую систему можно также рассматривать как state machine, которая является системой, которая существует в ограниченном числе условий и имеет запрещенные состояния и переходит от одного состояния к другому в соответствии с фиксированным набором правил. Кроме того, если бы у вас были возможные входные и выходные события в вашем примере, вы могли бы спроектировать Moore, машины Mealy, сетки Petri, диаграммы состояния вашего государственного аппарата, учитывая спецификации, а затем использовать формальные методы проверки для его проверки.