La observabilidad crítica de sistemas de eventos discretos estocásticos bajo pérdida intermitente de observaciones
Autores: Cong, Xuya; Zhu, Haoming; Cui, Wending; Zhao, Guoyin; Yu, Zhenhua
Idioma: Inglés
Editor: MDPI
Año: 2025
Acceso abierto
Artículo científico
2025
La observabilidad crítica de sistemas de eventos discretos estocásticos bajo pérdida intermitente de observaciones
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Sistema
Observabilidad crítica
Pérdida intermitente
Sistemas de eventos discretos estocásticos
Autómatas finitos probabilísticos
Metodologías de verificación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 18
Citaciones: Sin citaciones
Un sistema se dice que es críticamente observable si el operador siempre puede determinar si el estado actual pertenece a un conjunto de estados críticos. Debido a fallas de comunicación, los sistemas pueden sufrir pérdidas intermitentes de observaciones, lo que hace que el sistema no sea críticamente observable. En este sentido, para caracterizar la observabilidad crítica de manera cuantitativa, este artículo extiende la noción de observabilidad crítica a sistemas estocásticos de eventos discretos modelados como autómatas finitos probabilísticos parcialmente observables. Se proponen dos nuevas nociones, llamadas observabilidad crítica casi basada en pasos y observabilidad crítica casi, que describen una medida de observabilidad crítica para un sistema dado contra pérdidas intermitentes de observaciones. Introducimos una nueva operación de lenguaje para obtener un autómata finito probabilístico que describe el comportamiento del sistema de la planta bajo pérdidas intermitentes de observaciones. Basándonos en esta estructura, también presentamos metodologías de verificación para verificar las dos nociones mencionadas y analizar la complejidad. Finalmente, los resultados se aplican a un sistema de procesamiento de carbón crudo, lo que muestra la efectividad de los métodos propuestos.
Descripción
Un sistema se dice que es críticamente observable si el operador siempre puede determinar si el estado actual pertenece a un conjunto de estados críticos. Debido a fallas de comunicación, los sistemas pueden sufrir pérdidas intermitentes de observaciones, lo que hace que el sistema no sea críticamente observable. En este sentido, para caracterizar la observabilidad crítica de manera cuantitativa, este artículo extiende la noción de observabilidad crítica a sistemas estocásticos de eventos discretos modelados como autómatas finitos probabilísticos parcialmente observables. Se proponen dos nuevas nociones, llamadas observabilidad crítica casi basada en pasos y observabilidad crítica casi, que describen una medida de observabilidad crítica para un sistema dado contra pérdidas intermitentes de observaciones. Introducimos una nueva operación de lenguaje para obtener un autómata finito probabilístico que describe el comportamiento del sistema de la planta bajo pérdidas intermitentes de observaciones. Basándonos en esta estructura, también presentamos metodologías de verificación para verificar las dos nociones mencionadas y analizar la complejidad. Finalmente, los resultados se aplican a un sistema de procesamiento de carbón crudo, lo que muestra la efectividad de los métodos propuestos.