Formálne metódy pre autonómne systémy

Pôvodný názov:

Formal Methods for Autonomous Systems

Obsah knihy:

Formálne metódy sa vzťahujú na prísne matematické prístupy k vývoju systémov a zohrávajú kľúčovú úlohu pri určovaní správnosti systémov kritických z hľadiska bezpečnosti. Hlavnými stavebnými kameňmi formálnych metód sú modely a špecifikácie, ktoré sú analogické správaniu a požiadavkám pri návrhu systému a poskytujú nám prostriedky na overenie a syntézu správania systému s formálnymi zárukami.

V tejto monografii autori podávajú prehľad súčasného stavu aplikácií formálnych metód v oblasti autonómnych systémov. Najskôr sa zaoberajú syntézou správania podľa konštrukcie v rámci rôznych formulácií v známych prostrediach a potom sa venujú konceptu neurčitosti pri systémoch, ktoré využívajú učenie pomocou formálnych metód, vrátane prekonania niektorých obmedzení takýchto systémov. Nakoniec skúmajú syntézu systémov s monitorovaním, aby sa zabezpečil návrat systému do normálneho stavu. V závere uvádzajú budúce smery formálnych metód v oblasti posilňovania učenia, neurčitosti, súkromia, vysvetliteľnosti formálnych metód a regulácie a certifikácie.

Kniha pokrýva dôležité témy, ako sú syntéza a posilňovanie učenia, a je komplexným zdrojom informácií pre študentov, odborníkov z praxe a výskumníkov o používaní formálnych metód v moderných systémoch.