SylabUZ
Nazwa przedmiotu | Systemy zdarzeniowe |
Kod przedmiotu | 11.9-WE-AiRD-SD |
Wydział | Wydział Informatyki, Elektrotechniki i Automatyki |
Kierunek | Automatyka i robotyka / Komputerowe Systemy Automatyki |
Profil | ogólnoakademicki |
Rodzaj studiów | drugiego stopnia z tyt. magistra inżyniera |
Semestr rozpoczęcia | semestr zimowy 2022/2023 |
Semestr | 1 |
Liczba punktów ECTS do zdobycia | 3 |
Typ przedmiotu | obowiązkowy |
Język nauczania | polski |
Sylabus opracował |
|
Forma zajęć | Liczba godzin w semestrze (stacjonarne) | Liczba godzin w tygodniu (stacjonarne) | Liczba godzin w semestrze (niestacjonarne) | Liczba godzin w tygodniu (niestacjonarne) | Forma zaliczenia |
Wykład | 15 | 1 | 9 | 0,6 | Egzamin |
Laboratorium | 15 | 1 | 9 | 0,6 | Zaliczenie na ocenę |
Zaliczenie przedmiotu "Sterowanie procesami dyskretnymi"
Nieformalne wprowadzenie do systemów zdarzeniowych.
Podstawy matematyczne. Elementy teorii automatów, niezbędne do formalnej specyfikacji systemów zdarzeniowych. Automat skończony jako model systemu zdarzeniowego. Automaty deterministyczne i niedeterministyczne.
Wprowadzenie do logiki temporalnej. Struktura czasu – czas liniowy i rozgałęzony. Operatory i formuły logiki temporalnej. Logika LTL, CTL, CTL*. Intuicyjne przykłady specyfikacji prostych systemów zdarzeniowych w języku logiki temporalnej.
Zdarzeniowe systemy reaktywne. Ogólna koncepcja HCSFM. Realizacja synchroniczna i asynchroniczna systemów zdarzeniowych.
Formalna weryfikacja specyfikacji systemów zdarzeniowych: Analiza systemu poprzez badanie specyfikacji, zadanej w logikach LTL i CTL. Własności typu „bezpieczeństwo” i „żywotność”. Kontr-przykłady. Metody „model checking”. Zastosowanie narzędzia typu model checker (na przykładzie NuSMV).
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Opis efektu | Symbole efektów | Metody weryfikacji | Forma zajęć |
Wykład – warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu przeprowadzonego w formie pisemnej i ustnej (studia stacjonarne).
Laboratorium – warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze sprawdzianów przygotowania teoretycznego do wykonywania ćwiczeń i sprawozdań z ćwiczeń wskazanych przez prowadzącego zajęcia
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Zmodyfikowane przez dr hab. inż. Wojciech Paszke, prof. UZ (ostatnia modyfikacja: 11-04-2022 09:04)