Dynamická simulace chování vzduchotechniky tunelu Blanka



Podobné dokumenty
INOVACE ODBORNÉHO VZDĚLÁVÁNÍ NA STŘEDNÍCH ŠKOLÁCH ZAMĚŘENÉ NA VYUŽÍVÁNÍ ENERGETICKÝCH ZDROJŮ PRO 21. STOLETÍ A NA JEJICH DOPAD NA ŽIVOTNÍ PROSTŘEDÍ

OPTIMALIZACE A MULTIKRITERIÁLNÍ HODNOCENÍ FUNKČNÍ ZPŮSOBILOSTI POZEMNÍCH STAVEB D24FZS

Stanovení nejistot při výpočtu kontaminace zasaženého území

NUMERICKÝ MODEL NESTACIONÁRNÍHO PŘENOSU TEPLA V PALIVOVÉ TYČI JADERNÉHO REAKTORU VVER 1000 SVOČ FST 2014

Počítačová dynamika tekutin (CFD) Základní rovnice. - laminární tok -

Zada nı bakala r ske pra ce

CFD simulace obtékání studie studentské formule FS.03

Software pro modelování chování systému tlakové kanalizační sítě Popis metodiky a ukázka aplikace

U Úvod do modelování a simulace systémů

01 Teoretické disciplíny systémové vědy

Rozvoj tepla v betonových konstrukcích

Modelování a simulace Lukáš Otte

MATEMATIKA V MEDICÍNĚ

Proudění vzduchu v chladícím kanálu ventilátoru lokomotivy

Globální matice konstrukce

BIM & Simulace CFD simulace ve stavebnictví. Ing. Petr Fischer

VÝVOJ PARNÍHO KONDENZÁTORU PRO SIMULACI PROVOZU KONDENZAČNÍCH TURBÍN

OSA. maximalizace minimalizace 1/22

POSTUPY SIMULACÍ SLOŽITÝCH ÚLOH AERODYNAMIKY KOLEJOVÝCH VOZIDEL

Výpočet stlačitelného proudění metodou konečných objemů

Únosnost kompozitních konstrukcí

Odpružená sedačka. Petr Školník, Michal Menkina. TECHNICKÁ UNIVERZITA V LIBERCI Fakulta mechatroniky, informatiky a mezioborových studií

Modelování elektromechanického systému

WP25: Pokročilé zkušební metody pro spalovací motory a hnací řetězec Vedoucí konsorcia podílející se na pracovním balíčku

Elektronické obvody analýza a simulace

Aplikace metody konečných prvků

MODELOVÁNÍ. Základní pojmy. Obecný postup vytváření induktivních modelů. Měřicí a řídicí technika magisterské studium FTOP - přednášky ZS 2009/10

Ústav technologie, mechanizace a řízení staveb. CW01 - Teorie měření a regulace 10.2 ZS 2010/2011. reg Ing. Václav Rada, CSc.

Teorie systémů TES 1. Úvod

Bonn, Rheinischen Friedrich-Wilhelms-Universität

Základy algoritmizace

133PSBZ Požární spolehlivost betonových a zděných konstrukcí. Přednáška A3. ČVUT v Praze, Fakulta stavební katedra betonových a zděných konstrukcí

Propojení matematiky, fyziky a počítačů

Studium závislosti výpočetního času algoritmu GPC prediktivního řízení na volbě typu popisu matematického modelu v regulátoru

Úvod do modelování a simulace. Ing. Michal Dorda, Ph.D.

Diplomová práce Prostředí pro programování pohybu manipulátorů

Modelování zdravotně významných částic v ovzduší v podmínkách městské zástavby

Řešení "stiff soustav obyčejných diferenciálních rovnic

Větrání tunelu Blanka

Energetický ústav Odbor termomechaniky a techniky prostředí. Možnosti implementace vlastního kódu pro použití v simulačním software TRNSYS

NESTABILITY VYBRANÝCH SYSTÉMŮ. Úvod. Vzpěr prutu. Petr Frantík 1

Fakulta elektrotechniky a komunikačních technologíı Ústav automatizace a měřicí techniky v Brně

Úvod do analytické mechaniky

KNIHOVNA MODELŮ TECHNOLOGICKÝCH PROCESŮ

Základy algoritmizace

Návrh a simulace zkušební stolice olejového čerpadla. Martin Krajíček

