Értékelés:
A könyv a kiber-fizikai rendszereket világosan és átfogóan tárgyalja, így a különböző háttérrel rendelkező mérnökök, különösen a repülőgép- és gépészmérnökök számára is hozzáférhetővé teszi. Jól megírt, és hatékonyan hidalja át az elméleti koncepciókat a gyakorlati megvalósítással.
Előnyök:⬤ Világos írás
⬤ jó absztrakciós szint
⬤ gyakorlati megvalósítási támogatás
⬤ hasznos a különböző szakterületekről érkező mérnökök számára
⬤ számos témát érint, beleértve az automatákat, az irányítási rendszereket és a dinamikát.
Néhány olvasó túlságosan informatika-hangsúlyosnak találhatja a tartalmat, ha nem számítástechnikai háttérrel rendelkezik.
(4 olvasói vélemény alapján)
Principles of Cyber-Physical Systems
Alapvető szöveg, amely szigorú bevezetést nyújt a kiber-fizikai rendszerek tervezésének, specifikációjának, modellezésének és elemzésének elveibe.
A kiberfizikai rendszer egymással kommunikáló és a fizikai világgal érzékelők és működtetők segítségével kölcsönhatásba lépő, visszacsatolt hurokban működő számítástechnikai eszközök gyűjteményéből áll. Az ilyen rendszerek egyre inkább mindenütt jelen vannak, az intelligens épületektől kezdve az orvosi eszközökön át az autókig. Ez a tankönyv szigorú és átfogó bevezetést nyújt a kiberfizikai rendszerek tervezésének, specifikációjának, modellezésének és elemzésének elveibe. A könyv a legkülönfélébb részdiszciplínákra támaszkodik, többek között a modellalapú tervezésre, az egyidejűségelméletre, az elosztott algoritmusokra, a specifikáció és a verifikáció formális módszereire, az irányításelméletre, a valós idejű rendszerekre és a hibrid rendszerekre, és mindegyikből elmagyarázza a rendszertervezés és -elemzés szempontjából fontos alapgondolatokat.
A könyv elmagyarázza, hogy a formális modellek hogyan biztosítanak matematikai absztrakciókat a rendszertervezés komplexitásának kezeléséhez. Foglalkozik az egyidejű számítások szinkron és aszinkron modelljeivel, a dinamikus rendszerek folytonos idejű modelljeivel, valamint a diszkrét és folytonos fejlődést integráló hibrid rendszerekkel. A helyességi követelmények szerepét a megbízható rendszerek tervezésében számos specifikációs formalizmussal és a kapcsolódó formális verifikációs technikákkal szemlélteti. A témakörök között szerepelnek a biztonsági és életképességi követelmények, az időbeli logika, a modellellenőrzés, a deduktív verifikáció, a lineáris rendszerek stabilitáselemzése és a valós idejű ütemezési algoritmusok. A modellezés, specifikáció és elemzés alapelvei az elosztott algoritmusok, hálózati protokollok, vezérléstervezés és robotika reprezentatív tervezési problémáinak megoldásával illusztrálhatók.
Ez a könyv a kiber-fizikai rendszerek gyorsan bővülő területét egy elismert szaktekintély régóta szükséges alapozó szövegével látja el. Alkalmas tantermi használatra vagy szakemberek számára referenciaként.
