Prof. Dr. Thomas Moor



Organisationseinheit


Professur für Regelungstechnik



Projektleitung


Modulare und hierarchische Ansätze für die Regelung nebenläufiger zeitbewerteter ereignisdiskreter Systeme
Prof. Dr. Thomas Moor
(15.07.2019 - 14.07.2022)

Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt B1)
Prof. Dr. Thomas Moor
(15.04.2019 - 14.04.2020)

Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt A)
Prof. Dr. Thomas Moor
(15.04.2018 - 14.04.2019)

(FOR 468: Methods from discrete mathematics for the synthesis and control of chemical processes):
Systematischer Entwurf hierarchisch-hybrider Regler
Prof. Dr. Thomas Moor
(01.01.2006 - 30.01.2011)


Publikationen (Download BibTeX)

Go to first page Go to previous page 1 von 2 Go to next page Go to last page

Moor, T., & Götz, S. (2018). Deterministic Finite-Automata Abstractions of Time-Variant Sequential Behaviours. In Proceedings of the Workshop on Discrete Event Systems (pp. 388-393). Elsevier B.V..
Yang, J.-M., Moor, T., & Raisch, J. (2018). Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems. In Proceedings of the Workshop on Discrete Event Systems (pp. 472-479). Elsevier B.V..
Schmuck, A.-K., Moor, T., & Majumdar, R. (2018). On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours. In Proceedings of the Workshop on Discrete Event Systems (pp. 31-38). Elsevier B.V..
Bai, X., & Moor, T. (2017). Consistent abstractions for the supervision of sequential behaviours. In Proceedings of the 56nd IEEE Conference on Decision and Control.
Moor, T., & Schmidt, K.W. (2017). The controllability prefix for supervisory control under partial observation with an application to fault-tolerant control. In Proceedings of the 20th IFAC World Congress Toulouse.
Moor, T. (2016). A discussion of fault-tolerant supervisory control in terms of formal languages. Annual Reviews in Control, 41(159), 169. https://dx.doi.org/10.1016/j.arcontrol.2016.04.001
Agethen, C., & Moor, T. (2015). A hierarchical and modular control architecture for sequential behaviours. Discrete Event Dynamic Systems: Theory and Applications, 25, 95-124. https://dx.doi.org/10.1007/s10626-014-0182-x
Moor, T., Schmidt, K.W., & Schmidt, K. (2015). Fault-tolerant control of discrete-event systems with lower-bound specifications. In Proceedings of the 5th IFAC International Workshop on Dependable Control of Discrete Systems, DCDS 2015 (pp. 161-166).
Moor, T. (2015). Fault-tolerant supervisory control. In 5th IFAC International Workshop on Dependable Control of Discrete Systems (pp. 124-131).
Agethen, C., Moor, T., Baier, C., & Wittmann, T.K. (2013). Consistent abstractions for the purpose of supervisory control. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013 (pp. 7291-7296). Florence, IT: Institute of Electrical and Electronics Engineers Inc..

Zuletzt aktualisiert 2017-03-07 um 05:05