3. úloha - problém batohu metodami branch & bound, dynamické programování, heuristika s testem

( LEVEL 2 něco málo o matematickém popisu, tvorbě simulačního modelu a práci s ním. )

Příspěvek do konference STČ 2008: Numerické modelování obtékání profilu NACA 0012 dvěma nemísitelnými tekutinami

MĚŘENÍ A MODELOVÁNÍ DYNAMICKÝCH DĚJŮ V PRUŽNÉM POTRUBÍ. Soušková H., Grobelný D.,Plešivčák P.

Otázky ke státní závěrečné zkoušce

ČVUT v Praze Fakulta stavební Katedra technických zařízení budov. 125ESB Energetické systémy budov. prof. Ing. Karel Kabele, CSc. ESB1 - Harmonogram

Regulace jednotlivých panelů interaktivního výukového systému se dokáže automaticky funkčně přizpůsobit rozsahu dodávky

POČÍTAČOVÁ SIMULACE PODNIKOVÝCH PROCESŮ. Ing. V. Glombíková, PhD.

Ing. Tomáš MAUDER prof. Ing. František KAVIČKA, CSc. doc. Ing. Josef ŠTĚTINA, Ph.D.

Mechanika s Inventorem

CVIČENÍ č. 11 ZTRÁTY PŘI PROUDĚNÍ POTRUBÍM

Fakulta elektrotechnická. Řízení ventilace tunelu Blanka

Obecné cíle a řešené dílčí etapy

Odhad stavu matematického modelu křižovatek

Programové systémy MKP a jejich aplikace

Dynamika vázaných soustav těles

Praktické využití Mathematica CalcCenter. Ing. Petr Kubín, Ph.D. Katedra elektroenergetiky, ČVUT v Praze, FEL

Algoritmizace diskrétních. Ing. Michal Dorda, Ph.D.

České vysoké učení technické v Praze Fakulta elektrotechnická. katedra kybernetiky BAKALÁŘSKÁ PRÁCE

FLUENT přednášky. Metoda konečných objemů (MKO)

PARAMETRICKÁ STUDIE VÝPOČTU KOMBINACE JEDNOKOMPONENTNÍCH ÚČINKŮ ZATÍŽENÍ

ÚVOD DO MODELOVÁNÍ V MECHANICE DYNAMIKA VÁZANÝCH MECHANICKÝCH SYSTÉMŮ

SIMULACE SYSTÉMŮ S ROZPROSTŘENÝMI PARAMETRY V SIMULINKU

Katedra geotechniky a podzemního stavitelství

Formální Metody a Specifikace (LS 2011) Formální metody pro kyber-fyzikální systémy

OTÁZKY K PROCVIČOVÁNÍ PRUŽNOST A PLASTICITA II - DD6

Speciální numerické metody 4. ročník bakalářského studia. Cvičení: Ing. Petr Lehner Přednášky: doc. Ing. Martin Krejsa, Ph.D.

2D transformací. červen Odvození transformačního klíče vybraných 2D transformací Metody vyrovnání... 2

Moderní nástroje pro vývoj elektronických řídicích jednotek

VYUŽITÍ PRAVDĚPODOBNOSTNÍ METODY MONTE CARLO V SOUDNÍM INŽENÝRSTVÍ

Analýza spolehlivosti tlakové nádoby metodou Monte Carlo

Centrum kompetence automobilového průmyslu Josefa Božka - Kolokvium Božek 2014, Roztoky -

Případ data vozidla data trati 1. konstantní mění se 2. mění se konstantní

REGRESNÍ ANALÝZA V PROSTŘEDÍ MATLAB

Vyhněte se katastrofám pomocí výpočetní matematiky

MATEMATICKÝ MODEL PŮDNÍHO BIOREAKTORU V PROSTŘEDÍ MATLAB A FEMLAB. Marta Palatová, Miloš Kmínek, Jana Finkeová

Václav Uruba home.zcu.cz/~uruba ZČU FSt, KKE Ústav termomechaniky AV ČR, v.v.i., ČVUT v Praze, FS, UK MFF

OPTIMÁLNÍ SEGMENTACE DAT

Diskrétní řešení vzpěru prutu

Centrum kompetence automobilového průmyslu Josefa Božka - AutoSympo a Kolokvium Božek 2. a , Roztoky -

