Discrete control of switched linear systems. - Thomas Moor; Jörg Raisch (ECC, 1999)

Approximation of multiple switched flow systems for the purpose of control synthesis. - Thomas Moor; Jörg Raisch (CDC, 2000)

Approximationsbasierter Entwurf diskreter Steuerungen für gemischtwertige Regelstrecken. - Thomas Moor (Shaker, 2000)

Computational advantages of a two-level hybrid control architecture. - Thomas Moor; Jörg Raisch; Jennifer M. Davoren (CDC, 2001)

Modular supervisory control of a class of hybrid systems in a behavioural framework. - Thomas Moor; Jennifer M. Davoren; Jörg Raisch (ECC, 2001)

Hierarchical strategies for hybrid process control problems. - Jörg Raisch; Alexander Itigin; Thomas Moor (ECC, 2001)

Robust Controller Synthesis for Hybrid Systems Using Modal Logic. - Thomas Moor; Jennifer M. Davoren (HSCC, 2001)

Robust hybrid control from a behavioural perspective. - Thomas Moor; Jennifer M. Davoren; Brian D. O. Anderson (CDC, 2002)

Hybrid Control Loops, A/D Maps, and Dynamic Specifications. - Jennifer M. Davoren; Thomas Moor; Anil Nerode (HSCC, 2002)

Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations. - Thomas Moor; Jörg Raisch; Siu O'Young (Discret. Event Dyn. Syst., 2002)

Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1. - Thomas Moor; Jörg Raisch; Jennifer M. Davoren (ADHS, 2003)

A two-level hybrid control strategy for the start-up of a coupled distillation plant. - Alexander Itigin; Jörg Raisch; Thomas Moor; Achim Kienle (ECC, 2003)

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. - Jennifer M. Davoren; Thomas Moor; Rajeev Goré; Vaughan Coulthard; Anil Nerode (FORMATS/FTRTFT, 2004)

Non-deterministic Temporal Logics for General Flow Systems. - Jennifer M. Davoren; Vaughan Coulthard; Nicolas Markey; Thomas Moor (HSCC, 2004)

A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems. - Klaus Werner Schmidt; Thomas Moor; Sebastian Perk (ISIC, 2005)

Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives. - Jennifer M. Davoren; Thomas Moor (ADHS, 2006)

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems. - Klaus Schmidt 002; Thomas Moor; Sebastian Perk (IEEE Trans. Autom. Control., 2008)

Applied supervisory control for a flexible manufacturing system. - Thomas Moor; Klaus Schmidt 002; Sebastian Perk (WODES, 2010)

Distributed state estimation for hybrid and discrete event systems using l-complete approximations. - Jörg Raisch; Thomas Moor; Naim Bajçinca; Stephanie Geist; Vladislav Nenchev (WODES, 2010)

Fuzzy Hybrid Systems modeling with application in decision making and control. - Yiannis S. Boutalis; Thomas Moor; Klaus Schmidt 002 (IEEE Conf. of Intelligent Systems, 2012)

A hierarchical control architecture for sequential behaviours. - Christine Baier; Thomas Moor (WODES, 2012)

On the computation of supremal sublanguages relevant to supervisory control. - Thomas Moor; Christine Baier; Tae-Sic Yoo; Feng Lin 001; Stéphane Lafortune (WODES, 2012)

Special issue on recent trends in discrete event systems. - Jörg Raisch; Alessandro Giua; Thomas Moor; Stéphane Lafortune (Discret. Event Dyn. Syst., 2012)

Consistent abstractions for the purpose of supervisory control. - Thomas Moor; Christine Baier; Thomas Wittmann 001 (CDC, 2013)

Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers. - Thomas Moor (WODES, 2014)

A hierarchical and modular control architecture for sequential behaviours. - Christine Baier; Thomas Moor (Discret. Event Dyn. Syst., 2015)

A discussion of fault-tolerant supervisory control in terms of formal languages. - Thomas Moor (Annu. Rev. Control., 2016)

Consistent abstractions for the supervision of sequential behaviours. - Xiaoying Bai; Thomas Moor (CDC, 2017)

SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time. - Xi Wang 015; Zhiwu Li 001; Thomas Moor (Discret. Event Dyn. Syst., 2019)

On the relation between reactive synthesis and supervisory control of non-terminating processes. - Anne-Kathrin Schmuck; Thomas Moor; Rupak Majumdar (Discret. Event Dyn. Syst., 2020)

Refinements of behavioural abstractions for the supervisory control of hybrid systems. - Jung-Min Yang; Thomas Moor; Jörg Raisch (Discret. Event Dyn. Syst., 2020)

Compositional Verification of Finite Automata under Event Preemption. - Yiheng Tang; Thomas Moor (CDC, 2021)

Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics. - Lukas Triska; Thomas Moor (Discret. Event Dyn. Syst., 2021)

Compositional non-blockingness verification of finite automata with prioritised events. - Yiheng Tang; Thomas Moor (Discret. Event Dyn. Syst., 2024)