FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Ereignisdiskrete Systeme
Overview
Publications
(29)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Compositional Verification of Non-Blockingness with Prioritised Events (2022)
Tang Y, Moor T
Conference contribution
Abstraction Based Supervisory Control for Non-Regular ∗-Languages (2022)
Triska L, Moor T
Conference contribution, Conference Contribution
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics (2021)
Triska L, Moor T
Journal article, Original article
Compositional Verification of Finite Automata under Event Preemption (2021)
Tang Y, Moor T
Conference contribution
Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets (2020)
Triska L, Moor T
Conference contribution, Conference Contribution
Refinements of behavioural abstractions for the supervisory control of hybrid systems (2020)
Yang JM, Moor T, Raisch J
Journal article
A Reactive Synthesis Approach to Supervisory Control of Terminating Processes (2020)
Schmuck AK, Moor T, Schmidt KW
Conference contribution
An Efficient Algorithm for the Computation of the Controllability Prefix of (*)-Languages (2020)
Moor T, Schmidt KW, Schmuck AK
Conference contribution
Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations (2020)
Wang X, Moor T, Li Z
Conference contribution
On the relation between reactive synthesis and supervisory control of non-terminating processes (2019)
Schmuck AK, Moor T, Majumdar R
Journal article
‹
1
2
3
›