Introduzindo Novas Definições de Opacidade de Linguagem de Sistemas a Eventos Discretos Modelados Por Uma Classe de Autômatos Temporizados

EasyChair Preprint 15155

Abstract

Este artigo aborda o problema de opacidade de linguagem para uma classe de sistemas a eventos discretos cujas transições ocorrem em um tempo específico contido em um intervalo de tempo conhecido após seu respectivo evento se tornar habilitado. Para tanto, é utilizada uma classe de autômatos temporizados, os chamados autômatos temporizados por intervalos (ATI), nos quais um intervalo de tempo é associado a cada evento que rotula uma transição. Em artigos anteriores foram apresentados novos procedimentos para a realização de operações com ATIs, a definição usual de opacidade com base em linguagem foi estendida para esta classe de autômatos, foram apresentadas condições necessárias e suficientes para opacidade com base em linguagem temporizada (OBLT) e um algoritmo para sua verificação foi proposto. Neste artigo, a definição existente de OBLT é expandida com o objetivo de captar mais nuances relacionadas ao modelo temporizado.

Keyphrases: Sistemas a eventos discretos, autômatos temporizados, autômatos temporizados com intervalo de tempo, opacidade

@booklet{EasyChair:15155,
  author    = {Mariana Marques and Raphael Barcelos and João Carlos Basilio},
  title     = {Introducing New Definitions of Systems Language Opacity for Discrete Events Modeled by a Class of Timed Automata},
  howpublished = {EasyChair Preprint 15155},
  year      = {EasyChair, 2024}}