Sistemi dinamici ibridi: Introduzione al controllo e alla verifica

Titolo originale:

Hybrid Dynamical Systems: An Introduction to Control and Verification

Contenuto del libro:

I metodi per i sistemi ibridi sono distribuiti su un ampio spettro, che va dai metodi noti nel dominio discreto (cibernetico) ad un estremo, agli approcci tradizionali per i sistemi fisici continui all'altro.

Radicati agli estremi opposti, sia gli informatici che i teorici del controllo hanno dato contributi significativi al campo dei sistemi ibridi, estendendo i metodi tradizionali del dominio discreto o continuo per trattare i sistemi ibridi. Tuttavia, in generale, il lavoro di integrazione dei metodi di questi due domini è stato scarso.

Ciò è probabilmente dovuto al fatto che i metodi formali perseguiti nell'informatica appartengono tradizionalmente alla matematica discreta, mentre gli approcci della teoria del controllo appartengono principalmente alla matematica continua. Una tendenza evidente nella recente letteratura sui sistemi ibridi enfatizza la sintesi di controllori ibridi per sistemi dinamici continui o ibridi per soddisfare complicate specifiche logiche temporali. Si tratta del cosiddetto controllo simbolico o controllo di supervisione ibrido, che può essere visto come un'intersezione tra queste due scuole di pensiero.

Hybrid Dynamical Systems bilancia l'enfasi sui metodi della computer science e della teoria del controllo e fornisce ai lettori un quadro completo dell'intero campo dei sistemi dinamici ibridi. Oltre a fornire una panoramica concisa per i ricercatori del settore, lo stile tutoriale lo rende adatto all'uso in un corso e agli studenti.