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.Deterministic Finite-Automata Abstractions of Time-Variant Sequential Behaviours

作　　者：Thomas Moor ;Stefan Götz

出　　处：IFAC PapersOnLine. 2018 ;51(7):388-393.doi:10.1016/j.ifacol.2018.06.330

出版社：Elsevier

文章 ID：1020218690

文章详细

3.Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems ⁎

作　　者：Jung–Min Yang ;Thomas Moor ;Jörg Raisch

出　　处：IFAC PapersOnLine. 2018 ;51(7):472-479.doi:10.1016/j.ifacol.2018.06.342

出版社：Elsevier

文章 ID：1020218702

文章详细

4.The Controllability Prefix for Supervisory Control under Partial Observation with an Application to Fault-Tolerant Control

作　　者：Thomas Moor ;Klaus Werner Schmidt

出　　处：IFAC PapersOnLine. 2017 ;50(1):13642-13647.doi:10.1016/j.ifacol.2017.08.2396

出版社：Elsevier

文章 ID：1010446617

文章详细

5.Fault-Tolerant Supervisory Control

作　　者：Thomas Moor

出　　处：IFAC PapersOnLine. 2015 ;48(7):124-131.doi:10.1016/j.ifacol.2015.06.483

出版社：Elsevier

文章 ID：1019238778

文章详细

6.Fault-Tolerant Control of Discrete-Event Systems with Lower-Bound Specifications

作　　者：Thomas Moor ;Klaus Werner Schmidt

出　　处：IFAC PapersOnLine. 2015 ;48(7):161-166.doi:10.1016/j.ifacol.2015.06.488

出版社：Elsevier

文章 ID：1019238783

文章详细

7.Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets ⁎

作　　者：Lukas Triska ;Thomas Moor

出　　处：IFAC PapersOnLine. 2020 ;53(4):75-82.doi:10.1016/j.ifacol.2021.04.049

出版社：Elsevier

文章 ID：1032015544

文章详细

8.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

文章详细

9.Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations ⁎

作　　者：Xi Wang ;Thomas Moor ;Zhiwu Li

出　　处：IFAC PapersOnLine. 2020 ;53(2):11175-11180.doi:10.1016/j.ifacol.2020.12.300

出版社：Elsevier

文章 ID：1031641728

文章详细

10.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

文章详细

全文

出版年度

作者

文章类型

来源期刊

语种

检索条件:"( ( 高级检索(( ((AU:(("Thomas Moor")))) )) ) )"

	Thomas Moor	10篇
	Klaus Werner Schmidt	4篇
	Anne-Kathrin Schmuck	3篇
	Jung–Min Yang	1篇
	Jörg Raisch	1篇

	Lukas Triska	1篇
	Rupak Majumdar	1篇
	Stefan Götz	1篇
	Xi Wang	1篇
	Zhiwu Li	1篇