V dnešní době se zdaleka největší počet mikročipů nenachází v osobních počítačích, ale ve formě vestavěných systémů v
autech, vlacích, robotech a domácích spotřebičích. Klasické inženýrské přístupy používají spojité matematické modely pro
popisování technických systémů, zatímco informatika používá diskrétní modely. V přednášce budeme diskutovat formalismy
překonávající tento protiklad a algoritmy a softwarové nástroje pro verifikaci vyplývajících modelů.
Poslední úprava: T_KSI (25.03.2009)
Nowadays, by far the most microchips do not occur in desktop computers, but as embedded computing devices in cars,
trains, robots, and the usual household equipment. However, the classical engineering approaches use continuous
mathematical models to describe technical systems, while the computing field employs discrete models. In the lecture we will
discuss formalisms bridging this gap and algorithms and software tools for the verification of the resulting models.
Poslední úprava: T_KSI (25.03.2009)
Literatura
A. J. van der Schaft and J. M. Schumacher: An Introduction to Hybrid Dynamical Systems, Springer, 2000
Proceedings of HSCC conference series (Hybrid Systems: Computation and Control)
recent research articles
Poslední úprava: T_KSI (25.03.2009)
Sylabus -
Příklady vestavěných systémů
Softwarové nástroje pro modelování vestavěných systémů (SCILAB/SCICOS)
Základy spojitých dynamických systémů a teorie řízení
Formalismy s jednoduchou spojitou dynamikou (timed automata) a jejich aplikace
Formalismy se složitou spojitou dynamikou (switched systems, hybrid automata)