Joseph S.米勒。 时间自动机和半线性混合自动机的可判定性和复杂性结果。 （英文） Zbl 0992.93050号 Lynch，Nancy（编辑）等人，《混合系统：计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1790, 296-309 (2000). 作者定义了一类新的混合自动机，其可达性可以通过简单组件的并行组合来判定。为了推广，他遇到了带有代数常数的时间自动机。他通过模拟双计数器Minsky机器，证明了这些代数时间自动机的可达性是不可判定的。修改结构以应用于参数时间自动机，他重申了空问题的不可判定性，然后用新的结果区分了稠密和离散时间情况。他最后给出了一张可计算性理论复杂性结果表。关于整个系列，请参见[Zbl 0934.00029号].审核人：卡尔·海因茨·沃尔德曼（卡尔斯鲁厄） 引用于28文件 MSC公司： 93元65角 离散事件控制/观测系统 65年第68季度 算法和问题复杂性分析 93个B03 可达集，可达性 关键词：混成自动机;可达性;平行成分;代数时间自动机;参数时间自动机;不可判定性;复杂性结果 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Miller}，莱克特。注释计算。科学。1790、296--309（2000年；Zbl 0992.93050）