Hybridné dynamické systémy: Úvod do riadenia a overovania

Pôvodný názov:

Hybrid Dynamical Systems: An Introduction to Control and Verification

Obsah knihy:

Metódy pre hybridné systémy sú rozdelené do širokého spektra, ktoré siaha od metód známych v diskrétnej (kybernetickej) oblasti na jednej strane až po tradičné prístupy pre spojité fyzikálne systémy na strane druhej. Počítačoví vedci aj teoretici riadenia, zakorenení na opačných koncoch, významne prispeli do oblasti hybridných systémov rozšírením tradičných metód z tradičnej diskrétnej alebo spojitej oblasti na riešenie hybridných systémov.

Vo všeobecnosti sa však málo pracovalo na integrácii metód z týchto dvoch oblastí. Je to pravdepodobne preto, že formálne metódy uplatňované v informatike tradične ležia v oblasti diskrétnej matematiky, zatiaľ čo prístupy teórie riadenia ležia najmä v oblasti spojitej matematiky. Výrazný trend v literatúre o hybridných systémoch v poslednom období kladie dôraz na syntézu hybridných regulátorov pre spojité alebo hybridné dynamické systémy, ktoré majú spĺňať komplikované špecifikácie časovej logiky.

Ide o tzv. symbolické riadenie alebo hybridné dozorné riadenie, ktoré možno považovať za prienik medzi týmito dvoma myšlienkovými školami.

Hybridné dynamické systémy vyvažujú dôraz na metódy z informatiky aj teórie riadenia a poskytujú čitateľom ucelený obraz o celej oblasti hybridných dynamických systémov. Okrem toho, že poskytuje stručný prehľad pre výskumného pracovníka v tejto oblasti, je vďaka učebnému štýlu vhodná na použitie v kurze a pre študentov.