Resilience of smart integrated energy systems Babazadeh, Davood; Teimourzadeh Baboli, Payam; Mayer, Christoph; Brand, Michael; Becker, Christian; Lehnhoff, Sebastian In: Fathi, M., Zio, E., Pardalos, P.M. (eds): Handbook of Smart Energy Systems. Springer, Cham, 1887-1913 (2023)
Experiences with System-Level Validation Approach Baboli, Payam Teimourzadeh; Babazadeh, Davood; Siagkas, D.; Manikas, S.; Anastasakis, K.; Merino, Julia In: Strasser T., de Jong E., Sosnina M. (eds) European Guide to Power System Testing. Springer, Cham. (2020) Verlags DOI
Test Procedure and Description for System Testing Heussen, Kai; Babazadeh, Davood; Degefa, Merkebu Z.; Taxt, H.; Merino, Julia; Nguyen, V. H.; Baboli, Payam Teimourzadeh; Moghim Khavari, A.; Rikos, E.; Pellegrino, L.; Tran, Q. T.; Jensen, Tue V.; Kotsampopoulos, P.; Strasser, Thomas I. In: Strasser T., de Jong E., Sosnina M. (eds) European Guide to Power System Testing. Springer, Cham. (2020) Verlags DOI
This course gives an introduction to the topic of constraint satisfaction problems and their complexity. It will cover the basics of the theory such as the universal-algebraic approach to constraint satisfaction and several classical algorithms such as local consistency checking and the Bulatov-Dalmau algorithm. We will finally discuss the recent research directions in the field.Educational Objectives: After taking part successfully, students have reached the following learning results Professional Competence:- Knowledge:* Students can describe basic concepts from the theory of constraint satisfaction such as primitive positive formulas, interpretations, polymorphisms, clones* Students can discuss the connections between these concepts* Students know proofs strategies and can reproduce them- Skills:* Students can use CSPs to model problems fromcomplexity theory and decide their complexity using methods from the course.