DIPLOMOVÁ PRÁCE Nelineární řízení magnetického ložiska

SIGNÁLY A LINEÁRNÍ SYSTÉMY

Téma doktorských prací pro akademický rok 2018/2019. Pavel Novotný

Simulace železničních sítí

NÍZKOEMISNÍ ZÓNY V MSK STUDIE PROVEDITELNOSTI. Jiří Jedlička, Libor Špička

Počítačová chemie. výpočetně náročné simulace chemických a biomolekulárních systémů. Zora Střelcová

NÁVRH A REALIZACE ÚLOH DO FYZIKÁLNÍHO PRAKTIKA Z

Metody analýzy modelů. Radek Pelánek

Martin NESLÁDEK. 14. listopadu 2017

Předmluva 9 Obsah knihy 9 Typografické konvence 10 Informace o autorovi 10 Poděkování 10

TÉMATA PROJEKTŮ KME/PRJ3 VYPSANÁ PRO ZIMNÍ SEMESTR AK. R. 2016/17. Katedra mechaniky

JEDNOTKY. E. Thöndel, Ing. Katedra mechaniky a materiálů, FEL ČVUT v Praze. Abstrakt

Budeme hledat řešení y(x) okrajové úlohy pro diferenciální rovnici druhého řádu v samoadjungovaném tvaru na intervalu a, b : 2 ) y i p i+ 1

Verifikace modelu VT přehříváků na základě provozních měření

Transkript:

Dynamická simulace chování vzduchotechniky tunelu Blanka Oto Sládek, Lukáš Kurka, Lukáš Ferkl, Jan Pořízek, Michael Šebek Kybertec, s.r.o. Katedra řídicí techniky, FEL ČVUT Satra, s.r.o Ústav teorie informace a automatizace, AV ČR Abstrakt Následující článek pojednává o tvorbě simulačního modelu soustavy vzduchotechnik a okolního prostředí připravovaného tunelu Špejchar Pelc-Tyrolka. V rámci provedených prací byl navržen komplexní systém simulace vzduchotechniky orientovaný na návrh systému řízení technologie tunelu. Tento návrh také umožní specifikování struktury regulace a optimalizaci provozních parametrů chování vzduchotechniky. Součástí navrhovaného řešení je také systém dynamické simulace dopravy, který také umožňuje studium emisního zatížení okolního prostředí. Simulace byla provedena pomocí produktu Matlab 7.0. Použitá kombinace simulačních a softwarových řešení vytvořila dobrý precedens pro použití v této oblasti splnila všechny požadavky. Obrázek 1: Část ortofotografické mapy Prahy s vyznačeným projektem tunelu Blanka. 1 Úvod Na našem území bylo realizováno několik tunelových staveb obdobného charakteru. Na základě zkušeností z těchto realizací a zkušeností s podobnými stavbami ve světě bylo rozhodnuto o zlepšení návrhu systému algoritmizace ovládání technologických částí pro připravovaný tunel Blanka, který bude realizován v úseku Špejchar Pelc-Tyrolka (viz obrázek 1). S ohledem na složitost řízených fyzikálních soustav se jako nezbytné a zároveň výhodné ukázalo vytvoření simulačního modelu těchto řízených soustav. Po nezbytné analýze byl jako nejvhodnější nástroj pro simulaci vybrán produkt Matlab 7.0, a to především pro dobrou možnost podpory ve vztahu simulace systému simulace řízení reálná soustava, a dále pro dobrou podporu návrhu systémů řízení ať už formou vnitřních přídavných modulů. Dále se jako výhoda ukázala možnost přístupu k rozsáhlé skupině podpůrných systémů, které jsou k dispozici jako volně použitelné výsledky výzkumu v podobných oblastech.

