Resumen

En la teoría de control de sistemas de eventos discretos (DESs), uno de los temas desafiantes es la extensión de la teoría de DESs de estado finito a DESs de estado infinito. En este artículo, discutimos la verificación de opacidad y diagnosticabilidad para DESs de estado infinito modelados por autómatas de pila (llamados aquí sistemas de pila). Primero, discutimos la opacidad de los sistemas de pila y demostramos que la opacidad de los sistemas de pila es generalmente indecidible. Además, se aclara una clase decidible. Luego, en cuanto a la diagnosticabilidad, demostramos que bajo cierta suposición, diferente a la suposición en el resultado existente, la diagnosticabilidad de los sistemas de pila es decidible. Además, se derivan una condición necesaria y una condición suficiente utilizando aproximaciones de estado finito. Finalmente, como una de las aplicaciones, consideramos la integración de datos mediante XML (Lenguaje de Marcado Extensible). El resultado obtenido es útil para desarrollar la teoría de control de DES

• Materias:Modelado matemático Modelo de red neuronal Tasa de convergencia Aritmética Ondículas libres
• Subjects:Mathematical modeling Neural network model Convergence rate Arithmetic Free wavelets
• Palabras claves:Teoría de control; Sistemas de eventos discretos; DES de estado infinito; Opacidad; Diagnosticabilidad; Sistemas de empuje hacia abajo
• Keywords:Control theory; Discrete event systems; Infinite-state DESs; Opacity; Diagnosability; Pushdown systems