Interpretowane sieci Petriego

Slides:



Advertisements
Podobne prezentacje
Modelowanie i symulacja
Advertisements

Metody badania stabilności Lapunowa
Piotr Szwed Katedra Automatyki AGH
Podstawowe pojęcia programowania współbieżnego
Obserwowalność System ciągły System dyskretny
Macierzowa reprezentacja sieci
Literatura podstawowa
Sieci Petriego Marcin Jałmużna.
Formalizacja i uwiarygodnianie Iteracyjny proces syntezy modeli
Badania operacyjne. Wykład 2
Zakład Mechaniki Teoretycznej
Wykład no 11.
Wprowadzenie do sieci Petriego
Ulepszenia metody Eigenfaces
Metody Sztucznej Inteligencji w Sterowaniu 2009/2010Optymalizacja miary efektywności działania sztucznych sieci neuronowych Dr hab. inż. Kazimierz Duzinkiewicz,
Sterowalność i obserwowalność
Obserwowalność System ciągły System dyskretny u – wejścia y – wyjścia
Wykład 10 Prowadzący: dr Paweł Drozda
Krzysztof Suchecki wybrana prezentacja z konferencji ECCS'07 w Dreźnie Interacting Random Boolean Networks.
Tablice wielowymiarowe 1
Redukcja sieci Petriego
Linear Methods of Classification
Wstęp do interpretacji algorytmów
Stabilność Stabilność to jedna z najważniejszych właściwości systemów dynamicznych W większości przypadków, stabilność jest warunkiem koniecznym praktycznego.
Układy sekwencyjne pojęcia podstawowe.
minimalizacja automatów
Sterowalność i obserwowalność
Metody Lapunowa badania stabilności
Problem kodowania x s 1 A B C D Wariant I A = 00 B = 01 C = 10 D = 11
Zadanie programowania liniowego PL dla ograniczeń mniejszościowych
Szeregowanie sieciowe
Zadanie programowania liniowego PL dla ograniczeń mniejszościowych
Prognozowanie z wykorzystaniem modeli ekonometrycznych
Systemy wspomagania decyzji
Technika optymalizacji
Modelowanie i identyfikacja 2010/2011Optymalizacja miary efektywności działania sztucznych sieci neuronowych Dr hab. inż. Kazimierz Duzinkiewicz, Katedra.
Teoria sterowania 2011/2012Stabilno ść Kazimierz Duzinkiewicz, dr hab. in ż. Katedra In ż ynierii Systemów Sterowania 1 Stabilność Stabilność to jedno.
Dekompozycja Kalmana systemów niesterowalnych i nieobserwowalnych
Wykład 11 Badanie stabilności układu regulacji w przestrzeni stanów
Dana jest sieć dystrybucji wody w postaci: Ø      m- węzłów,
Marcin Jaruszewicz Jacek Mańdziuk
Podstawowe pojęcia rachunku zdań
Obserwowalność i odtwarzalność
Źródła błędów w obliczeniach numerycznych
Podstawy Techniki Cyfrowej
Obliczalność czyli co da się policzyć i jak Model obliczeń sieci liczące dr Kamila Barylska.
Diagram aktywności (czynności)
Systemy dynamiczne 2014/2015Sterowalność - osiągalność  Kazimierz Duzinkiewicz, dr hab. inż.Katedra Inżynierii Systemów Sterowania 1 Sterowalność i obserwowalność.
Grafika i komunikacja człowieka z komputerem
Systemy dynamiczne 2014/2015Obserwowalno ść i odtwarzalno ść  Kazimierz Duzinkiewicz, dr hab. in ż. Katedra In ż ynierii Systemów Sterowania 1 Obserwowalność.
Diagram czynności Diagram czynności (activity diagram) służy do modelowania dynamicznych aspektów systemu. Diagram czynności przedstawia sekwencyjne lub.
I T P W ZPT 1 Kodowanie stanów to przypisanie kolejnym stanom automatu odpowiednich kodów binarnych. b =  log 2 |S|  Problem kodowania w automatach Minimalna.
WIELORÓWNANIOWE MODELE EKONOMETRYCZNE
Wstęp do interpretacji algorytmów
Model warstwowy ISO-OSI
Wstęp do programowania Wykład 7
ZPT f Gate ArrayStandard Cell Programmable Logic Devices PAL, PLA 1 Omówione do tej pory metody syntezy dotyczą struktur bramkowych… Dekompozycja funkcji.
ZPT 1 Dekompozycja nierozłączna Pojęcie r - przydatności Dekompozycja zrównoważona Dekompozycja równoległa.
Model ekonometryczny Jacek Szanduła.
STATYSTYKA – kurs podstawowy wykład 8 dr Dorota Węziak-Białowolska Instytut Statystyki i Demografii.
Osoby prowadzące zajęcia z Informatyki (II część): Prof. Mirosław Czarnecki (W+L) Konsultacje:piątek (p. 302a)
Elementy cyfrowe i układy logiczne
Metody optymalizacji Materiał wykładowy /2017
Teoria sterowania Wykład /2016
Projektowanie systemów cyfrowych z wykorzystaniem języka VHDL
Układy asynchroniczne
WYRAŻENIA ALGEBRAICZNE
Podstawy Automatyki Człowiek- najlepsza inwestycja
ALGORYTMY I STRUKTURY DANYCH
T-W-1 Wstęp. Modelowanie układów mechanicznych 1
Zapis prezentacji:

