A discussion of fault-tolerant supervisory control in terms of formal languages von Moor, Thomas

Volltext

Compositional non-blockingness verification of finite automata with prioritised events von Tang, Yiheng, Moor, Thomas

Volltext

Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics von Triska, Lukas, Moor, Thomas

Volltext

SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time von Wang, Xi, Li, Zhiwu, Moor, Thomas

Volltext

A hierarchical and modular control architecture for sequential behaviours von Baier, Christine, Moor, Thomas

Volltext

On the relation between reactive synthesis and supervisory control of non-terminating processes von Schmuck, Anne-Kathrin, Moor, Thomas, Majumdar, Rupak

Volltext

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems von Schmidt, K., Moor, T., Perk, S.

Volltext

Refinements of behavioural abstractions for the supervisory control of hybrid systems von Yang, Jung-Min, Moor, Thomas, Raisch, Jörg

Volltext

The Commons in a Glocal World: Global Connections and Local Responses von Haller, Tobias, Breu, Thomas, De Moor, Tine, Rohr, Christian, Znoj, Heinzpeter

Volltext

Compositional Verification of Non-Blockingness with Prioritised Events von Tang, Yiheng, Moor, Thomas

Volltext

Abstraction Based Supervisory Control for Non-Regular -Languages von Triska, Lukas, Moor, Thomas

Volltext

Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets von Triska, Lukas, Moor, Thomas

Volltext

Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets⁎⁎This work was supported by the German Research Foundation (DFG) under grant MO 1697/4-1 von Triska, Lukas, Moor, Thomas

Volltext

Fault-Tolerant Supervisory Control von Moor, Thomas

Volltext

Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations von Wang, Xi, Moor, Thomas, Li, Zhiwu

Volltext

Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations⁎⁎This work was supported in part by the Natural Science Foundation of China under Grant No.... von Wang, Xi, Moor, Thomas, Li, Zhiwu

Volltext

Special issue on recent trends in discrete event systems von Raisch, Jörg, Giua, Alessandro, Moor, Thomas, Lafortune, Stéphane

Volltext

The Controllability Prefix for Supervisory Control under Partial Observation with an Application to Fault-Tolerant Control von Moor, Thomas, Schmidt, Klaus Werner

Volltext

On the Computation of Supremal Sublanguages Relevant to Supervisory Control von Moor, Thomas, Baier, Christine, Yoo, Tae-Sic, Lin, Feng, Lafortune, Stéphane

Volltext

Discrete supervisory control of hybrid systems based on l-complete approximations von Moor, Thomas, Raisch, Jorg, O'Young, Siu

Volltext