Hodnotenie:
Kniha predstavuje jasné a komplexné spracovanie kyberneticko-fyzikálnych systémov, ktoré je prístupné pre inžinierov z rôznych oblastí, najmä leteckých a strojných inžinierov. Je dobre napísaná a efektívne prepája teoretické koncepty s praktickou implementáciou.
Výhody:⬤ Jasne napísané
⬤ dobrá úroveň abstrakcie
⬤ podpora praktickej implementácie
⬤ užitočné pre inžinierov z rôznych odborov
⬤ zahŕňa celý rad tém vrátane automatov, riadiacich systémov a dynamiky.
Niektorí čitatelia môžu považovať obsah za príliš náročný na informatiku, ak pochádzajú z iného ako informatického prostredia.
(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.