2 Technické řešení Na začátku procesu vytváření modelu byla provedena analýza celku určeného pro vytvoření modelu. Rozborem situace bylo rozhodnuto o dekompozici systému na dvě základní části splňující nezbytné podmínky separability. První částí je část dopravní resp. simulující dopravní provoz v tunelových tělesech. Druhou částí je část vzduchotechnická, která popisuje jednak chování vzduchových hmot v jednotlivých tunelových tělesech, dále pak před portály apod. Vzhledem k délce obou tunelových těles byla pro výpočty rozdělena jednotlivá tunelová tělesa na úseky. Pojmem úseku zde rozumíme tzv. vzduchotechnický úsek. Byl tedy vytvořen model VZT intuitivní prostorovou diskretizací a fyzikální vlastnosti byly soustředěny do jednotlivých kompartmentů. První část je tedy popisována dynamikou diskrétní, pro druhou část jsou naproti tomu charakteristické kontinuální procesy, které byly následně prostorově a také časově diskretizovány [7]. 3 Simulace dopravy Při návrhu simulace dopravy se u dosavadních pokusů vycházelo ze statistiky [1][3]. V představovaném přístupu je kladen důraz především na co nejvěrnější fyzikální reprezentaci provozu v tunelu. Hledělo se hlavně na maximální věrnost simulované dopravní situace a co největší výpočetní rychlost. Doprava je implementována čistě diskrétně. Celý tunel reprezentuje jediná matice, přičemž každý řádek matice plně popisuje situaci na jednom metru délky tunelu. Podstatným obsahem jsou tři druhy informací o vzhledu tunelu, o dopravní situaci a o zplodinách. Obrázek 2: Ukázka GUI ovládací panel simulace dopravy severního tunelového tělesa. Vzhled tunelu je statická záležitost, která je nadefinována na začátku simulace a v jejím průběhu se buď nemění, nebo se změní najednou, skokem. Globálně jsou zapotřebí dva druhy informací - o dopravních omezeních (zúžení tunelu, kterým je simulován také přípojný a odbočovací pruh) a o maximálních povolených rychlostech. V případě simulací např. dopravních nehod, jsou pak pro požadované úseky (délka úseku např. 30 metrů) simulována sofistikovaným algoritmem dopravní omezení a vozidla pak nemohou např. části jednotlivých pruhů využívat. Vozidla samotná jsou reprezentována především základními parametry jejich skutečnými rychlostmi a typy vozidel. Typy aplikované v této simulaci jsou rozlišeny tři osobní, lehká nákladní a těžká nákladní vozidla. Dále byla implementována pravidla pro sjíždění pruhů, odbočování a předjíždění. Samozřejmostí jsou možnosti zvolit hustotu dopravy i její skladbu (tj. kolik procent dopravy tvoří osobní, lehká a těžká nákladní vozidla). Vozidla se chovají realisticky do nejmenších podrobností, např. si dodržují odstup dvou sekund za předchozím vozidlem a např. volbou hodnoty parametru je možné zkazit zipování při sjíždění dvou pruhů, což je vlastnost, která je pro specificky české poměry dosti důležitá. Co se týče výpočetní rychlosti, tento požadavek se zprvu nezdál příliš důležitý. Máme-li však před sebou takto rozsáhlý systém stává se výpočetní doba jednotlivých kroků simulace velmi důležitá, a to nejen z hlediska komfortu obsluhy. Velkou výhodou je způsob reprezentace jednotlivých vozidel. Umožňuje totiž bohatě využít indexaci, což je způsob programování, kdy se co nejvíce změn v maticích snažíme vyjádřit změnou indexů nebo interními funkcemi Matlabu (např. find, any apod.) a zároveň se co nejvíce snažíme vyhnout cyklům (for, while apod.).

