Hodnotenie:
Kniha je vysoko hodnotená pre svoju zrozumiteľnosť a prístupnosť, najmä pri predstavovaní kyberneticko-fyzikálnych systémov čitateľom z rôznych technických odborov. Efektívne vyvažuje teoretické koncepty s praktickými implementáciami.
Výhody:⬤ Jasne napísaná a zrozumiteľná
⬤ vhodná pre začiatočníkov a inžinierov z iných odborov
⬤ dobre štruktúrovaný úvod do kyberneticko-fyzikálnych systémov
⬤ ucelene pokrýva viacero relevantných tém.
Niektorým čitateľom môže obsah pripadať príliš úvodný, ak hľadajú pokročilejší materiál; pre tých, ktorí nepoznajú terminológiu, by mohol byť vnímaný ako ťažký na informatiku.
(na základe 4 čitateľských recenzií)
Principles of Cyber-Physical Systems
Základný text, ktorý ponúka dôkladný úvod do princípov návrhu, špecifikácie, modelovania a analýzy kyberneticko-fyzických systémov.
Kyberneticko-fyzický systém pozostáva zo súboru počítačových zariadení, ktoré navzájom komunikujú a interagujú s fyzickým svetom prostredníctvom senzorov a aktuátorov v spätnej väzbe. Takéto systémy sú čoraz častejšie všade, od inteligentných budov cez zdravotnícke zariadenia až po automobily. Táto učebnica ponúka dôsledný a komplexný úvod do princípov návrhu, špecifikácie, modelovania a analýzy kyberneticko-fyzických systémov. Kniha čerpá z rôznorodých subdisciplín vrátane návrhu založeného na modeli, teórie súbežnosti, distribuovaných algoritmov, formálnych metód špecifikácie a verifikácie, teórie riadenia, systémov reálneho času a hybridných systémov, pričom vysvetľuje základné myšlienky z každej z nich, ktoré sú dôležité pre návrh a analýzu systémov.
Kniha vysvetľuje, ako formálne modely poskytujú matematické abstrakcie na riadenie zložitosti návrhu systému. Zahŕňa synchrónne aj asynchrónne modely pre súbežné výpočty, modely spojitého času pre dynamické systémy a hybridné systémy na integráciu diskrétneho a spojitého vývoja. Úloha požiadaviek na správnosť pri návrhu spoľahlivých systémov je ilustrovaná na celom rade špecifikácií formalizmov a súvisiacich techník formálnej verifikácie. Témy zahŕňajú požiadavky na bezpečnosť a životaschopnosť, časovú logiku, kontrolu modelov, deduktívnu verifikáciu, analýzu stability lineárnych systémov a algoritmy plánovania v reálnom čase. Princípy modelovania, špecifikácie a analýzy sú ilustrované na konštrukcii riešení reprezentatívnych problémov návrhu z oblasti distribuovaných algoritmov, sieťových protokolov, návrhu riadenia a robotiky.
Táto kniha poskytuje rýchlo sa rozvíjajúcej oblasti kyberneticko-fyzických systémov dlho potrebný základný text od uznávanej autority. Je vhodná na použitie v triede alebo ako referencia pre odborníkov.
