Výuka
Konzultační hodiny
Konzultace k BP, DP apod.: Prostřednictvím MS Teams po předchozí domluvě e-mailem. Konzultace k výuce: Po přednášce/cvičení (viz rozvrh předmětů), jinak po předchozí domuvě e-mailem.
Přednášky v předmětech
| DJA |
Dynamické jazyky
česky, letní semestr, UITS FIT VUT |
| SIN |
Inteligentní systémy
česky, zimní semestr, UITS FIT VUT |
| MSD |
Modelování a simulace
česky, zimní semestr, UITS FIT VUT |
| SFC |
Soft Computing
česky, zimní semestr, UITS FIT VUT |
Cvičení v předmětech
Vedení diplomových prací
Tématické oblasti:
- model-based design
- systémy diskrétních událostí
- distribuované řídicí systémy, IoT
- vestavěné systémy a PLC
- inteligentní systémy, Smart Home
Aktuální témata BP a DP (v případě zájmu mě kontaktujte):
- Modelování a programování IoT a distribuovaných řídicích systémů Petriho sítěmi a blokovými diagramy
- Generování kódu pro PLC/RPi z modelů na bázi DEVS a Petriho sítí s využitím PNML, DEVSML, FORTE
- Interpret Petriho sítí pro řídicí a vestavěné systémy na platformách ESP 8266/ESP 32/RPi Zero
- Interpret Petriho sítí pro PLC/Raspberry Pi
- Operační systém pro rekonfigurovatelné řídící systémy a IoT programované blokově strukturovanými Petriho sítěmi
- Editor blokových diagramů pro potřeby vývoje distribuovaných řídicích systémů
- Editor blokově strukturovaných Petriho sítí pro potřeby vývoje distribuovaných řídicích systémů
- Analýza a verifikace distribuovaných řídicích systémů a IoT specifikovaných Petriho sítěmi a funkčními bloky - modelchecking s využitím SNAKES
- Nástroj pro modelování a monitorování distribuovaných řídících systémů specifikovaných Petriho sítěmi a funkčními bloky a komunikujících protokolem MQTT
- Vývojový nástroj pro rekonfigurovatelné řídicí systémy komunikující protokolem MQTT - modelování a monitorování
- Vývojový nástroj pro rekonfigurovatelné řídicí systémy komunikující protokolem MQTT - generování kódu
- Na modelech založený návrh a realizace Smart Home - aplikace teorie supervizorového řízení a nástroje Supremica
- Domácí automatizace řešená pomocí interpretovaných Petriho sítí a MQTT
- Domácí automatizace řešená pomocí prostředků průmyslové automatizace - PLC, SCADA, MQTT, IEC 61499, IEC 61131
- Prostředí pro modelování a simulaci distribuovaných řídicích systémů a IoT bázi Petriho sítí a funkčních bloků
- Nástroj pro specifikaci a hromadné generování a upload konfigurací firmwaru ESPEasy/TASMOTA pro ESP 8266/ESP-32
- Rozšíření nástroje 4DIAC o bloky pro modelování uzlů na bázi ESP 8266/ESP-32 a generování konfigurací firmwaru ESPEasy/TASMOTA
- Rozšíření nástroje 4DIAC o bloky pro softcomputing (FUZZY, NN, GA, ...)
- Alternativní prostředky pro vizuální modelování a programování řídicích systémů
- Ambient Intelligence: Lokalizace a analýza chování uživatelů v inteligentní budově
- Aplikace posilovaného učení v řízení Smart Home
- IOT zařízení a brána na platformě UBUNTU CORE
- Smart Home realizovaný prostředky Eclipse IoT
- K upřesnění: Inteligentní řídicí systémy, Model-Based Design, generování kódu
- Multiagentní systém pro inteligentní domácí automatizaci
- Multisenzorový modul pro Raspberry Pi Zero
- Na modelech založený návrh a realizace řízení Smart Home
- Návrh řídicích aplikací s využitím Modelica DEVS a StateGraph
- Node-RED jako běhové prostředí pro soft-RT řídicí aplikace specifikované jinými prostředky
- Node-RED vs. Eclipse 4diac/FORTE - porovnání metod a nástrojů pro IoT Edge a DCS
- Přizpůsobení Eclipse 4diac/FORTE aplikacím v inteligentní domácí automatizaci
- Samoorganizující se multiagentní řídicí systém pro Smart Home
- PowerDEVS, HIL a generování kódu pro DCS a ROS
- Autokonfigurace IoT systémů
- MDD v PowerDEVS: Generování kódu pro MicroPython a jiné platformy
- (SIEMENS) RTOS pro Raspberry Pi (pro aplikace v řízení letového provozu)
Programovací jazyky, nástroje/knihovny, operační systémy: