Principy kyberneticko-fyzických systémů

Recenze čtenářů

Kniha představuje přehledné a ucelené pojednání o kyberneticko-fyzikálních systémech, které je přístupné inženýrům z různých oborů, zejména leteckým a strojním inženýrům. Je dobře napsaná a účinně propojuje teoretické koncepty s praktickou realizací.

⬤ Srozumitelně napsané
⬤ dobrá úroveň abstrakce
⬤ podpora praktické implementace
⬤ užitečné pro inženýry z různých oborů
⬤ pokrývá řadu témat včetně automatů, řídicích systémů a dynamiky.

Některým čtenářům může obsah připadat příliš náročný na informatiku, pokud pocházejí z jiného než informatického prostředí.

(na základě 4 hodnocení čtenářů)

Původní název:

Principles of Cyber-Physical Systems

Obsah knihy:

Základní text, který nabízí důkladný úvod do principů návrhu, specifikace, modelování a analýzy kyberneticko-fyzických systémů.

Kyberneticko-fyzikální systém se skládá ze souboru počítačových zařízení, která spolu komunikují a prostřednictvím senzorů a akčních členů ve smyčce zpětné vazby interagují s fyzickým světem. Takové systémy jsou stále častěji všude, od inteligentních budov přes lékařské přístroje až po automobily. Tato učebnice nabízí důsledný a komplexní úvod do principů návrhu, specifikace, modelování a analýzy kyberneticko-fyzických systémů. Kniha vychází z rozmanitých dílčích disciplín, včetně návrhu založeného na modelech, teorie souběhu, distribuovaných algoritmů, formálních metod specifikace a verifikace, teorie řízení, systémů reálného času a hybridních systémů, a vysvětluje základní myšlenky z každé z nich, které jsou důležité pro návrh a analýzu systémů.

Kniha vysvětluje, jak formální modely poskytují matematické abstrakce pro řízení složitosti návrhu systému. Zahrnuje jak synchronní, tak asynchronní modely pro souběžné výpočty, modely spojitého času pro dynamické systémy a hybridní systémy pro integraci diskrétního a spojitého vývoje. Úloha požadavků na správnost při návrhu spolehlivých systémů je ilustrována na řadě specifikačních formalismů a souvisejících technikách formální verifikace. Témata zahrnují požadavky na bezpečnost a životaschopnost, časovou logiku, kontrolu modelů, deduktivní verifikaci, analýzu stability lineárních systémů a algoritmy plánování v reálném čase. Principy modelování, specifikace a analýzy jsou ilustrovány na konstrukci řešení reprezentativních návrhových problémů z oblasti distribuovaných algoritmů, síťových protokolů, návrhu řízení a robotiky.

Tato kniha poskytuje rychle se rozvíjejícímu oboru kyberneticko-fyzických systémů dlouho potřebný základní text od uznávané autority. Je vhodná pro použití ve výuce nebo jako referenční příručka pro odborníky.