Obrázek 3: Ukázka GUI horní graf představuje aktuální rozmístění jednotlivých vozidel v prvním úseku severního tunelového tělesa, pod ním jsou koncentrace jednotlivých škodlivin. Při simulaci emisí byl použit podobný způsob jako u vozidel. Vozidlo za jednu sekundu vyprodukuje určité množství (hmotnost) emisí. V celém modelu zplodin se tak pracuje pouze s hmotnostmi, protože hmotnost představuje (na rozdíl od koncentrace) invariantní proměnnou nezávislou na rychlosti proudění, průřezu tunelu apod. Emise se v tunelu pohybují v diskretizovaných balících, stejně jako vozidla jsou popsány svojí rychlostí (která je dána rychlostí proudění vzduchu) a dalšími parametry. Vzniklý obraz je diskrétní, a jeho rekonstrukce probíhá např. aplikací klouzavého průměru. Zplodiny se rozdělují v tunelových křižovatkách, jsou odsávány vzduchotechnickými strojovnami atd. podle topologie simulovaných tunelových staveb. Zde se ukázal hlavní problém výpočetní rychlosti. Klouzavý průměr je totiž na delších horizontech a u dlouhých matic velmi pomalý. Místo klouzavého průměru byla tedy použita konvoluce dvou vektorů. Jde o známý trik, který se používá například ve zpracování obrazu, kde je také potřeba vysoké výpočetní rychlosti. Vstupem do konvoluce jsou daný vektor a vektor délky n, jehož jednotlivé prvky mají hodnotu 1/n. Výsledek je stejný a jelikož je funkce konvoluce (conv) také vnitřní funkcí Matlabu, výpočetní rychlost se opět výrazně zvýší. Tunel Blanka je dlouhý přibližně 5 600 metrů, celkem tedy 11 200 prvků dlouhá matice, která ho popisuje. Na počítači Intel Pentium IV 2,4 GHz, 512 MB RAM s operačním systémem Windows 2000 a verzí Matlab 7.0 trvá výpočet jednoho kroku simulace kolem 0,1 s. 4 Simulace vzduchotechniky Pro formálně správný dynamický popis proudění by musely být použity Navier Stokesovy rovnice. Řešení těchto nelineárních parciálních diferenciálních rovnic je však velice obtížné i pro velmi malé soustavy. Pouze případné sestavení okrajových podmínek pro tunelovou stavbu těchto rozměrů by bylo prací na mnoho let. Namísto Navier Stokesových rovnic popisujících dynamiku systému, byly použity upravené rovnice kontinuity a Bernoulliho rovnice, které popisují ustálený stav proudění. Při předpokladu dynamiky změn parametrů soustavy (např. rychlost aut, hustota dopravy, spouštění ventilátorů) lze předpokládat, že těmito rovnicemi lze popsat i dynamiku změn rychlosti proudění v tunelu, což se prokázalo [4]. Jak bylo již dříve zmíněno, celý tunel je rozdělen do jednotlivých úseků, které převážně odpovídají tzv. vzduchotechnickým úsekům. Jednotlivé úseky jsou vzájemně propojeny rovnicemi kontinuity (rovnice 1).

Obrázek 4: Ukázka GUI ineraktivní ovládací panel ventilace. v air = rychlost proudění vzduchu S tun = průřez tunelu (v air S tun ) = 0 (1) Pro každý vzduchotechnický úsek je sestavena Bernoulliho rovnice (rovnice 2). Ta popisuje tlakový rozdíl mezi dvěma úseky v tunelu. Rovnice se skládá z několika částí popisujících tlakové ztráty i zdroje tlaku. P tot = P loc + P fric ± P pist ± P fans (2) P tot = celkový tlakový rozdíl P loc = tlaková změna způsobená změnou průřezu tunelu a dále vstupe a výstupem P fric = tlaková změna způsobená třením P pist = tlaková změna způsobená projíždějícími vozidly P fans = tlaková změna způsobená proudovými ventilátory Tlaková změna způsobená změnou průřezu (rovnice 3) je závislá na koeficientu ζ. Ten je různý pro ztráty zúžením, rozšířením, vstupem a výstupem. ρ = hustota vzduchu ζ = ztrátový koeficient v air = rychlost proudění vzduchu P area = ρ 2 ζv2 air (3) Tlaková změna způsobená třením (rovnice 4) je závislá na drsnosti stěn, rozmístění dopravního značení a dalších faktorech. λ = koeficient tření l = délka úseku d H = hydraulický průměr úseku P fric = ρ 2 λ l d H v 2 air (4)

