Professur für Regelungstechnik

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 Dynamic Extensions for Exact Backstepping Control of Systems in Pure Feedback Form (2019) Reger J, Triska L Conference contribution, Conference Contribution Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures (2019) Gu C, Wang X, Li Z Journal article SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (2019) Wang X, Li Z, Moor T Journal article On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours (2018) Schmuck AK, Moor T, Majumdar R Conference contribution, Conference Contribution Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems (2018) Yang JM, Moor T, Raisch J Conference contribution, Conference Contribution Deterministic Finite-Automata Abstractions of Time-Variant Sequential Behaviours (2018) Moor T, Götz S Conference contribution, Conference Contribution