timed automata 的监控问题
形式语言与自动机理论
2020-02-18 v1
摘要
我们研究自动机理论中经典成员问题的一种变体，即判定给定输入字是否被给定自动机接受。我们采用不同视角：考虑该问题的动态版本，称为监控问题，其中自动机固定，输入如流般按位置自然顺序逐符号揭示。目标在于设计一种动态数据结构，可查询由迄今已揭示符号构成的字是否被自动机接受，并能在下一符号揭示时高效更新。我们通过考虑处理与时间戳交错的符号的 timed automata，给出该监控问题的复杂度界。主要贡献在于：在除时钟常数外各分量均固定的情况下，单时钟 timed automaton 的监控可在每输入符号均摊常数时间内完成。
引用
@article{arxiv.2002.07049,
title = {The monitoring problem for timed automata},
author = {Alejandro Grez and Filip Mazowiecki and Michał Pilipczuk and Gabriele Puppis and Cristian Riveros},
journal= {arXiv preprint arXiv:2002.07049},
year = {2020}
}