Skip to main content

2015 | OriginalPaper | Buchkapitel

Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation

verfasst von : Alexander Schiendorfer, Gerrit Anders, Jan-Philipp Steghöfer, Wolfgang Reif

Erschienen in: Transactions on Computational Collective Intelligence XX

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Resource allocation problems such as finding a production schedule given a set of suppliers’ capabilities are generally hard to solve due to their combinatorial nature, in particular beyond a certain problem size. Large-scale instances among them, however, are prominent in several applications relevant to smart grids including unit commitment and demand response. Decomposition constitutes a classical tool to deal with this increasing complexity. We present a hierarchical “regio-central” decomposition based on abstraction that is designed to change its structure at runtime. It requires two techniques: (1) synthesizing several models of suppliers into one optimization problem and (2) abstracting the direct composition of several suppliers to reduce the complexity of high-level optimization problems. The problems we consider involve limited maximal and, in particular, minimal capacities along with on/off constraints. We suggest a formalization termed supply automata to capture suppliers and present algorithms for synthesis and abstraction. Our evaluation reveals that the obtained solutions are comparable to central solutions in terms of cost efficiency (within 1 % of the optimum) but scale significantly better (between a third and a half of the runtime) in the case study of scheduling virtual power plants.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
In the application domain, we also need to consider so-called must-run plants [48], leading to \(L^a= \langle [P_{\mathrm {min}}^a, P_{\mathrm {max}}^a] \rangle \).
 
2
Supply is not limited to positive production, since negative production, e.g., consumption or storage of a resource, can be vital to meet the demand, reflecting the concept of a prosumer.
 
3
The expressiveness depends on the function and relation symbols of the underlying constraint language, we assume basic linear arithmetic, boolean algebra and standard inequalities.
 
4
We adopt a functional view, i.e., each constraint \(c \in C\) maps an assignment \(v \in [X \rightarrow D]\) to \(\mathbb {B} = \{ \mathrm {true}, \mathrm {false}\}\) and consequently, c is satisfied w.r.t. v iff \(c(v) = \mathrm {true}\).
 
5
Note that the distinction between \(\mathtt {x_a}\) and \(\mathtt {S[a]}\) emphasizes that \(\mathtt {S}\) is defined for every agent and \(\mathtt {x_a}\) is generated specifically for a.
 
6
Consider a supplier with limited fuel resource in-flow such as, e.g., a biogas plant. At a future time step t, the supply could actually be higher if no gas had been spent in the previous steps rather than ramping-up upfront and needing to ramp-down at t due to the lack of fuel.
 
7
The value of \(\alpha _{\varDelta }\) effectively acts as a “market price” since violations would have to be compensated by buying additional energy.
 
9
Note that the temporal abstraction execution is already included in the runtime per time step for the hierarchical setting.
 
