Sisteme dinamice hibride: O introducere în control și verificare

Titlul original:

Hybrid Dynamical Systems: An Introduction to Control and Verification

Conținutul cărții:

Metodele pentru sistemele hibride sunt distribuite pe un spectru larg, variind de la metode cunoscute în domeniul (ciber)discret, la un capăt, la abordări tradiționale pentru sistemele fizice continue, la celălalt capăt.

Înrădăcinate la capete opuse, atât informaticienii, cât și teoreticienii controlului au adus contribuții semnificative în domeniul sistemelor hibride prin extinderea metodelor tradiționale din domeniul discret sau continuu pentru abordarea sistemelor hibride. Cu toate acestea, în general, au existat puține lucrări privind integrarea metodelor din aceste două domenii.

Acest lucru se datorează probabil faptului că metodele formale utilizate în informatică se află în mod tradițional în domeniul matematicii discrete, în timp ce abordările teoriei controlului se află în principal în domeniul matematicii continue. O tendință notabilă în literatura recentă privind sistemele hibride pune accentul pe sinteza regulatoarelor hibride pentru sistemele dinamice continue sau hibride pentru a satisface specificații logice temporale complicate. Acest lucru este cunoscut sub numele de control simbolic sau control de supraveghere hibrid, care poate fi văzut ca o încrucișare între aceste două școli de gândire.

Hybrid Dynamical Systems echilibrează accentul pus pe metodele din știința calculatoarelor și din teoria controlului și oferă cititorilor o imagine completă a întregului domeniu al sistemelor dinamice hibride. Pe lângă faptul că oferă o imagine de ansamblu concisă pentru un cercetător în domeniu, stilul tutorial o face potrivită pentru utilizarea într-un curs și de către studenți.