Metodi formali per sistemi autonomi

Titolo originale:

Formal Methods for Autonomous Systems

Contenuto del libro:

I metodi formali si riferiscono ad approcci matematici e rigorosi allo sviluppo di sistemi e hanno svolto un ruolo fondamentale nello stabilire la correttezza dei sistemi critici per la sicurezza. I principali elementi costitutivi dei metodi formali sono i modelli e le specifiche, che sono analoghi ai comportamenti e ai requisiti nella progettazione dei sistemi e ci forniscono i mezzi per verificare e sintetizzare i comportamenti del sistema con garanzie formali.

In questa monografia gli autori esaminano l'attuale stato dell'arte delle applicazioni dei metodi formali nel campo dei sistemi autonomi. In primo luogo considerano la sintesi corretta per costruzione con varie formulazioni in ambienti noti, prima di affrontare il concetto di incertezza con sistemi che impiegano l'apprendimento utilizzando metodi formali e superando alcune limitazioni di tali sistemi. Infine, esaminano la sintesi di sistemi con monitoraggio per garantire che un sistema possa tornare alla normalità. Concludono con le direzioni future per i metodi formali nell'apprendimento con rinforzo, l'incertezza, la privacy, la spiegabilità dei metodi formali, la regolamentazione e la certificazione.

Coprendo argomenti importanti come la sintesi e l'apprendimento per rinforzo, è una risorsa completa per studenti, professionisti e ricercatori sull'uso dei metodi formali nei sistemi moderni.