1.Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement

作　　者：Tomáš Masopust ;Alexander Meduna

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;3:183-192.doi:10.4204/EPTCS.3.17

出版社：Open Publishing Association

文章 ID：83119716

文章详细全文下载
2.Conditions for Hierarchical Supervisory Control under Partial Observation ⁎

作　　者：Jan Komenda ;Tomáš Masopust

出　　处：IFAC PapersOnLine. 2020 ;53(4):303-308.doi:10.1016/j.ifacol.2021.04.029

出版社：Elsevier

文章 ID：1032015534

文章详细
3.On Verification of Strong Periodic D-Detectability for Discrete Event Systems ⁎

作　　者：JiŘí Balun ;Tomáš Masopust

出　　处：IFAC PapersOnLine. 2020 ;53(4):263-268.doi:10.1016/j.ifacol.2021.04.025

出版社：Elsevier

文章 ID：1032015558

文章详细
4.Maximal Permissiveness of Modular Supervisory Control via Multilevel Structuring ⁎

作　　者：Jan Komenda ;Tomáš Masopust ;Jan H. van Schuppen

出　　处：IFAC PapersOnLine. 2020 ;53(2):2116-2121.doi:10.1016/j.ifacol.2020.12.2533

出版社：Elsevier

文章 ID：1031640809

文章详细
5.On Opacity Verification for Discrete-Event Systems ⁎

作　　者：Jiří Balun ;Tomáš Masopust

出　　处：IFAC PapersOnLine. 2020 ;53(2):2075-2080.doi:10.1016/j.ifacol.2020.12.2524

出版社：Elsevier

文章 ID：1031641088

文章详细

	有全文链接	4篇
	有本地全文	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Tomáš Masopust")))) )) ) )"

	Tomáš Masopust	5篇
	Jan Komenda	2篇
	Alexander Meduna	1篇
	Jan H. van Schuppen	1篇
	JiŘí Balun	1篇

	IFAC PapersOnLine	4篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2020	4篇
	2009	1篇