埃蒂安·安德烈;劳伦·弗里堡 时间自动机的行为制图。 (英语) Zbl 1287.68089号 库切拉,安东宁(编辑)等人,《可达性问题》。2010年8月28日至29日,第四届国际研讨会,RP 2010,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15348-8/pbk)。计算机科学课堂讲稿622776-90(2010)。 摘要:我们的目标是找到一组定时参数,对于这些参数,给定的定时自动机具有“良好”的行为。在此,我们提出了一种新的方法,该方法基于将参数空间分解为行为块,即系统行为一致的参数估值集。这为我们提供了根据参数值的行为制图。然后,根据瓦片的行为,直接将空间划分为“好”和“坏”子空间。我们将此方法扩展到概率系统,允许将参数空间分解为块,其中到达给定位置的最小(相对最大)概率是一致的。已实现,并成功进行了实验。关于整个系列,请参见[Zbl 1194.68049号]. 引用于4文件 MSC公司: 第68季度第45季度 形式语言和自动机 软件:蝶呤;停机坪;自旋蛋白;Uppaal公司;棱镜;高超声速;模仿者 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{L.弗里堡},莱克特。注释计算。科学。6227、76-90(2010年;Zbl 1287.68089) 全文: 内政部