{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:11:34Z","timestamp":1750824694115,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319657646"},{"type":"electronic","value":"9783319657653"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-65765-3_5","type":"book-chapter","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T09:08:38Z","timestamp":1501664918000},"page":"77-96","source":"Crossref","is-referenced-by-count":1,"title":["Optimal Control for Multi-mode Systems with Discrete Costs"],"prefix":"10.1007","author":[{"given":"Mahmoud A. A.","family":"Mousa","sequence":"first","affiliation":[]},{"given":"Sven","family":"Schewe","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Wojtczak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,3]]},"reference":[{"key":"5_CR1","unstructured":"EnergyPlus: Building energy simulation program. https:\/\/energyplus.net\/"},{"key":"5_CR2","unstructured":"IBPT: International building physics toolbox in simulink. http:\/\/www.ibpt.org\/"},{"key":"5_CR3","unstructured":"TRaNsient SYstems simulation program. http:\/\/sel.me.wisc.edu\/trnsys\/"},{"issue":"1","key":"5_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). doi: 10.1007\/3-540-57318-6_30"},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Alur, R., Forejt, V., Moarref, S., Trivedi, A.: Safe schedulability of bounded-rate multi-mode systems. In: HSCC, pp. 243\u2013252. ACM (2013)","DOI":"10.1145\/2461328.2461366"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Alur, R., Trivedi, A., Wojtczak, D.: Optimal scheduling for constant-rate multi-mode systems. computation and control. In: Proceedings of Hybrid Systems (2012)","DOI":"10.1145\/2185632.2185647"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/j.ic.2011.11.006","volume":"211","author":"E Asarin","year":"2012","unstructured":"Asarin, E., Mysore, V.P., Pnueli, A., Schneider, G.: Low dimensional hybrid systems \u2013 decidable, undecidable, don\u2019t know. Inf. Comput. 211, 138\u2013159 (2012)","journal-title":"Inf. Comput."},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2006.04.002","volume":"158","author":"P Bouyer","year":"2006","unstructured":"Bouyer, P.: Weighted timed automata: model-checking and games. Electron. Notes Theor. Comput. Sci. 158, 3\u201317 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-85778-5_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P Bouyer","year":"2008","unstructured":"Bouyer, P., Brihaye, T., Jurdzi\u0144ski, M., Lazi\u0107, R., Rutkowski, M.: Average-price and reachability-price games on hybrid automata with strong resets. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 63\u201377. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85778-5_6"},{"key":"5_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-398-5","volume-title":"Model Predictive Control","author":"EF Camacho","year":"2013","unstructured":"Camacho, E.F., Alba, C.B.: Model Predictive Control. Springer, London (2013). doi: 10.1007\/978-0-85729-398-5"},{"issue":"3","key":"5_CR13","first-page":"259","volume":"35","author":"A Chiu","year":"2001","unstructured":"Chiu, A., Davida, G.I., Litow, B.E.: Division in logspace-uniform $${NC}^{\\text{1 }}$$ . ITA 35(3), 259\u2013275 (2001)","journal-title":"ITA"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-38088-4_24","volume-title":"NASA Formal Methods","author":"A David","year":"2013","unstructured":"David, A., Du, D., Guldstrand Larsen, K., Legay, A., Miku\u010dionis, M.: Optimizing control strategy using statistical model checking. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 352\u2013367. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38088-4_24"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2015","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: Uppaal Stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206\u2013211. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46681-0_16"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-22110-1_27","volume-title":"Computer Aided Verification","author":"A David","year":"2011","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Wang, Z.: Time for statistical model checking of real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 349\u2013355. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22110-1_27"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th IEEE LICS 1996 Symposium, Washington, DC (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"5_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24777-7","volume-title":"Knapsack Problems","author":"H Kellerer","year":"2004","unstructured":"Kellerer, H., Pferschy, U., Pisinger, D.: Knapsack Problems. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24777-7"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-540-28644-8_25","volume-title":"CONCUR 2004 - Concurrency Theory","author":"F Laroussinie","year":"2004","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: Model checking timed automata with one or two clocks. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 387\u2013401. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-28644-8_25"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-662-49674-9_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"KG Larsen","year":"2016","unstructured":"Larsen, K.G., Miku\u010dionis, M., Mu\u00f1iz, M., Srba, J., Taankvist, J.H.: Online and compositional learning of controllers with application to floor heating. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 244\u2013259. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49674-9_14"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Li, B., Alleyne, A.G.: Optimal on-off control of an air conditioning and refrigeration system. In: American Control Conference (ACC), pp. 5892\u20135897. IEEE (2010)","DOI":"10.1109\/ACC.2010.5531215"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Mousa, M.A.A., Schewe, S., Wojtczak, D.: Optimal control for simple linear hybrid systems. In: 23rd International Symposium on Temporal Representation and Reasoning (TIME), pp. 12\u201320. IEEE (2016)","DOI":"10.1109\/TIME.2016.9"},{"key":"5_CR23","unstructured":"Mousa, M.A.A., Schewe, S., Wojtczak, D.: Optimal control for multi-mode systems with discrete costs. CoRR, 1706.09886 (2017). http:\/\/arxiv.org\/abs\/1706.09886"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Nghiem, T.X., Behl, M., Mangharam, R., Pappas, G.J.: Green scheduling of control systems for peak demand reduction. In: 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pp. 5131\u20135136. IEEE (2011)","DOI":"10.1109\/CDC.2011.6161164"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Nghiem, T.X., Pappas, G.J., Mangharam, R.: Event-based green scheduling of radiant systems in buildings. In: American Control Conference (ACC), pp. 455\u2013460. IEEE (2013)","DOI":"10.1109\/ACC.2013.6579879"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Oldewurtel, F., Ulbig, A., Parisio, A., Andersson, G., Morari, M.: Reducing peak electricity demand in building climate control using real-time pricing and model predictive control. In: 2010 49th IEEE Conference on Decision and Control (CDC), pp. 1927\u20131932. IEEE (2010)","DOI":"10.1109\/CDC.2010.5717458"},{"issue":"3","key":"5_CR27","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1016\/j.enbuild.2007.03.007","volume":"40","author":"L P\u00e9rez-Lombard","year":"2008","unstructured":"P\u00e9rez-Lombard, L., Ortiz, J., Pout, C.: A review on buildings energy consumption information. Energy Build. 40(3), 394\u2013398 (2008)","journal-title":"Energy Build."},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-40229-6_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D Wojtczak","year":"2013","unstructured":"Wojtczak, D.: Optimal control for linear-rate multi-mode systems. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 258\u2013273. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40229-6_18"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65765-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T19:57:51Z","timestamp":1750795071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65765-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319657646","9783319657653"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65765-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}