FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Professur für Regelungstechnik
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Elektrotechnik-Elektronik-Informationstechnik
Chair of Automatic Control
Overview
Publications
(35)
Research Grants
(4)
Research Fields
(1)
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 non-blockingness verification of finite automata with prioritised events (2024)
Tang Y, Moor T
Journal article
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
Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures (2021)
Wang X, Li Z, Wonham WM
Journal article
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
State-based fault diagnosis of discrete-event systems with partially observable outputs (2020)
Wang D, Wang X, Li Z
Journal article
Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices (2020)
Wang D, Wang X, Li Z
Journal article
Refinements of behavioural abstractions for the supervisory control of hybrid systems (2020)
Yang JM, Moor T, Raisch J
Journal article
‹
1
2
3
4
›