Thomas Moor

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional non-blockingness verification of finite automata with prioritised events Discrete Event Dynamic Systems	2024-05-27	Paper
Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics Discrete Event Dynamic Systems	2022-01-10	Paper
Refinements of behavioural abstractions for the supervisory control of hybrid systems Discrete Event Dynamic Systems	2020-09-01	Paper
On the relation between reactive synthesis and supervisory control of non-terminating processes Discrete Event Dynamic Systems	2020-05-06	Paper
A hierarchical and modular control architecture for sequential behaviours Discrete Event Dynamic Systems	2015-06-12	Paper
Special issue on recent trends in discrete event systems Discrete Event Dynamic Systems	2013-07-09	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant Lecture Notes in Control and Information Science	2005-11-03	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2085322 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1794383 (Why is no real title available?)	2002-09-03	Paper
Discrete supervisory control of hybrid systems based on \(l\)-complete approximations Discrete Event Dynamic Systems	2002-04-11	Paper
scientific article; zbMATH DE number 1343171 (Why is no real title available?)	2000-12-05	Paper
Supervisory control of hybrid systems within a behavioural framework Systems & Control Letters	2000-06-04	Paper

Research outcomes over time

This page was built for person: Thomas Moor