Ocena:
Książka jest wysoko ceniona za swoją przejrzystość i przystępność, szczególnie w zakresie wprowadzania systemów cyber-fizycznych do czytelników z różnych środowisk inżynierskich. Skutecznie równoważy koncepcje teoretyczne z praktycznymi implementacjami.
Zalety:⬤ Przejrzyście napisana i łatwa do zrozumienia
⬤ odpowiednia dla początkujących i inżynierów z innych dyscyplin
⬤ dobrze zorganizowane wprowadzenie do systemów cyberfizycznych
⬤ obejmuje wiele istotnych tematów w spójny sposób.
Niektórzy czytelnicy mogą uznać treść za zbyt wprowadzającą, jeśli szukają bardziej zaawansowanego materiału; może być postrzegana jako ciężka informatyka dla osób niezaznajomionych z terminologią.
(na podstawie 4 opinii czytelników)
Principles of Cyber-Physical Systems
Podstawowy tekst, który oferuje rygorystyczne wprowadzenie do zasad projektowania, specyfikacji, modelowania i analizy systemów cyberfizycznych.
System cyber-fizyczny składa się ze zbioru urządzeń komputerowych komunikujących się ze sobą i wchodzących w interakcje ze światem fizycznym za pośrednictwem czujników i siłowników w pętli sprzężenia zwrotnego. Coraz częściej takie systemy są wszędzie, od inteligentnych budynków, przez urządzenia medyczne, po samochody. Niniejszy podręcznik oferuje rygorystyczne i kompleksowe wprowadzenie do zasad projektowania, specyfikacji, modelowania i analizy systemów cyber-fizycznych. Książka czerpie z różnorodnego zestawu subdyscyplin, w tym projektowania opartego na modelach, teorii współbieżności, algorytmów rozproszonych, formalnych metod specyfikacji i weryfikacji, teorii sterowania, systemów czasu rzeczywistego i systemów hybrydowych, wyjaśniając podstawowe idee z każdej z nich, które są istotne dla projektowania i analizy systemów.
Książka wyjaśnia, w jaki sposób modele formalne zapewniają matematyczne abstrakcje do zarządzania złożonością projektu systemu. Obejmuje zarówno synchroniczne, jak i asynchroniczne modele obliczeń współbieżnych, modele czasu ciągłego dla systemów dynamicznych oraz systemy hybrydowe do integracji ewolucji dyskretnej i ciągłej. Rola wymagań poprawności w projektowaniu niezawodnych systemów jest zilustrowana szeregiem formalizmów specyfikacji i powiązanych technik formalnej weryfikacji. Tematy obejmują wymagania bezpieczeństwa i żywotności, logikę temporalną, sprawdzanie modeli, weryfikację dedukcyjną, analizę stabilności systemów liniowych i algorytmy planowania w czasie rzeczywistym. Zasady modelowania, specyfikacji i analizy są zilustrowane poprzez konstruowanie rozwiązań reprezentatywnych problemów projektowych z algorytmów rozproszonych, protokołów sieciowych, projektowania sterowania i robotyki.
Książka ta zapewnia szybko rozwijającej się dziedzinie systemów cyber-fizycznych od dawna potrzebny fundamentalny tekst autorstwa uznanego autorytetu. Nadaje się do użytku w klasie lub jako odniesienie dla profesjonalistów.
