{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:12:47Z","timestamp":1725556367026},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642131608"},{"type":"electronic","value":"9783642131615"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13161-5_31","type":"book-chapter","created":{"date-parts":[[2010,5,19]],"date-time":"2010-05-19T04:04:27Z","timestamp":1274241867000},"page":"249-259","source":"Crossref","is-referenced-by-count":2,"title":["Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation"],"prefix":"10.1007","author":[{"given":"Alie El-Din","family":"Mady","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Menouer","family":"Boubekeur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Provan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Conor","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth N.","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"The Interlaboratory Working Group on Energy-Efficient and Clean-Energy: Scenarios for a Clean Energy Future: Interlaboratory Working Group on Energy-Efficient and Clean-Energy Technologies (2000)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Labinaz, G., Bayoumi, M.M., Rudie, K.: Modeling and Control of Hybrid Systems: A Survey. In: Proc. of the 13 th Triennal World Congress, San Francisco, USA (1996)","DOI":"10.1016\/S1474-6670(17)58427-X"},{"key":"31_CR3","unstructured":"Charon: Modular Specification of Hybrid Systems, http:\/\/rtg.cis.upenn.edu\/mobies\/charon\/"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/978-3-540-39656-7_19","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6ssler","year":"2003","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for Component-Based Modeling. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 443\u2013466. Springer, Heidelberg (2003)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Keppens, J., Shen, Q.: On compositional modeling. In: The Knowledge Engineering Review, pp. 157\u2013200 (2001)","DOI":"10.1017\/S0269888901000091"},{"key":"31_CR6","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, Reading (1998)"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Mady, A., Boubekeur, M., Provan, G.: Compositional Model-Driven Design of Embedded Code for Energy-Efficient Buildings. In: 7 th IEEE International Conference on Industrial Informatics (INDIN 2009), Cardiff, UK (2009)","DOI":"10.1109\/INDIN.2009.5195812"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Romer, K., Kasten, O., Mattern, F.: Middleware Challenges for Wireless Sensor Networks. In: ACM SIGMOBILE Mobile Computing and Communications Review (2002)","DOI":"10.1145\/643550.643556"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Kolokotsa, D., Pouliezos, A., Stavrakakis, G., Lazos, C.: Predictive control techniques for energy and indoor environmental quality management in buildings. In: Building and Environment (2008)","DOI":"10.1016\/j.buildenv.2008.12.007"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Marshall, A.H., McClean, S.I.: Using Coxian Phase-Type Distributions to Identify Patient Characteristics for Duration of Stay in Hospital. In: Health Care Management Science (2004)","DOI":"10.1007\/s10729-004-7537-z"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A.: The theory of hybrid automata. In: Proc. 11 th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"31_CR12","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Feldman, J., Freuder, E., Little, J.: CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications. In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2009)","DOI":"10.1007\/978-3-642-01929-6_29"},{"key":"31_CR14","unstructured":"Environmental Research Institute, http:\/\/www.ucc.ie\/en\/ERI\/"}],"container-title":["Advances in Intelligent and Soft Computing","Soft Computing Models in Industrial and Environmental Applications, 5th International Workshop (SOCO 2010)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13161-5_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:02:11Z","timestamp":1606186931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13161-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642131608","9783642131615"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13161-5_31","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2010]]}}}