Principii ale sistemelor ciber-fizice

Recenzii ale cititorilor

Cartea este foarte apreciată pentru claritatea și accesibilitatea sa, în special în ceea ce privește prezentarea sistemelor ciberfizice cititorilor din diverse domenii inginerești. Ea echilibrează eficient conceptele teoretice cu implementările practice.

⬤ Clar scrisă și ușor de înțeles
⬤ potrivită pentru începători și ingineri din alte discipline
⬤ introducere bine structurată în sistemele ciber-fizice
⬤ acoperă mai multe subiecte relevante în mod coerent.

Unii cititori ar putea găsi conținutul prea introductiv dacă sunt în căutarea unui material mai avansat; ar putea fi perceput ca fiind greu de calculat pentru cei care nu sunt familiarizați cu terminologia.

(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.