Kontrol Mantığı

Reaktif sistem modellemesi için kontrol mantığı

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