Principi dei sistemi cyber-fisici

Recensioni dei lettori

Il libro presenta una trattazione chiara e completa dei sistemi ciberfisici, rendendola accessibile a ingegneri di diversa estrazione, in particolare agli ingegneri aeronautici e meccanici. È ben scritto e collega efficacemente i concetti teorici con l'implementazione pratica.

⬤ Scrittura chiara
⬤ buon livello di astrazione
⬤ supporto all'implementazione pratica
⬤ utile per ingegneri di diverse discipline
⬤ copre una serie di argomenti tra cui automi, sistemi di controllo e dinamica.

Alcuni lettori potrebbero trovare il contenuto troppo pesante dal punto di vista informatico se provengono da contesti diversi da quello informatico.

(basato su 4 recensioni dei lettori)

Titolo originale:

Principles of Cyber-Physical Systems

Contenuto del libro:

Un testo fondamentale che offre un'introduzione rigorosa ai principi di progettazione, specifica, modellazione e analisi dei sistemi ciberfisici.

Un sistema cyber-fisico consiste in un insieme di dispositivi informatici che comunicano tra loro e interagiscono con il mondo fisico tramite sensori e attuatori in un ciclo di feedback. Sempre più spesso questi sistemi sono presenti ovunque, dagli edifici intelligenti ai dispositivi medici alle automobili. Questo libro di testo offre un'introduzione rigorosa e completa ai principi di progettazione, specifica, modellazione e analisi dei sistemi cyber-fisici. Il libro attinge a un insieme eterogeneo di sottodiscipline, tra cui la progettazione basata su modelli, la teoria della concorrenza, gli algoritmi distribuiti, i metodi formali di specificazione e verifica, la teoria del controllo, i sistemi in tempo reale e i sistemi ibridi, illustrando le idee fondamentali di ciascuna di esse che sono rilevanti per la progettazione e l'analisi dei sistemi.

Il libro spiega come i modelli formali forniscano astrazioni matematiche per gestire la complessità della progettazione di un sistema. Vengono trattati modelli sincroni e asincroni per la computazione concorrente, modelli a tempo continuo per i sistemi dinamici e sistemi ibridi per integrare l'evoluzione discreta e continua. Il ruolo dei requisiti di correttezza nella progettazione di sistemi affidabili è illustrato con una serie di formalismi di specifica e le relative tecniche di verifica formale. Gli argomenti trattati comprendono i requisiti di sicurezza e di liveness, la logica temporale, il model checking, la verifica deduttiva, l'analisi di stabilità dei sistemi lineari e gli algoritmi di schedulazione in tempo reale. I principi di modellazione, specificazione e analisi sono illustrati attraverso la costruzione di soluzioni a problemi di progettazione rappresentativi di algoritmi distribuiti, protocolli di rete, progettazione di controllo e robotica.

Questo libro fornisce al campo in rapida espansione dei sistemi ciberfisici un testo fondamentale, di cui si sentiva il bisogno da tempo, scritto da un'autorità affermata. È adatto per l'uso in classe o come riferimento per i professionisti.