Metode formale pentru sisteme autonome

Titlul original:

Formal Methods for Autonomous Systems

Conținutul cărții:

Metodele formale se referă la abordări matematice riguroase ale dezvoltării sistemelor și au jucat un rol-cheie în stabilirea corectitudinii sistemelor de siguranță critice. Principalele elemente de bază ale metodelor formale sunt modelele și specificațiile, care sunt analoge comportamentelor și cerințelor din proiectarea sistemelor și ne oferă mijloacele de a verifica și sintetiza comportamentele sistemelor cu garanții formale.

În această monografie, autorii analizează stadiul actual al aplicării metodelor formale în domeniul sistemelor autonome. Aceștia analizează mai întâi sinteza corectă prin construcție în diferite formulări în medii cunoscute, înainte de a aborda conceptul de incertitudine cu sisteme care utilizează învățarea prin metode formale, inclusiv depășirea unor limitări ale acestor sisteme. În cele din urmă, ei examinează sinteza sistemelor cu monitorizare pentru a se asigura că un sistem poate reveni la normalitate. Concluzia prezintă direcțiile viitoare ale metodelor formale în învățarea prin consolidare, incertitudinea, confidențialitatea, explicabilitatea metodelor formale, precum și reglementarea și certificarea.

Acoperind subiecte importante, cum ar fi sinteza și învățarea prin consolidare, este o resursă cuprinzătoare pentru studenți, practicieni și cercetători privind utilizarea metodelor formale în sistemele moderne.