Radek Sindelar

M. Eisenberg, D.Lehner, R. Sindelar, M. Wimmer: Towards Reactive Planning with Digital Twins and Model-Driven Optimization, in T. Margaria, B. Steffen, (eds): Leveraging Applications of Formal Methods, Verification and Validation, Practice, Lecture Notes in Computer Science, Volume 13704, Springer, Cham, 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022. Doi: 10.1007/978-3-031-19762-8_5, pdf

B. Wally, J. Vyskocil, P. Novak, C. Huemer, R. Sindelar, P. Kadera, A. Mazak-Huemer, M. Wimmer: Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems, Journal IEEE Transactions on Automation Science and Engineering, September 2020, pages 1-14. Doi: 10.1109/TASE.2020.3018402

B. Wally, L. Lang, R. Wlodarski, R. Sindelar, C. Huemer, A. Mazak, M. Wimmer: Generating Structured AutomationML Models from IEC 62264 Information, in Proceedings of the 5th AutomationML PlugFest 2019, Hamburg, Germany, September 25-26, 2019. paper

B. Wally, J. Vyskocil, P. Novak, C. Huemer, R. Sindelar, P. Kadera, A. Mazak, M. Wimmer: Production Planning with IEC 62264 and PDDL, in Proceedings of the 17th IEEE International Conference on Industrial Informatics (INDIN 2019), Helsinki, Finland, July 22-25, 2019, pages 492-499. paper

B. Wally, J. Vyskocil, P. Novak, C. Huemer, R. Sindelar, P. Kadera, A. Mazak, M. Wimmer: Flexible Production Systems: Automated Generation of Operations Plans based on ISA-95 and PDDL, in IEEE Robotics and Automation Letters, Volume 4 , Issue 4, pp. 4062-4069, October 2019 doi: 10.1109/LRA.2019.2929991

B. Wally, C. Huemer, A. Mazak, M. Wimmer, S. Radek: Modeling Variability and Persisting Configurations in OPC UA, in Procedia CIRP, pp. 13-18, 52nd CIRP Conference on Manufacturing Sytems (CIRP CMS 2019) Doi: 10.1016/j.procir.2019.03.003

M. Wimmer, P. Novak, R. Sindelar, L. Berardinelli, T. Mayerhofer, A. Mazak: Cardinality-Based Variability Modeling with AutomationML, ETFA 2017, Limassol, Cyprus; 12.09.2017 - 15.09.2017; in Proceedings of ETFA 2017, IEEE, (2017), ISBN: 978-1-5090-6505-9, pages 1 - 4. doi: 10.1109/ETFA.2017.8247711