T. Moor

Most-cited papers

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
K. Schmidt, T. Moor, S. Perk
2008IEEE Transactions on Automatic Control107 citations Open access
Semantic Scholar
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
T. Moor, J. Raisch, S. O'Young
2002Discrete event dynamic systems106 citations
Semantic Scholar
Supervisory control of hybrid systems within a behavioural framework
T. Moor, J. Raisch
1999105 citations
Semantic Scholar
Abstraction based supervisory controller synthesis for high order monotone continuous systems
T. Moor, J. Raisch
200251 citations
Semantic Scholar
Non-deterministic Temporal Logics for General Flow Systems
J. M. Davoren, Vaughan Coulthard, N. Markey, T. Moor
2004International Conference on Hybrid Systems: Computation and Control44 citations
Semantic Scholar
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
T. Moor, J. M. Davoren
2001International Conference on Hybrid Systems: Computation and Control37 citations
Semantic Scholar
On the relation between reactive synthesis and supervisory control of non-terminating processes
Anne-Kathrin Schmuck, T. Moor, R. Majumdar
2019Discrete event dynamic systems35 citations Open access
Semantic Scholar
Supervisory control of hybrid systems via l-complete approximations
T. Moor, J. Raisch, S. O'Young
199834 citations
Semantic Scholar
A discussion of fault-tolerant supervisory control in terms of formal languages
T. Moor
2016Annual Reviews in Control28 citations Open access
Semantic Scholar
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1
T. Moor, J. Raisch, J. M. Davoren
2003IFAC Conference on Analysis and Design of Hybrid Systems25 citations Open access
Semantic Scholar
Discrete control of switched linear systems
T. Moor, J. Raisch
1999European Control Conference25 citations
Semantic Scholar
Fault-Tolerant Control of Discrete Event Systems based on Fault-Accommodating Models
Thomas Wittmann, Jan H. Richter, T. Moor
201222 citations Open access
Semantic Scholar
Hierarchical control for structural decentralized DES
K. Schmidt, J. Reger, T. Moor
200422 citations Open access
Semantic Scholar
On the computation of supremal sublanguages relevant to supervisory control
T. Moor, Christine Baier, T. Yoo, F. Lin +1 more
2012International Workshop on Discrete Event Systems18 citations Open access
Semantic Scholar
Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant
J. Raisch, T. Moor
200518 citations
Semantic Scholar
Learning by doing: systematic abstraction refinement for hybrid control synthesis
T. Moor, J. M. Davoren, J. Raisch
200617 citations
Semantic Scholar
A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems
K. Schmidt, T. Moor, S. Perk
2005Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005.15 citations Open access
Semantic Scholar
HIERARCHICAL HYBRID CONTROL OF A MULTIPRODUCT BATCH PLANT
T. Moor, J. Raisch
200515 citations Open access
Semantic Scholar
Fault-Hiding Control Reconfiguration for a Class of Discrete Event Systems
Thomas Wittmann, Jan H. Richter, T. Moor
201313 citations Open access
Semantic Scholar
Applied supervisory control for a flexible manufacturing system
T. Moor, K. Schmidt, S. Perk
2010International Workshop on Discrete Event Systems13 citations
Semantic Scholar
Computational advantages of a two-level hybrid control architecture
T. Moor, J. Raisch, J. M. Davoren
2001Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)13 citations
Semantic Scholar
Robust hybrid control from a behavioural perspective
T. Moor, J. M. Davoren, B. Anderson
2002Proceedings of the 41st IEEE Conference on Decision and Control, 2002.12 citations
Semantic Scholar
Modular supervisory control of a class of hybrid systems in a behavioural framework
T. Moor, J. M. Davoren, J. Raisch
2001European Control Conference12 citations
Semantic Scholar
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Jung-Min Yang, T. Moor, J. Raisch
2020Discrete event dynamic systems11 citations Open access
Semantic Scholar
Discrete Supervisory Control of Switched Linear Systems
D. Franke, T. Moor, J. Raisch
200011 citations
Semantic Scholar
Hierarchical Control of Hybrid Systems
J. Raisch, A. Itigin, T. Moor
200011 citations
Semantic Scholar
Fault-Tolerant Control of Discrete-Event Systems with Lower-Bound Specifications
T. Moor, K. Schmidt
201510 citations Open access
Semantic Scholar
Abstraction-Based Control for Not Necessarily Closed Behaviours
T. Moor, K. Schmidt, Thomas Wittmann
201110 citations Open access
Semantic Scholar
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
J. M. Davoren, T. Moor, A. Nerode
2002International Conference on Hybrid Systems: Computation and Control10 citations
Semantic Scholar
Strategic refinements in abstraction based supervisory control of hybrid systems
T. Moor, J. M. Davoren, J. Raisch
2002Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.10 citations
Semantic Scholar
A hierarchical and modular control architecture for sequential behaviours
Christine Baier, T. Moor
2014Discrete event dynamic systems9 citations
Semantic Scholar
Distributed state estimation for hybrid and discrete event systems using l-complete approximations
J. Raisch, T. Moor, N. Bajçinca, S. Geist +1 more
2010International Workshop on Discrete Event Systems9 citations Open access
Semantic Scholar
A Hierarchical Architecture for Nonblocking Control of Decentralized Discrete Event Systems
K. Schmidt, T. Moor, S. Perk
20059 citations
Semantic Scholar
Henry Miller on Writing
Henry Miller, T. Moor
19649 citations
Semantic Scholar
Topological semantics for Intuitionistic modal logics, and spatial discretisation by A/D maps
J. M. Davoren, Vaughan Coulthard, T. Moor, R. Goré +1 more
9 citations
Semantic Scholar
EVENT DRIVEN CONTROL OF SWITCHED-INTEGRATOR-SYSTEMS LE CONTROLE
T. Moor
19988 citations
Semantic Scholar
Fault-Tolerant Supervisory Control
T. Moor
20157 citations Open access
Semantic Scholar
A two-level hybrid control strategy for the start-up of a coupled distillation plant
A. Itigin, J. Raisch, T. Moor, A. Kienle
2003European Control Conference7 citations
Semantic Scholar
Think continuous, act discrete: des techniques for continuous systems
T. Moor, J. Raisch
20027 citations
Semantic Scholar
On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours
Anne-Kathrin Schmuck, T. Moor, R. Majumdar
20186 citations Open access
Semantic Scholar
Approximation of multiple switched flow systems for the purpose of control synthesis
T. Moor, J. Raisch
2000Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)6 citations
Semantic Scholar
Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets
Lukas Triska, T. Moor
2020IFAC-PapersOnLine5 citations Open access
Semantic Scholar
Supervisory Control of Non-Terminating Processes : an Interpretation of Liveness Properties
T. Moor
20185 citations
Semantic Scholar
A hierarchical control architecture for sequential behaviours
Christine Baier, T. Moor
2012International Workshop on Discrete Event Systems5 citations
Semantic Scholar
Nonblocking hierarchical control of decentralized DES
K. Schmidt, S. Perk, T. Moor
20055 citations Open access
Semantic Scholar
A Reactive Synthesis Approach to Supervisory Control of Terminating Processes
Anne-Kathrin Schmuck, T. Moor, K. Schmidt
2020IFAC-PapersOnLine4 citations Open access
Semantic Scholar
Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers
T. Moor
2014International Workshop on Discrete Event Systems4 citations Open access
Semantic Scholar
Consistent abstractions for the purpose of supervisory control
T. Moor, Christine Baier, Thomas Wittmann
2013IEEE Conference on Decision and Control4 citations
Semantic Scholar
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
Lukas Triska, T. Moor
2021Discrete event dynamic systems3 citations Open access
Semantic Scholar
Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations
Xi Wang, T. Moor, Zhi-Wu Li
2020IFAC-PapersOnLine3 citations Open access
Semantic Scholar