Lógica temporal de árbol de cálculo difuso con restricciones de calidad y su verificación de modelos
Autores: Yu, Xianfeng; Li, Yongming; Geng, Shengling; Li, Huirong
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
Lógica temporal de árbol de cálculo difuso con restricciones de calidad y su verificación de modelos
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Encapsulación
Lógica temporal
Restricciones de calidad
Predicados
Expresividad
Verificación de modelos
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 21
Citaciones: Sin citaciones
La encapsulación de funciones y predicados de calidad particulares dentro de fórmulas de lógica temporal mejora notablemente la representación de las características temporales detalladas dentro de un sistema.
Descripción
La encapsulación de funciones y predicados de calidad particulares dentro de fórmulas de lógica temporal mejora notablemente la representación de las características temporales detalladas dentro de un sistema.