马尼德拉·阿格拉瓦尔；蒂亚加拉扬，P.S。 惰性线性混合自动机的离散时间行为。 （英语） 兹比尔1078.68069 Morari，Manfred（编辑）等人，《混合系统：计算和控制》。2005年3月9日至11日，瑞士苏黎世，2005年HSCC第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25108-1/pbk）。计算机科学课堂讲稿3414，55-69（2005）。 摘要：我们研究了一类具有有限精度的惰性线性混合自动机。这门课的主要特点是：–观察与模式切换相关的连续状态和速率变化时，延迟有限。–只能以有限的精度观察连续变量的值。–控制自动机转换的保护是任意线性约束的有限连接。我们表明，可以有效地分析这类自动机的离散时间动力学，而不需要在模式变化期间重置连续变量。事实上，我们的结果适用于远远超出线性约束的保护语言。关于整个系列，请参见[Zbl 1069.68011号]. 引用于34文件 MSC公司： 65年第68季度 形式语言和自动机 93个B07 可观察性 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Agrawal}和\textit{P.S.Thiagarajan}，莱克特。注释计算。科学。3414、55-69（2005年；Zbl 1078.68069） 全文： 内政部