Tlaková změna způsobená pístovým efektem (rovnice 5) je závislá především na množství a rychlosti projíždějících aut. V současné době simulace rozlišuje 3 typy aut (osobní, lehká nákladní, těžká nákladní), které mají odlišné účinné čelní plochy, způsobující pístový efekt. Při výpočtu pístového efektu je také počítáno s jeho snížením při jízdě v koloně. P pist = ρ l(v veh v air ) 2 γ conv 2 S tun v veh v veh = průměrná rychlost vozidel γ conv = polynom reprezentující snížení účinku při jízdě v koloně S tun = průřez tunelu S i = účinná čelní plocha vozidel daného typu n i = počet vozidel daného typu S i n i (5) Tlaková změna způsobená ventilátory (rovnice 6) je závislá především na příkonu, účinnosti a výstupní rychlosti ventilátoru. ηp fan η = účinnost přeměny tahu na tlak P fan = výkon ventilátoru v fan = výstupní rychlost proudění ventilátoru i P fans = ρ (v fan ± v air ) (6) 2 S tun v fan Neznámými v těchto rovnicích jsou rychlosti v jednotlivých sekcích tunelu. Soustava rovnic která se získá pro celý tunel není separovatelná a musí řešit jako celek. Jak je zřejmé jde o soustavu nelineárních rovnic, kterou již nelze řešit analyticky a je nutno použít numerických metod [6]. Pro řešení této soustavy byly použity metody, které vychází z algoritmu funkce strscne vyvinutou v Itálii na Univerzitě ve Florencii [2]. Numerické řešení je velmi obtížnou částí úlohy. Přesto se optimalizací zdrojového kódu podařilo dosáhnout výpočetních rychlostí kolem 1 s na krok simulace. Výpočet vzduchotechniky se ovšem provádí jednou za deset kroků simulace (tedy každých 10 sekund), protože proudění uvnitř tunelu nemá tak rychlou dynamiku, jako má doprava. 5 Výsledky simulace Výstupem simulace jsou především koncentrace škodlivin v jednotlivých úsecích tunelu. Jak již bylo zmíněno, předností tohoto simulačního programu je možnost simulovat i dynamiku tunelu. Na příkladu obrázku 5 jsou uvedena rozložení koncentrací škodlivin v severním tunelovém tělese za prvních osm minut od otevření tunelu. Hustota provozu byla 1 620 vozidel/hodinu, složení provozu 95 % osobních vozidel, 4 % lehkých nákladních vozidel a 1 % těžkých nákladních vozidel. Dále je zde uvedena tabulka maximálních dosažených koncentrací škodlivin pro projektovaný tunel Blanka a pro existující tunel Mrázovka (tabulka 1). Z uvedených hodnot je vidět, že simulované hodnoty tunelu Blanka jsou podobných hodnot, jako má tunel Mrázovka. Pro důkladnou verifikaci stávajícího modelu bude samozřejmě potřeba další, daleko podrobnější rozbor [5]. Tabulka 1: Srovnání typických emisí projektovaného tunelu Blanka (simulace) a již realizovaného tunelu Mrázovka (naměřená data). Tunel CO [ppm] NOx [µg/m 3 ] OP[km 1 ] Mrázovka 4,8 3,2 0,9 Blanka 5,2 2,6 0,6

Obrázek 5: Příklad simulace dynamiky systému. Vývoj koncentrací NOx za prvních osm minut provozu tunelu. 6 Závěr Navržený systém simulace VZT prokázal svoji životaschopnost při reálném návrhu reálné tunelové stavby. V průběhu prací bylo nutné provést praktické a implementační řešení velkého množství problémů, které z uvedeného popisu, vzhledem k rozsahu, nemohou vyplynout. Výsledkem je kompaktní systém pro řešení této specifické problematiky a to včetně příslušných optimalizovaných metod numerické a algoritmické optimalizace. Jeho implementace se ukazuje jako zajímavý precedens pro tvorbu simulačních modelů orientovaných na návrh systémů řízení technologií tunelových staveb. Hlavním přínosem je pak možnost energetické optimalizace nároků technologických částí ve vztahu k zatížení životního prostředí. Reference [1] R. Bellasio. Modelling traffic air pollution in road tunnels. Atmospheric Environment, 31:1539 1551, 1997. [2] Morini, B. Bellavia, S., Macconi, M. An affine scaling trust-region approach to bound-constrained nonlinear systems. Applied Numerical Mathematics, 44:257 180, 2003. [3] Boman, C. A. Bring, A., Malmström, T. G. Simulation and measurement of road tunnel ventilation. Tunnelling and Underground Space Technology, 12(3):417 424, 1997. [4] Razím, M. Kotek, Z., Kubík, S. Nelineární dynamické systémy. SNTL, Praha, 1973. [5] PIARC. Road Tunnels: Emissions, Environment, Ventilation. PIARC, 1996. [6] E. Vitásek. Numerické metody. SNTL, Praha, 1987. [7] P. Zítek. Simulace dynamických systémů. SNTL, Praha, 1990. Kontakty Oto Sládek: sladek@kybertec.com Lukáš Kurka: kurka@kybertec.com Lukáš Ferkl: ferkll@control.felk.cvut.cz Jan Pořízek: jan.porizek@satra.cz Michael Šebek: msebek@utia.cas.cz