Ayrık olaylı sistemler için hataya dayanıklı denetleyici kontrol: Metotlar ve örnekler

Hatalar kontrol edilemeyen olaylardır. Sistemde bir anda meydana gelirler ve sistemin çalışma düzenin negatif yönde etkilerler. Genellikle, ayrık olaylı sistemlerde (DES) hata olması durumunda, ilgili olayların veya operasyonların bir daha oluşmama ihtimali vardır. Bu tezde hata içeren ayrık olaylı sistemlerin denetleyici kontrolü çalışılmıştır. Bu vesile ile iki ana konsept incelenmiştir: Hataya dayanıklılık ve hata kurtarıcı kontrol. Hataya dayanıklı kontrole ilişkin, sistemin hem normal durumunda hem de hatalı durumda tek bir kontrolör kullanılması amaçlanmıştır. Buradan yola çıkarak, önce hem hatalı hem de hatasız durumda verilen tavrı çalıştırabilen bir spesifikasyonun gerekli ve uygun koşulları tanımlanmıştır. Daha sonra gösterilmiştir ki, tanımlanan koşulların ihlal edildiği durumlarda supremal bir arızaya dayanıklı alt dil belirlenmesi mümkündür. Son olarak bu alt dilin bulunabilmesini sağlayan bir algoritma geliştirilmiş ve bunun doğruluğu kanıtlanmıştır. Var olan diğerçalışmalardan farklı olarak, bizim geliştirdiğimiz hataya dayanıklı kontrolör, hatanın oluşmasına ve sistemin herhangi bir zamanda tamirine izin vermektedir. Hata kurtarıcı kontrole ilişkin, ayrık olaylı sistemlerin operasyonunda hem hata sonrası durumuna hem de tamir sonrası durumunun kontrolü için çalışılmıştır. Öncelikle DES'e yönelik arıza kurtarma için yeni bir model geliştirilmiştir. Özellikle, bir arızadan sonra bozuk bir spesifikasyona göre işlemine devam eden ve sonunda da arızadan sonra istenen bir davranışa yönelen bir arıza oluşumuna kadar, belirtilen nominal sistem davranışını takip eden bir arıza kurtarma denetçisi hesapladık. Ardından, yöntemimizin sistem tamirine de uygulanabileceği gösterilmiş ve isteğe bağlı sayıda arıza oluşumu ve sistem tamiri durumunu kontrol edebilebilen bir denetleyiçi oluşturulmasını sağlayan yinelemeli bir algoritma önerilmiştir. Son olarak, arıza kurtarma ve tamir yöntemi, birçok ve farklı arıza ve tamirler ile birlikte sunulmuştur. Sonuç olarak, arızasız durumlarda belirtilen nominal sistem davranışını takip eden, her bir arıza tipi için istenen bozuk davranışa yönelen ve ilgili tamir işleminden sonra nominal davranışı kurtaran bir denetçi elde edilmiştir. Geliştirilen tüm yöntemler ayrı ayrı oluşturduğumuz bir küçük üretim sistemi örneğiyle gösterilmiş ve tüm sonuçlar aynı örnek üzerinde açıklanmıştır.