Resumen: Este documento presenta un nuevo marco dinámico posterior a la etapa posterior que hace cumplir la clase completa de propiedades de corrección de $ omega $ -regular sobre las políticas probabilísticas precomputadas. Esto constituye un cambio de paradigma desde el entorno predominante de la protección de la seguridad, es decir, asegurando que no suceda nada malo, a un proceso de blindaje que también aplica también la vida, es decir, asegura que algo bueno finalmente suceda. En el núcleo, nuestro método utiliza escudos de tiempo de ejecución adaptativos (STAR) basados en la estrategia, que aprovechan las plantillas de estrategia permisiva para habilitar el protección posterior con una interferencia mínima. Como su característica principal, las estrellas introducen un mecanismo para controlar dinámicamente la interferencia, lo que permite que un parámetro de aplicación sintonizable equilibre las obligaciones formales y el comportamiento específico de la tarea en tiempo de ejecución. Esto permite desencadenar una aplicación más agresiva cuando sea necesario, al tiempo que permite opciones de políticas optimizadas de lo contrario. Además, las estrellas admiten la adaptación en tiempo de ejecución a especificaciones cambiantes o fallas en el actuador, lo que las hace especialmente adecuadas para aplicaciones cibernéticas. Evaluamos las estrellas en un punto de referencia de robot móvil para demostrar su interferencia controlable al hacer cumplir (actualizadas incrementalmente) $ omega $-Propiedades de corrección regular sobre las políticas probabilísticas aprendidas.
Publicado Originalme en rss.arxiv.org El 21 de mayo de 2025.
Ver Fuente Original
