Prof. Dr.-Ing. Thomas Moor

Professur für Regelungstechnik

Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations (2020) Wang X, Moor T, Li Z Conference contribution On the relation between reactive synthesis and supervisory control of non-terminating processes (2019) Schmuck AK, Moor T, Majumdar R Journal article SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (2019) Wang X, Li Z, Moor T Journal article On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours (2018) Schmuck AK, Moor T, Majumdar R Conference contribution, Conference Contribution Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems (2018) Yang JM, Moor T, Raisch J Conference contribution, Conference Contribution Deterministic Finite-Automata Abstractions of Time-Variant Sequential Behaviours (2018) Moor T, Götz S Conference contribution, Conference Contribution Consistent abstractions for the supervision of sequential behaviours (2017) Bai X, Moor T Conference contribution, Conference Contribution The controllability prefix for supervisory control under partial observation with an application to fault-tolerant control (2017) Moor T, Schmidt KW Conference contribution, Original article A discussion of fault-tolerant supervisory control in terms of formal languages (2016) Moor T Journal article, Original article A hierarchical and modular control architecture for sequential behaviours (2015) Agethen C, Moor T Journal article, Original article