Thomas Moor

Available identifiers

Publication	Date of Publication	Type
Compositional non-blockingness verification of finite automata with prioritised events	2024-05-27	Paper
Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics	2022-01-10	Paper
Refinements of behavioural abstractions for the supervisory control of hybrid systems	2020-09-01	Paper
On the relation between reactive synthesis and supervisory control of non-terminating processes	2020-05-06	Paper
A hierarchical and modular control architecture for sequential behaviours	2015-06-12	Paper
Special issue on recent trends in discrete event systems	2013-07-09	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant	2005-11-03	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4736581	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4552484	2002-09-03	Paper
Discrete supervisory control of hybrid systems based on \(l\)-complete approximations	2002-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q4267016	2000-12-05	Paper
Supervisory control of hybrid systems within a behavioural framework	2000-06-04	Paper

This page was built for person: Thomas Moor