Automatas temporizados dinámicos para modelado y verificación de sistemas reconfigurables
Autores: Tigane, Samir; Guerrouf, Fayçal; Hamani, Nadia; Kahloul, Laid; Khalgui, Mohamed; Ali, Masood Ashraf
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Automatas temporizados dinámicos para modelado y verificación de sistemas reconfigurables
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Estructuras dinámicas
Autómatas temporizados
Sistemas reconfigurables
Autómatas temporizados dinámicos
Modelado
Verificación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 22
Citaciones: Sin citaciones
Los sistemas modernos de eventos discretos (DESs) suelen caracterizarse por sus estructuras dinámicas que permiten comportamientos altamente flexibles que pueden responder en tiempo real a entornos volátiles.
Descripción
Los sistemas modernos de eventos discretos (DESs) suelen caracterizarse por sus estructuras dinámicas que permiten comportamientos altamente flexibles que pueden responder en tiempo real a entornos volátiles.