Hybrydowe systemy dynamiczne: Wprowadzenie do kontroli i weryfikacji

Oryginalny tytuł:

Hybrid Dynamical Systems: An Introduction to Control and Verification

Zawartość książki:

Metody dla systemów hybrydowych są rozproszone w szerokim spektrum, od metod znanych w domenie dyskretnej (cyber-)na jednym końcu, do tradycyjnych podejść dla ciągłych systemów fizycznych na drugim.

Zarówno informatycy, jak i teoretycy sterowania wnieśli znaczący wkład w dziedzinę systemów hybrydowych, rozszerzając tradycyjne metody z tradycyjnej domeny dyskretnej lub ciągłej, aby poradzić sobie z systemami hybrydowymi. Jednak ogólnie rzecz biorąc, prace nad integracją metod z tych dwóch dziedzin były niewielkie.

Wynika to prawdopodobnie z faktu, że metody formalne stosowane w informatyce tradycyjnie leżą w dziedzinie matematyki dyskretnej, podczas gdy podejścia teorii sterowania leżą głównie w dziedzinie matematyki ciągłej. Zauważalny trend w najnowszej literaturze dotyczącej systemów hybrydowych kładzie nacisk na syntezę sterowników hybrydowych dla ciągłych lub hybrydowych systemów dynamicznych w celu spełnienia skomplikowanych specyfikacji logiki czasowej. Jest to znane jako sterowanie symboliczne lub hybrydowe sterowanie nadzorcze, które można postrzegać jako skrzyżowanie tych dwóch szkół myślenia.

Książka Hybrid Dynamical Systems równoważy nacisk na metody zarówno z informatyki, jak i teorii sterowania, dając czytelnikom pełny obraz całej dziedziny hybrydowych systemów dynamicznych. Oprócz zapewnienia zwięzłego przeglądu dla badacza w tej dziedzinie, styl samouczka sprawia, że nadaje się on do wykorzystania na kursie i przez studentów.