Control of continuous Petri nets with infinitive servers semantics

Abstract

Bu tezde, zamanlandırılmış sürekli Petri ağı modeli ele alınmıştır. Zamanlandırılmış sürekli Petri ağlarının kontrol girdilerinin durumlara bağlı olarak kısıtlanması gibi kendilerine özgü bazı özelliklerinden dolayı, bu modeller için yeni kontrol metodlarının geliştirilmesine ihtiyaç vardır. Zamanlandırılmış sürekli Petri ağlarının kontrolü, orjinal kesikli zaman Petri ağlarının kontrolüne göre daha kolay görünmekle beraber, ele alınan sistemin dağıtımlı (bağlantılı altsistemlerden oluşmuş) olması durumunda, kontrolcü bütün altsistemlere erişimez. Bu durumda dağıtımlı kontrolcü yaklaşımının ele alınması gerekir. Bu tezde, zamanlandırılmış sürekli Petri ağlarının kontrolü üç farklı açıdan incelenmiştir: 1) Buluşsal bir kontrol yöntemi ile sistemin başlangıç durumundan hedef durumuna doğrusal ya da parçalı doğrusal bir yörünge üzerinde zamanı minimize ederek taşınması, 2) Hedef durumunun bazı bileşenlerinin belirtilmedi i durumlar için çevirimiçi kontrolcü tasarımı, 3) Dağıtımlı modeller için dağıtımlı kontrolcü tasarımı.