Professur für Regelungstechnik

Address:
Cauerstraße 7/9
91058 Erlangen


Research Fields

Ereignisdiskrete Systeme


Related Project(s)


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)



Publications (Download BibTeX)


Gu, C., Wang, X., & Li, Z. (2019). Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures. IEEE Transactions on Automation Science and Engineering, 16(2), 984-997. https://dx.doi.org/10.1109/TASE.2018.2880178
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..
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..
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..
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.
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. (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..
Boutalis, Y., Moor, T., & Schmidt, K. (2012). Fuzzy Hybrid Systems modeling with application in decision making and control. In Proceedings of the 2012 6th IEEE International Conference Intelligent Systems, IS 2012 (pp. 290-296). Sofia, BG.
Agethen, C., Baier, C., & Moor, T. (2012). A hierarchical control architecture for sequential behaviours. In Proceedings of the 11th International Workshop on Discrete Event Systems, WODES 2012 (pp. 259-264). Guadalajara, Jalisco.
Moor, T., Schmidt, K., & Wittmann, T.K. (2011). Abstraction-based control for not necessarily closed behaviours. In Proceedings of the 18th IFAC World Congress (pp. 6988-6993). Milano, IT.
Moor, T., Schmidt, K., & Perk, S. (2010). Applied supervisory control for a flexible manufacturing system. In Proceedings of the 10th International Workshop on Discrete Event Systems, WODES 2010 (pp. 253-258). Berlin.
Perk, S., Moor, T., & Schmidt, K. (2008). Controller synthesis for an I/O-based hierarchical system architecture. In Proceedings of the 9th International Workshop on Discrete Event Systems, WODES' 08 (pp. 474-479). Goteborg.
Schmidt, K., Moor, T., & Perk, S. (2008). Nonblocking hierarchical control of decentralized discrete event systems. IEEETransactions on Automatic Control, 53(10), 2252-2265. https://dx.doi.org/10.1109/TAC.2008.2006817
Moor, T., Schmidt, K., & Perk, S. (2008). LibFAUDES - an open source C++ library for discrete event systems. In Proceedings of the 9th International Workshop on Discrete Event Systems, WODES' 08 (pp. 125-130). Goteborg.

Last updated on 2019-14-05 at 07:49