Kontrol mantığı, bir reaktif sistemin olaylara veya koşullu değişikliklere nasıl tepki vereceğini tanımlar ve kontrolcünün bir parçasıdır. Kontrol mantığı uygulamaları şunları içerir:
Farklı çalışma modları arasında nasıl geçiş yapılacağının denetlenmesi
Bir sistem için bir dizi görev veya adım planlama
Arıza tespiti, izolasyon ve düzeltme mantığını tanımlama
Kontrol mantığını modellemek için ortak görevler şunları içerir:
Büyük ölçekli sistemler için hiyerarşik durum makinelerinin modellenmesi
Karmaşık kontrol mantığını tanımlamak için akış şemaları ekleme
Paralellik içeren sistemleri temsil etmek için ortogonal durumları tanımlama
