Formal Methods for Autonomous Systems
A formális módszerek a rendszerfejlesztés szigorú, matematikai megközelítését jelentik, és kulcsszerepet játszottak a biztonságkritikus rendszerek helyességének megállapításában. A formális módszerek fő építőkövei a modellek és a specifikációk, amelyek analógok a rendszertervezésben alkalmazott viselkedésekkel és követelményekkel, és amelyek segítségével a rendszer viselkedését formális garanciákkal ellenőrizhetjük és szintetizálhatjuk.
Ebben a monográfiában a szerzők áttekintik a formális módszerek autonóm rendszerek területén történő alkalmazásainak jelenlegi állását. Elsőként a helyes-építés szerinti szintézist vizsgálják különböző formulák alapján ismert környezetben, mielőtt a bizonytalanság fogalmával foglalkoznak a formális módszerek segítségével tanuló rendszerekkel, beleértve az ilyen rendszerek egyes korlátainak leküzdését. Végezetül megvizsgálják a rendszerek szintézisét a rendszer normál állapotba való visszatérésének biztosítása érdekében végzett megfigyeléssel. Végezetül a megerősítő tanulás, a bizonytalanság, a magánélet védelme, a formális módszerek magyarázhatósága, valamint a szabályozás és a tanúsítás terén a formális módszerek jövőbeli irányaival foglalkoznak.
Az olyan fontos témákat, mint a szintézis és a megerősítéses tanulás lefedő könyv átfogó forrás a hallgatók, gyakorlati szakemberek és kutatók számára a formális módszerek modern rendszerekben való alkalmazásáról.