Jste zde

Skupina

Nadpis:	Průmyslová automatizace
Specializace:	Skupina se zabývá vývojem a výzkumem v oblasti průmyslových řídicích systémů, průmyslové komunikace, procesní automatizace a vestavných systémů.
Vedoucí skupiny:	doc. Ing. Petr Fiedler, Ph.D.

Popis:

Skupina průmyslové automatizace se věnuje aplikované automatizaci. Zabývá se problematikou průmyslových řídicích systémů, průmyslových komunikací a vestavnými systémy. V oblasti výzkumu jsou to zejména:

Průmyslové komunikační sběrnice
Funkční bezpečnost
Fault-tolerant systémy
Programovatelné automaty
Formální metody pro návrh řídicích aplikací
Bezdrátové senzorové sítě pro monitorování a sběr dat

Zaměstnanci:

Doktorandi:

Ing. Jakub Arm

Laboratoře:

Projekty:

Výzkum

Fault-tolerant systémy - návrh a analýza systémů s ohledem na vysokou funkčnost a spolehlivost za použití RBD a markovových modelů.
Formální metody pro návrh řídicích aplikací - temporální logiky pro verifikaci systémů diskrétních událostí popsané časovanými stavovými automaty. Automatická a poloautomatická implementace formálního návrhu ve 32-bitových operačních systémech reálného času (probíhající výzkum).
Technologie bezdrátového sběru dat.