Publications

• Göbe, F., Ney, O., and Kowalewski, S., “Reusability and Modularity of Safety Specifications for Supervisory Control”, in Proc. of the IEEE International Conference on Emerging Technology & Factory Automation, 2016, IEEE, pp. 1-8.
• Göbe, F., Timmermanns, T., Ney, O., and Kowalewski, S., “Synthesis Tool for Automation Controller Supervision”, in Proc. of the 13th International Workshop on Discrete Event Systems, 2016, IEEE, pp. 424-431

Visit the RWTH Embedded Software publications archive to access the full text of these papers.