default search action
Thomas Moor
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Yiheng Tang
, Thomas Moor:
Compositional non-blockingness verification of finite automata with prioritised events. Discret. Event Dyn. Syst. 34(1): 125-161 (2024) - 2021
- [j9]Lukas Triska
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics. Discret. Event Dyn. Syst. 31(4): 583-607 (2021) - [c23]Yiheng Tang, Thomas Moor:
Compositional Verification of Finite Automata under Event Preemption. CDC 2021: 301-308 - 2020
- [j8]Anne-Kathrin Schmuck
On the relation between reactive synthesis and supervisory control of non-terminating processes. Discret. Event Dyn. Syst. 30(1): 81-124 (2020) - [j7]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): 533-560 (2020)
2010 – 2019
- 2019
- [j6]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): 501-520 (2019) - 2017
- [c22]Xiaoying Bai, Thomas Moor:
Consistent abstractions for the supervision of sequential behaviours. CDC 2017: 565-570 - 2016
- [j5]Thomas Moor:
A discussion of fault-tolerant supervisory control in terms of formal languages. Annu. Rev. Control. 41: 159-169 (2016) - 2015
- [j4]Christine Baier, Thomas Moor:
A hierarchical and modular control architecture for sequential behaviours. Discret. Event Dyn. Syst. 25(1-2): 95-124 (2015) - 2014
- [c21]Thomas Moor:
Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers. WODES 2014: 300-305 - 2013
- [c20]Thomas Moor, Christine Baier, Thomas Wittmann:
Consistent abstractions for the purpose of supervisory control. CDC 2013: 7291-7296 - 2012
- [j3]Jörg Raisch, Alessandro Giua
Special issue on recent trends in discrete event systems. Discret. Event Dyn. Syst. 22(4): 381-382 (2012) - [c19]Yiannis S. Boutalis, Thomas Moor, Klaus Schmidt:
Fuzzy Hybrid Systems modeling with application in decision making and control. IEEE Conf. of Intelligent Systems 2012: 290-296 - [c18]Thomas Moor, Christine Baier, Tae-Sic Yoo
On the computation of supremal sublanguages relevant to supervisory control. WODES 2012: 175-180 - [c17]Christine Baier, Thomas Moor:
A hierarchical control architecture for sequential behaviours. WODES 2012: 259-264 - 2010
- [c16]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: 129-134 - [c15]Thomas Moor, Klaus Schmidt, Sebastian Perk:
Applied supervisory control for a flexible manufacturing system. WODES 2010: 253-258 - [e1]Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor:
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. International Federation of Automatic Control 2010, ISBN 978-3-902661-79-1 [contents]
2000 – 2009
- 2008
- [j2]Klaus Schmidt, Thomas Moor, Sebastian Perk:
Nonblocking Hierarchical Control of Decentralized Discrete Event Systems. IEEE Trans. Autom. Control. 53(10): 2252-2265 (2008) - 2006
- [c14]Jennifer M. Davoren, Thomas Moor:
Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives. ADHS 2006: 409-416 - 2005
- [c13]Klaus Werner Schmidt, Thomas Moor, Sebastian Perk:
A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems. ISIC 2005: 902-907 - 2004
- [c12]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: 52-67 - [c11]Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey
Non-deterministic Temporal Logics for General Flow Systems. HSCC 2004: 280-295 - 2003
- [c10]Thomas Moor, Jörg Raisch, Jennifer M. Davoren:
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1. ADHS 2003: 349-354 - [c9]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: 2547-2552 - 2002
- [j1]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): 83-107 (2002) - [c8]Thomas Moor, Jennifer M. Davoren, Brian D. O. Anderson:
Robust hybrid control from a behavioural perspective. CDC 2002: 1169-1174 - [c7]Jennifer M. Davoren, Thomas Moor, Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163 - 2001
- [c6]Thomas Moor, Jörg Raisch, Jennifer M. Davoren:
Computational advantages of a two-level hybrid control architecture. CDC 2001: 358-363 - [c5]Thomas Moor, Jennifer M. Davoren, Jörg Raisch:
Modular supervisory control of a class of hybrid systems in a behavioural framework. ECC 2001: 870-875 - [c4]Jörg Raisch, Alexander Itigin, Thomas Moor:
Hierarchical strategies for hybrid process control problems. ECC 2001: 2534-2539 - [c3]Thomas Moor, Jennifer M. Davoren:
Robust Controller Synthesis for Hybrid Systems Using Modal Logic. HSCC 2001: 433-446 - 2000
- [b1]Thomas Moor:
Approximationsbasierter Entwurf diskreter Steuerungen für gemischtwertige Regelstrecken. Helmut Schmidt University, Hamburg, Germany, Shaker 2000, ISBN 978-3-8265-6869-5, pp. 1-108 - [c2]Thomas Moor, Jörg Raisch:
Approximation of multiple switched flow systems for the purpose of control synthesis. CDC 2000: 3604-3609
1990 – 1999
- 1999
- [c1]Thomas Moor, Jörg Raisch:
Discrete control of switched linear systems. ECC 1999: 3358-3363
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-14 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: