Értékelés:
A könyvet nagyra értékelik érthetőségéért és hozzáférhetőségéért, különösen a kiberfizikai rendszerek különböző mérnöki háttérrel rendelkező olvasók számára történő bemutatásáért. Az elméleti koncepciók és a gyakorlati megvalósítások között hatékony egyensúlyt teremt.
Előnyök:⬤ Világosan megírt és könnyen érthető
⬤ kezdők és más szakterületekről érkező mérnökök számára is alkalmas
⬤ jól strukturált bevezetés a kiberfizikai rendszerekbe
⬤ több releváns témát összefüggően tárgyal.
Egyes olvasók túlságosan bevezetőnek találhatják a tartalmat, ha haladóbb anyagot keresnek; a terminológiát nem ismerők számára informatikai nehézkesnek tűnhet.
(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.
