×

时间自动机的行为制图。 (英语) Zbl 1287.68089号

库切拉,安东宁(编辑)等人,《可达性问题》。2010年8月28日至29日,第四届国际研讨会,RP 2010,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15348-8/pbk)。计算机科学课堂讲稿622776-90(2010)。
摘要:我们的目标是找到一组定时参数,对于这些参数,给定的定时自动机具有“良好”的行为。在此,我们提出了一种新的方法,该方法基于将参数空间分解为行为块,即系统行为一致的参数估值集。这为我们提供了根据参数值的行为制图。然后,根据瓦片的行为,直接将空间划分为“好”和“坏”子空间。我们将此方法扩展到概率系统,允许将参数空间分解为块,其中到达给定位置的最小(相对最大)概率是一致的。已实现,并成功进行了实验。
关于整个系列,请参见[Zbl 1194.68049号].

MSC公司:

第68季度第45季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部