Principii ale sistemelor ciber-fizice

Recenzii ale cititorilor

Cartea prezintă un tratament clar și cuprinzător al sistemelor ciberfizice, făcându-l accesibil inginerilor din diverse medii, în special inginerilor aerieni și mecanici. Este bine scrisă și face în mod eficient legătura între conceptele teoretice și implementarea practică.

⬤ Scriere clară
⬤ nivel bun de abstractizare
⬤ suport pentru implementarea practică
⬤ util pentru ingineri din diferite discipline
⬤ acoperă o gamă largă de subiecte, inclusiv automate, sisteme de control și dinamică.

Unii cititori pot găsi conținutul prea încărcat de informatică dacă provin din medii non-CS.

(pe baza a 4 recenzii ale cititorilor)

Titlul original:

Principles of Cyber-Physical Systems

Conținutul cărții:

Un text de bază care oferă o introducere riguroasă la principiile de proiectare, specificare, modelare și analiză a sistemelor ciberfizice.

Un sistem ciberfizic constă dintr-o colecție de dispozitive de calcul care comunică între ele și interacționează cu lumea fizică prin intermediul senzorilor și actuatorilor într-o buclă de reacție. Din ce în ce mai mult, astfel de sisteme sunt peste tot, de la clădiri inteligente la dispozitive medicale și automobile. Acest manual oferă o introducere riguroasă și cuprinzătoare la principiile de proiectare, specificare, modelare și analiză a sistemelor ciberfizice. Cartea se bazează pe un set divers de subdiscipline, inclusiv proiectarea bazată pe modele, teoria concurenței, algoritmi distribuiți, metode formale de specificare și verificare, teoria controlului, sisteme în timp real și sisteme hibride, explicând ideile de bază din fiecare care sunt relevante pentru proiectarea și analiza sistemelor.

Cartea explică modul în care modelele formale oferă abstracții matematice pentru a gestiona complexitatea proiectării unui sistem. Ea acoperă atât modele sincrone, cât și asincrone pentru calculul concurent, modele în timp continuu pentru sisteme dinamice și sisteme hibride pentru integrarea evoluției discrete și continue. Rolul cerințelor de corectitudine în proiectarea sistemelor fiabile este ilustrat cu ajutorul unei game de formalisme de specificații și al tehnicilor asociate de verificare formală. Subiectele includ cerințe de siguranță și liveness, logică temporală, model checking, verificare deductivă, analiza stabilității sistemelor liniare și algoritmi de programare în timp real. Principiile de modelare, specificare și analiză sunt ilustrate prin construirea de soluții la probleme de proiectare reprezentative din algoritmi distribuiți, protocoale de rețea, proiectare de control și robotică.

Această carte oferă domeniului în expansiune rapidă al sistemelor ciber-fizice un text de bază de lungă durată de către o autoritate stabilită. Este potrivită pentru utilizarea în clasă sau ca referință pentru profesioniști.