首页期刊浏览 2024年11月27日星期三

登录注册

全文

有全文链接

4篇

出版年度

	2021	1篇
	2020	2篇
	2018	1篇

作者

	Anne-Kathrin Schmuck	4篇
	Thomas Moor	3篇
	Klaus Werner Schmidt	2篇
	Rupak Majumdar	2篇
	Kaushik Mallik	1篇

Sadegh Soudjani

1篇

文章类型

Research Article

4篇

来源期刊

IFAC PapersOnLine

4篇

语种

英文

4篇

检索条件:"( ( 高级检索(( ((AU:(("Anne-Kathrin Schmuck")))) )) ) )"

共 4 条记录

排序：全选导出：

1.On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours

作　　者：Anne-Kathrin Schmuck ;Thomas Moor ;Rupak Majumdar

出　　处：IFAC PapersOnLine. 2018 ;51(7):31-38.doi:10.1016/j.ifacol.2018.06.275

出版社：Elsevier

文章 ID：1020218635

文章详细
2.Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games ⁎

作　　者：Rupak Majumdar ;Kaushik Mallik ;Anne-Kathrin Schmuck 等

出　　处：IFAC PapersOnLine. 2021 ;54(5):127-132.doi:10.1016/j.ifacol.2021.08.486

出版社：Elsevier

文章 ID：1035328705

文章详细
3.An Efficient Algorithm for the Computation of the Controllability Prefix of *-Languages

作　　者：Thomas Moor ;Klaus Werner Schmidt ;Anne-Kathrin Schmuck

出　　处：IFAC PapersOnLine. 2020 ;53(2):2122-2129.doi:10.1016/j.ifacol.2020.12.2701

出版社：Elsevier

文章 ID：1031639407

文章详细
4.A Reactive Synthesis Approach to Supervisory Control of Terminating Processes

作　　者：Anne-Kathrin Schmuck ;Thomas Moor ;Klaus Werner Schmidt

出　　处：IFAC PapersOnLine. 2020 ;53(2):2149-2156.doi:10.1016/j.ifacol.2020.12.2541

出版社：Elsevier

文章 ID：1031641854

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有