Literatur
1.
Zurück zum Zitat Abouelela, M., El-Darieby, M.: Multidomain hierarchical resource allocation for grid applications. J. Electr. Comput. Eng. 2012, 8 (2012) Abouelela, M., El-Darieby, M.: Multidomain hierarchical resource allocation for grid applications. J. Electr. Comput. Eng. 2012, 8 (2012)
2.
Zurück zum Zitat Anders, G., Schiendorfer, A., Siefert, F., Steghöfer, J.P., Reif, W.: Cooperative resource allocation in open systems of systems. ACM Trans. Auton. Adapt. Syst. 10, 11 (2015)CrossRef Anders, G., Schiendorfer, A., Siefert, F., Steghöfer, J.P., Reif, W.: Cooperative resource allocation in open systems of systems. ACM Trans. Auton. Adapt. Syst. 10, 11 (2015)CrossRef
3.
Zurück zum Zitat Anders, G., Schiendorfer, A., Steghöfer, J.P., Reif, W.: Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants. In: Stechele, W., Wild, T. (eds.) Proceedings of the 2nd International Workshop Self-optimisation in Organic and Autonomic Computing Systems (SAOS 2014), pp. 1–8 (2014) Anders, G., Schiendorfer, A., Steghöfer, J.P., Reif, W.: Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants. In: Stechele, W., Wild, T. (eds.) Proceedings of the 2nd International Workshop Self-optimisation in Organic and Autonomic Computing Systems (SAOS 2014), pp. 1–8 (2014)
4.
Zurück zum Zitat Anders, G., Siefert, F., Reif, W.: A particle swarm optimizer for solving the set partitioning problem in the presence of partitioning constraints. In: Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp. 151–163. SciTePress (2015) Anders, G., Siefert, F., Reif, W.: A particle swarm optimizer for solving the set partitioning problem in the presence of partitioning constraints. In: Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp. 151–163. SciTePress (2015)
5.
Zurück zum Zitat Arroyo, J.M., Conejo, A.J.: Modeling of start-up and shut-down power trajectories of thermal units. IEEE Trans. Power Syst. 19(3), 1562–1568 (2004)CrossRef Arroyo, J.M., Conejo, A.J.: Modeling of start-up and shut-down power trajectories of thermal units. IEEE Trans. Power Syst. 19(3), 1562–1568 (2004)CrossRef
6.
Zurück zum Zitat Boudjadar, A., David, A., Kim, J.H., Larsen, K.G., Mikučionis, M., Nyman, U., Skou, A.: Hierarchical scheduling framework based on compositional analysis using uppaal. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 61–78. Springer, Heidelberg (2014) Boudjadar, A., David, A., Kim, J.H., Larsen, K.G., Mikučionis, M., Nyman, U., Skou, A.: Hierarchical scheduling framework based on compositional analysis using uppaal. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 61–78. Springer, Heidelberg (2014)
7.
Zurück zum Zitat Chevaleyre, Y., et al.: Issues in multiagent resource allocation. Informatica 30(1), 3–31 (2006)MATH Chevaleyre, Y., et al.: Issues in multiagent resource allocation. Informatica 30(1), 3–31 (2006)MATH
8.
Zurück zum Zitat Choueiry, B.Y., Faltings, B., Noubir, G.: Abstraction methods for resource allocation. Technical report, Swiss Federal Institute of Technology in Lausanne (EPFL) (1994) Choueiry, B.Y., Faltings, B., Noubir, G.: Abstraction methods for resource allocation. Technical report, Swiss Federal Institute of Technology in Lausanne (EPFL) (1994)
9.
Zurück zum Zitat Cousot, P.: Abstract interpretation. ACM Comput. Surv. 28(2), 324–328 (1996)CrossRef Cousot, P.: Abstract interpretation. ACM Comput. Surv. 28(2), 324–328 (1996)CrossRef
11.
Zurück zum Zitat Dash, R.K., Vytelingum, P., Rogers, A., David, E., Jennings, N.R.: Market-based task allocation mechanisms for limited-capacity suppliers. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 37(3), 391–405 (2007)CrossRef Dash, R.K., Vytelingum, P., Rogers, A., David, E., Jennings, N.R.: Market-based task allocation mechanisms for limited-capacity suppliers. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 37(3), 391–405 (2007)CrossRef
13.
Zurück zum Zitat Frantz, F.: A taxonomy of model abstraction techniques. In: Proceedings of the Winter Simulation Conference 1995, pp. 1413–1420 (1995) Frantz, F.: A taxonomy of model abstraction techniques. In: Proceedings of the Winter Simulation Conference 1995, pp. 1413–1420 (1995)
14.
Zurück zum Zitat Frey, S., Diaconescu, A., Menga, D., Demeure, I.: A generic holonic control architecture for heterogeneous multi-scale and multi-objective smart micro-grids. ACM Trans. Auton. Adapt. Syst (2015) Frey, S., Diaconescu, A., Menga, D., Demeure, I.: A generic holonic control architecture for heterogeneous multi-scale and multi-objective smart micro-grids. ACM Trans. Auton. Adapt. Syst (2015)
16.
Zurück zum Zitat Götz, S., Wilke, C., Richly, S., Piechnick, C., Püschel, G., Assmann, U.: Model-driven self-optimization using integer linear programming and pseudo-boolean optimization. In: International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE 2013), pp. 55–64 (2013) Götz, S., Wilke, C., Richly, S., Piechnick, C., Püschel, G., Assmann, U.: Model-driven self-optimization using integer linear programming and pseudo-boolean optimization. In: International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE 2013), pp. 55–64 (2013)
17.
Zurück zum Zitat Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control 43(4), 540–554 (1998)MATHMathSciNetCrossRef Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control 43(4), 540–554 (1998)MATHMathSciNetCrossRef
18.
Zurück zum Zitat Heuck, K., Dettmann, K.D., Schulz, D.: Elektrische Energieversorgung. Vieweg+Teubner (2010). (in German) Heuck, K., Dettmann, K.D., Schulz, D.: Elektrische Energieversorgung. Vieweg+Teubner (2010). (in German)
19.
Zurück zum Zitat Hladik, P.E., Cambazard, H., Déplanche, A.M., Jussien, N.: Solving a real-time allocation problem with constraint programming. J. Syst. Softw. 81(1), 132–149 (2008)CrossRef Hladik, P.E., Cambazard, H., Déplanche, A.M., Jussien, N.: Solving a real-time allocation problem with constraint programming. J. Syst. Softw. 81(1), 132–149 (2008)CrossRef
20.
Zurück zum Zitat Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281–316 (2004)CrossRef Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281–316 (2004)CrossRef
21.
Zurück zum Zitat Hundt, M., Barth, R., Sun, N., Wissel, S., Voß, A.: Verträglichkeit von erneuerbaren Energien und Kernenergie im Erzeugungsportfolio. Technisch-ökonomische Aspekte. Studie des Instituts für Energiewirtschaft und rationelle Energieanwendung (IER) im Auftrag der E. ON Energie AG. Stuttgart (2009). (in German) Hundt, M., Barth, R., Sun, N., Wissel, S., Voß, A.: Verträglichkeit von erneuerbaren Energien und Kernenergie im Erzeugungsportfolio. Technisch-ökonomische Aspekte. Studie des Instituts für Energiewirtschaft und rationelle Energieanwendung (IER) im Auftrag der E. ON Energie AG. Stuttgart (2009). (in German)
22.
Zurück zum Zitat Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration. In: Coello, C.A.C. (ed.) LION 2011. LNCS, vol. 6683, pp. 507–523. Springer, Heidelberg (2011) CrossRef Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration. In: Coello, C.A.C. (ed.) LION 2011. LNCS, vol. 6683, pp. 507–523. Springer, Heidelberg (2011) CrossRef
23.
Zurück zum Zitat Jarass, L., Obermair, G.M.: Welchen Netzumbau erfordert die Energiewende?: Unter Berücksichtigung des Netzentwicklungsplans Strom 2012. MV-Wissenschaft, Monsenstein und Vannerdat (2012). (in German) Jarass, L., Obermair, G.M.: Welchen Netzumbau erfordert die Energiewende?: Unter Berücksichtigung des Netzentwicklungsplans Strom 2012. MV-Wissenschaft, Monsenstein und Vannerdat (2012). (in German)
24.
Zurück zum Zitat Karl, J.: Dezentrale Energiesysteme: Neue Technologien im liberalisierten Energiemarkt. Oldenbourg (2012). (in German) Karl, J.: Dezentrale Energiesysteme: Neue Technologien im liberalisierten Energiemarkt. Oldenbourg (2012). (in German)
25.
Zurück zum Zitat Knapp, A., Schiendorfer, A., Reif, W.: Quality over quantity in soft constraints. In: Proceedings of the 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014), pp. 453–460 (2014) Knapp, A., Schiendorfer, A., Reif, W.: Quality over quantity in soft constraints. In: Proceedings of the 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014), pp. 453–460 (2014)
26.
Zurück zum Zitat Kost, C., Mayer, J.N., Thomsen, J., Hartmann, N., Senkpiel, C., Philipps, S., Nold, S., Lude, S., Saad, N., Schlegl, T.: Levelized cost of electricity- renewable energy technologies. Techno-Economic Assessment of Energy Technologies, Fraunhofer ISE (2013) Kost, C., Mayer, J.N., Thomsen, J., Hartmann, N., Senkpiel, C., Philipps, S., Nold, S., Lude, S., Saad, N., Schlegl, T.: Levelized cost of electricity- renewable energy technologies. Techno-Economic Assessment of Energy Technologies, Fraunhofer ISE (2013)
27.
28.
Zurück zum Zitat Lee, K., Fishwick, P.A.: A methodology for dynamic model abstraction. SCS Tran. Simul. 13(4), 217–229 (1996) Lee, K., Fishwick, P.A.: A methodology for dynamic model abstraction. SCS Tran. Simul. 13(4), 217–229 (1996)
31.
Zurück zum Zitat Meseguer, P., Rossi, F., Schiex, T.: Soft constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Chap. 9. Elsevier (2006) Meseguer, P., Rossi, F., Schiex, T.: Soft constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Chap. 9. Elsevier (2006)
32.
Zurück zum Zitat Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007) CrossRef Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007) CrossRef
33.
Zurück zum Zitat Okhrin, I., Richter, K.: The linear dynamic lot size problem with minimum order quantity. Int. J. Prod. Econ. 133(2), 688–693 (2011). towards High Performance ManufacturingCrossRef Okhrin, I., Richter, K.: The linear dynamic lot size problem with minimum order quantity. Int. J. Prod. Econ. 133(2), 688–693 (2011). towards High Performance ManufacturingCrossRef
34.
36.
Zurück zum Zitat Ramchurn, S.D., Vytelingum, P., Rogers, A., Jennings, N.R.: Putting the ‘Smarts’ into the smart grid: a grand challenge for artificial intelligence. Commun. ACM 55(4), 86–97 (2012)CrossRef Ramchurn, S.D., Vytelingum, P., Rogers, A., Jennings, N.R.: Putting the ‘Smarts’ into the smart grid: a grand challenge for artificial intelligence. Commun. ACM 55(4), 86–97 (2012)CrossRef
37.
Zurück zum Zitat Santos, C., Zhu, X., Crowder, H.: A mathematical optimization approach for resource allocation in large scale data centers. Technical report, HPL-2002-64, HP Labs, March 2002 Santos, C., Zhu, X., Crowder, H.: A mathematical optimization approach for resource allocation in large scale data centers. Technical report, HPL-2002-64, HP Labs, March 2002
38.
Zurück zum Zitat Schiendorfer, A., Knapp, A., Steghöfer, J.-P., Anders, G., Siefert, F., Reif, W.: Partial valuation structures for qualitative soft constraints. In: Nicola, R., Hennicker, R. (eds.) Wirsing Festschrift. LNCS, vol. 8950, pp. 115–133. Springer, Heidelberg (2015) Schiendorfer, A., Knapp, A., Steghöfer, J.-P., Anders, G., Siefert, F., Reif, W.: Partial valuation structures for qualitative soft constraints. In: Nicola, R., Hennicker, R. (eds.) Wirsing Festschrift. LNCS, vol. 8950, pp. 115–133. Springer, Heidelberg (2015)
39.
Zurück zum Zitat Schiendorfer, A., Lassner, C., Anders, G., Lienhart, R., Reif, W.: Active learning for abstract models of collectives. In: Proceedings of the 3rd International Workshop Self-optimisation in Organic and Autonomic Computing Systems (SAOS15), March 2015 Schiendorfer, A., Lassner, C., Anders, G., Lienhart, R., Reif, W.: Active learning for abstract models of collectives. In: Proceedings of the 3rd International Workshop Self-optimisation in Organic and Autonomic Computing Systems (SAOS15), March 2015
40.
Zurück zum Zitat Schiendorfer, A., Steghöfer, J.P., Knapp, A., Nafz, F., Reif, W.: Constraint relationships for soft constraints. In: Bramer, M., Petridis, M. (eds.) Proceedings of the 33rd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI 2013), pp. 241–255. Springer (2013) Schiendorfer, A., Steghöfer, J.P., Knapp, A., Nafz, F., Reif, W.: Constraint relationships for soft constraints. In: Bramer, M., Petridis, M. (eds.) Proceedings of the 33rd SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI 2013), pp. 241–255. Springer (2013)
41.
Zurück zum Zitat Schiendorfer, A., Steghöfer, J.P., Reif, W.: Synthesis and abstraction of constraint models for hierarchical resource allocation problems. In: Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART’14), vol. 2, pp. 15–27. SciTePress (2014) Schiendorfer, A., Steghöfer, J.P., Reif, W.: Synthesis and abstraction of constraint models for hierarchical resource allocation problems. In: Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART’14), vol. 2, pp. 15–27. SciTePress (2014)
42.
Zurück zum Zitat Schiendorfer, A., Steghöfer, J.P., Reif, W.: Synthesised constraint models for distributed energy management. In: Proceedings of the 3rd International Workshop Smart Energy Networks & Multi-Agent Systems (SEN-MAS 2014), pp. 1529–1538 (2014) Schiendorfer, A., Steghöfer, J.P., Reif, W.: Synthesised constraint models for distributed energy management. In: Proceedings of the 3rd International Workshop Smart Energy Networks & Multi-Agent Systems (SEN-MAS 2014), pp. 1529–1538 (2014)
43.
Zurück zum Zitat Steghöfer, J.P., Behrmann, P., Anders, G., Siefert, F., Reif, W.: HiSPADA: Self-organising hierarchies for large-scale multi-agent systems. In: Proceedings of the IARIA International Conference on Autonomic and Autonomous Systems (ICAS) 2013, IARIA (2013) Steghöfer, J.P., Behrmann, P., Anders, G., Siefert, F., Reif, W.: HiSPADA: Self-organising hierarchies for large-scale multi-agent systems. In: Proceedings of the IARIA International Conference on Autonomic and Autonomous Systems (ICAS) 2013, IARIA (2013)
44.
Zurück zum Zitat Ströhle, P., Gerding, E.H., de Weerdt, M.M., Stein, S., Robu, V.: Online mechanism design for scheduling non-preemptive jobs under uncertain supply and demand. In: Proceedings of the International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2014), pp. 437–444. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2014) Ströhle, P., Gerding, E.H., de Weerdt, M.M., Stein, S., Robu, V.: Online mechanism design for scheduling non-preemptive jobs under uncertain supply and demand. In: Proceedings of the International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2014), pp. 437–444. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2014)
45.
Zurück zum Zitat Wang, C., Shahidehpour, S.: Effects of ramp-rate limits on unit commitment and economic dispatch. IEEE Trans. Power Syst. 8(3), 1341–1350 (1993)CrossRef Wang, C., Shahidehpour, S.: Effects of ramp-rate limits on unit commitment and economic dispatch. IEEE Trans. Power Syst. 8(3), 1341–1350 (1993)CrossRef
46.
Zurück zum Zitat Weld, D.S., Addanki, S.: Task-driven model abstraction. In: 4th International Workshop on Qualitative Physics, pp. 16–30 (1990) Weld, D.S., Addanki, S.: Task-driven model abstraction. In: 4th International Workshop on Qualitative Physics, pp. 16–30 (1990)
48.
Zurück zum Zitat Yingvivatanapong, C., Lee, W.J., Liu, E.: Multi-area power generation dispatch in competitive markets. IEEE Trans. Power Syst. 23(1), 196–203 (2008)CrossRef Yingvivatanapong, C., Lee, W.J., Liu, E.: Multi-area power generation dispatch in competitive markets. IEEE Trans. Power Syst. 23(1), 196–203 (2008)CrossRef
Metadaten
Titel
Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation
verfasst von
Alexander Schiendorfer
Gerrit Anders
Jan-Philipp Steghöfer
Wolfgang Reif
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-27543-7_2