Métodos formales para sistemas autónomos

Título original:

Formal Methods for Autonomous Systems

Contenido del libro:

Los métodos formales se refieren a enfoques matemáticos rigurosos del desarrollo de sistemas y han desempeñado un papel clave en el establecimiento de la corrección de los sistemas de seguridad crítica. Los principales componentes de los métodos formales son los modelos y las especificaciones, que son análogos a los comportamientos y requisitos en el diseño de sistemas y nos proporcionan los medios para verificar y sintetizar los comportamientos de los sistemas con garantías formales.

En esta monografía, los autores revisan el estado actual de las aplicaciones de los métodos formales en el ámbito de los sistemas autónomos. Primero consideran la síntesis correcta por construcción bajo varias formulaciones en entornos conocidos antes de abordar el concepto de incertidumbre con sistemas que emplean el aprendizaje utilizando métodos formales, incluyendo la superación de algunas limitaciones de dichos sistemas. Por último, examinan la síntesis de sistemas con supervisión para garantizar que un sistema pueda volver a la normalidad. Los autores concluyen con las orientaciones futuras de los métodos formales en el aprendizaje por refuerzo, la incertidumbre, la privacidad, la explicabilidad de los métodos formales y la regulación y certificación.

Este libro, que abarca temas importantes como la síntesis y el aprendizaje por refuerzo, es un recurso completo para estudiantes, profesionales e investigadores sobre el uso de métodos formales en los sistemas modernos.