Hybrid Dynamical Systems: An Introduction to Control and Verification
A hibrid rendszerekre vonatkozó módszerek széles spektrumon oszlanak meg, az egyik végén a diszkrét (kiber)rendszerekben ismert módszerektől a folyamatos fizikai rendszerek hagyományos megközelítéseiig.
Az ellentétes végeken gyökerező informatikusok és irányításelméleti szakemberek egyaránt jelentősen hozzájárultak a hibrid rendszerek területéhez azáltal, hogy a hagyományos diszkrét vagy folytonos területről származó hagyományos módszereket kiterjesztették a hibrid rendszerek kezelésére. Általánosságban azonban kevés munka folyt a két terület módszereinek integrálásával kapcsolatban.
Ennek oka valószínűleg az, hogy az informatikában alkalmazott formális módszerek hagyományosan a diszkrét matematika, míg az irányításelméleti megközelítések főként a folytonos matematika területére tartoznak. A hibrid rendszerekkel foglalkozó legújabb szakirodalomban megfigyelhető tendencia a folytonos vagy hibrid dinamikus rendszerek hibrid szabályozóinak szintézisére helyezi a hangsúlyt a bonyolult időbeli logikai specifikációk kielégítése érdekében. Ezt szimbolikus szabályozásnak vagy hibrid felügyeleti szabályozásnak nevezik, ami e két irányzat közötti átjárásnak tekinthető.
A Hibrid dinamikai rendszerek egyensúlyt teremt az informatikából és az irányításelméletből származó módszerek hangsúlyozása között, és teljes képet ad az olvasóknak a hibrid dinamikai rendszerek teljes területéről. Amellett, hogy a könyv tömör áttekintést nyújt a terület kutatója számára, oktatói stílusa alkalmassá teszi a kurzusokon való használatra és a hallgatók számára is.
