Ocena:
Książka przedstawia jasne i kompleksowe podejście do systemów cyberfizycznych, dzięki czemu jest przystępna dla inżynierów z różnych środowisk, w szczególności inżynierów lotnictwa i mechaników. Jest dobrze napisana i skutecznie łączy koncepcje teoretyczne z praktyczną implementacją.
Zalety:⬤ Przejrzysty język
⬤ dobry poziom abstrakcji
⬤ praktyczne wsparcie implementacji
⬤ pomocne dla inżynierów z różnych dyscyplin
⬤ obejmuje szereg tematów, w tym automaty, systemy sterowania i dynamikę.
Niektórzy czytelnicy mogą uznać treść za zbyt ciężką dla informatyki, jeśli pochodzą ze środowisk innych niż informatyczne.
(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.
