Thomas Moor

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 8

Top Venues

Discret. Event Dyn. Syst.

CDC

Annu. Rev. Control.

WODES

Helmut Schmidt University, Hamburg, Germany (PHD)

Education History

Helmut Schmidt University, Hamburg, Germany

PHD

Publications

Yiheng Tang, Thomas Moor
Compositional non-blockingness verification of finite automata with prioritised events. Discret. Event Dyn. Syst. 34 (1) (2024)
Yiheng Tang, Thomas Moor
Compositional Verification of Finite Automata under Event Preemption. CDC (2021)
Lukas Triska, Thomas Moor
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics. Discret. Event Dyn. Syst. 31 (4) (2021)
Jung-Min Yang, Thomas Moor, Jörg Raisch
Refinements of behavioural abstractions for the supervisory control of hybrid systems. Discret. Event Dyn. Syst. 30 (3) (2020)
Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar
On the relation between reactive synthesis and supervisory control of non-terminating processes. Discret. Event Dyn. Syst. 30 (1) (2020)
Xi Wang, Zhiwu Li, Thomas Moor
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time. Discret. Event Dyn. Syst. 29 (4) (2019)
Xiaoying Bai, Thomas Moor
Consistent abstractions for the supervision of sequential behaviours. CDC (2017)
Thomas Moor
A discussion of fault-tolerant supervisory control in terms of formal languages. Annu. Rev. Control. 41 (2016)
Christine Baier, Thomas Moor
A hierarchical and modular control architecture for sequential behaviours. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Thomas Moor
Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers. WODES (2014)
Thomas Moor, Christine Baier, Thomas Wittmann
Consistent abstractions for the purpose of supervisory control. CDC (2013)
Thomas Moor, Christine Baier, Tae-Sic Yoo, Feng Lin, Stéphane Lafortune
On the computation of supremal sublanguages relevant to supervisory control. WODES (2012)
Yiannis S. Boutalis, Thomas Moor, Klaus Schmidt
Fuzzy Hybrid Systems modeling with application in decision making and control. IEEE Conf. of Intelligent Systems (2012)
Christine Baier, Thomas Moor
A hierarchical control architecture for sequential behaviours. WODES (2012)
Jörg Raisch, Alessandro Giua, Thomas Moor, Stéphane Lafortune
Special issue on recent trends in discrete event systems. Discret. Event Dyn. Syst. 22 (4) (2012)
Jörg Raisch, Thomas Moor, Naim Bajçinca, Stephanie Geist, Vladislav Nenchev
Distributed state estimation for hybrid and discrete event systems using l-complete approximations. WODES (2010)
Thomas Moor, Klaus Schmidt, Sebastian Perk
Applied supervisory control for a flexible manufacturing system. WODES (2010)
Klaus Schmidt, Thomas Moor, Sebastian Perk
Nonblocking Hierarchical Control of Decentralized Discrete Event Systems. IEEE Trans. Autom. Control. 53 (10) (2008)
Jennifer M. Davoren, Thomas Moor
Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives. ADHS (2006)
Klaus Werner Schmidt, Thomas Moor, Sebastian Perk
A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems. ISIC (2005)
Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor
Non-deterministic Temporal Logics for General Flow Systems. HSCC (2004)
Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT (2004)
Thomas Moor, Jörg Raisch, Jennifer M. Davoren
. ADHS (2003)
Alexander Itigin, Jörg Raisch, Thomas Moor, Achim Kienle
A two-level hybrid control strategy for the start-up of a coupled distillation plant. ECC (2003)
Thomas Moor, Jennifer M. Davoren, Brian D. O. Anderson
Robust hybrid control from a behavioural perspective. CDC (2002)
Thomas Moor, Jörg Raisch, Siu O'Young
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations. Discret. Event Dyn. Syst. 12 (1) (2002)
Jennifer M. Davoren, Thomas Moor, Anil Nerode
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC (2002)
Jörg Raisch, Alexander Itigin, Thomas Moor
Hierarchical strategies for hybrid process control problems. ECC (2001)
Thomas Moor, Jennifer M. Davoren, Jörg Raisch
Modular supervisory control of a class of hybrid systems in a behavioural framework. ECC (2001)
Thomas Moor, Jennifer M. Davoren
Robust Controller Synthesis for Hybrid Systems Using Modal Logic. HSCC (2001)
Thomas Moor, Jörg Raisch, Jennifer M. Davoren
Computational advantages of a two-level hybrid control architecture. CDC (2001)
Thomas Moor, Jörg Raisch
Approximation of multiple switched flow systems for the purpose of control synthesis. CDC (2000)
Thomas Moor, Jörg Raisch
Discrete control of switched linear systems. ECC (1999)

Thomas Moor.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Moor