摘要：对于故障诊断方面的dynamic observers的工作，我们将其扩展到时间自动机。我们研究了带有静态观察器的传感器最小化问题，并且解决了计算给定时间自动机系统的最宽容动态观察器的问题。
作者：Franck Cassez
论文ID：1006.4681
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-06-25
PDF 下载： 英文版 中文版pdf翻译中