Thomas Moor

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