Diszkrét és hibrid diagnosztikai és irányítórendszerek  
 

2004/2005 tanév II. Félév

                    Előadók:         Hangos Katalin egyetemi tanár (hangos@scl.sztaki.hu)
                    Gyakorlat:     
Bordács Zoltán PhD hallgató (zbordacs@freemail.hu)
                                            Németh Erzsébet tud. munkatárs (nemethe@scl.sztaki.hu)

                    Elõadás és gyakorlat:        Hétfő 16:00-20:00  Z602 terem
                                                                Közlekedésautomatikai Tanszék
                                                                Bertalan L. u. 2. Z épület VI. em.

                Tárgyleírás és követelmények

                Beadandó házi feladat kiírások

Heti Beosztás

hét

 

dátum

Elmélet

file

1

HK

febr. 13.

 Folytonos idejű LTI rendszerek input-output és állapottér reprezentációja
 Alapvető rendszertulajdonságok (megfigyelhetőség, irányíthatóság, stabilitás)
 Irányítás, visszacsatolás, diagnosztika

Intro

2

HK

febr.20.

 A diszkrét (logikai) alapeszközök: szabályok és szabályrendszerek időfüggő predikátumokkal;
 következtetés és keresés, kvalitatív modellek (konfluenciák és SDG gráfok)

  DiszkrAlap

3

HK

febr. 27.

 Diszkrét eseményű rendszerek fogalma és alapvető tulajdonságai
 Véges automata modellek
 Petri-háló modellek és kiterjesztett Petri háló modellek (időzített, hierarchikus, színezett)

  DESmodell

4

HK

márc. 6.

 Diszkrét eseményű rendszermodellek megoldása,
 Diszkrét eseményű rendszerek dinamikus analízise

  DESanal

5

HK

 márc. 13.

 Diszkrét vezérlési szekvenciák modell alapú előállítása és verifikációja
 Predikción alapuló diagnosztika, veszteség-megelőző beavatkozások tervezése

  DESdiag

6

BZ

márc. 20.

 Gyakorlat

VisObjNet
HPSim
Sample_Model

7

BZ

márc. 27.

 Gyakorlat

 

8

NE

ápr. 3.

 Konzultáció, I. beadandó HF

 

9

 HK

ápr. 10.

 Hibrid rendszerek, legfontosabb hibrid rendszerosztályok:
 hibrid véges automata modellek, hibrid Petri hálók, hibrid differenciálegyenlet alakú modellek

  HYBmod

10

HK

ápr. 24.

 PWA és kapcsoló rendszerek
 Hibrid rendszerek dinamikus analízise és irányítása: stabilizálás közös kontrol Ljapunov-függvénnyel,
 modell prediktív szabályozás, CFTOC probléma és megoldása

  HYBcont

11

HK

máj. 8.

 Hibrid rendszerek modell alapú diagnosztikája
  DES modellbe ágyazott folytonos dinamika

        HYBdiag
       Irodalom

12

BZ

máj. 15.

 Gyakorlat

 mpt_regulation.zip