Interpretowane sieci Petriego Sieć Petriego dla stanowiska do wiercenia

Warunki i zdarzenia Interpretacja Moore’a Interpretacja Mealy’ego Zdarzenia przypisane do miejsc Interpretacja Mealy’ego Zdarzenia przypisane do tranzycji

Interpretacja logiczna Warunki i zdarzenia - koniunkcje zmiennych logicznych x1x3 x1x2 y1 y1y2 y4 y2 y1y3 x1x3 x1x2 y1y2 y1 y2 Interpretacja Moore’a Interpretacja Mealy’ego

Właściwości poprawności --------------Poziom nieinterpretowanej sieci-------------- Cykliczność (ze wszystkich osiągalnych znakowań sieci osiągalne jest znakowanie początkowe) Nienadmiarowość (sieć nie ma martwych tranzycji) Bezpieczeństwo (wszystkie osiągalne znakowania są bezpieczne) -------------- Poziom interpretowanej sieci -------------- Niesprzeczność (współbieżne tranzycje nie nadają różnych wartości tej samej zmiennej) Stabilność (współbieżne tranzycje nigdy nie naruszają warunków swojej realizacji)

Przykłady niepoprawności t3 p2 p4 p3 t1 t2 t4 p4 p1 p2 p3 t1 t2 t3 p2 p3 p1 t1 t2 t3 Nadmiarowość Niebezpieczeństwo Niecykliczność a c a c b a b c Brak stabilności Sprzeczność

Analiza poprawności (poziom nieinterpretowanej sieci) } } Cykliczność & Nienadmiarowość Bezpieczeństwo Żywotność  Sieci LS Sposoby analizy żywotności i bezpieczeństwa: 1. Rozwiązywanie systemu równań. 2. Redukcja (najlepiej nadaje się do sieci EFS)

Analiza poprawności (poziom interpretowanej sieci) 1.Znaleźć relację współbieżności na zbiorze miejsc (dwa miejsca są współbieżne, jeśli istnieje osiągalne znakowanie, w którym one mają znaczniki) 2. Znaleźć relację współbieżności na zbiorze tranzycji (dwie tranzycje bez wspólnych miejsc wejściowych są współbieżne, jeśli istnieje osiągalne znakowanie, w którym są one aktywne). 3. Sprawdzić niesprzeczność i stabilność dla wszystkich par współbieżnych tranzycji.

Kodowanie miejsc sieci Petriego Kodowanie miejsc - przypisywanie miejscom wektorów kodowych. Różnica między kodowaniem miejsc sieci i stanów FSM - miejsca mogą zawierać znaczniki równolegle. Automat współbieżny - ma zbiór lokalnych stanów, mogących występować współbieżnie. Globalny stan składa się ze zbioru stanów lokalnych. Najprostszy sposób kodowania - kodowanie unitarne : zmienne kodowe Stany lokalne

Wektory trójkowe jako kody stanów lokalnych Stany lokalne kodowane są przez wektory trójkowe. Współbieżne stany kodowane są przez wektory nieortogonalne. Niewspółbieżne stany kodowane są przez wektory ortogonalne. Macierz ortogonalności Macierz kodowa