Metody formalne dla systemów autonomicznych

Oryginalny tytuł:

Formal Methods for Autonomous Systems

Zawartość książki:

Metody formalne odnoszą się do rygorystycznych, matematycznych podejść do rozwoju systemu i odegrały kluczową rolę w ustaleniu poprawności systemów krytycznych dla bezpieczeństwa. Głównymi elementami składowymi metod formalnych są modele i specyfikacje, które są analogiczne do zachowań i wymagań w projektowaniu systemów i dają nam środki do weryfikacji i syntezy zachowań systemu z formalnymi gwarancjami.

W niniejszej monografii autorzy dokonują przeglądu aktualnego stanu wiedzy na temat zastosowań metod formalnych w dziedzinie systemów autonomicznych. Najpierw rozważają syntezę poprawną przez konstrukcję w różnych sformułowaniach w znanych środowiskach, a następnie zajmują się koncepcją niepewności w systemach wykorzystujących uczenie się przy użyciu metod formalnych, w tym przezwyciężając niektóre ograniczenia takich systemów. Na koniec badają syntezę systemów z monitorowaniem w celu zapewnienia, że system może powrócić do normalności. Podsumowują przyszłe kierunki metod formalnych w uczeniu się ze wzmocnieniem, niepewności, prywatności, wyjaśnialności metod formalnych oraz regulacji i certyfikacji.

Obejmując ważne tematy, takie jak synteza i uczenie się ze wzmocnieniem, jest to kompleksowe źródło informacji dla studentów, praktyków i badaczy w zakresie stosowania metod formalnych w nowoczesnych systemach.