{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:52:01Z","timestamp":1761706321583,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319141114"},{"type":"electronic","value":"9783319141121"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14112-1_15","type":"book-chapter","created":{"date-parts":[[2014,12,11]],"date-time":"2014-12-11T09:21:02Z","timestamp":1418289662000},"page":"174-190","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure"],"prefix":"10.1007","author":[{"given":"Mengxuan","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Privat","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[]},{"given":"Hassane","family":"Alla","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,12]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Streitz, N., Privat, G.: Ambient Intelligence. In: Stephanidis, C. (ed.) The Universal Access Handbook, pp. 60.1\u201360.17. CRC Press, Taylor & Francis Group (2009)","DOI":"10.1201\/9781420064995-c60"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems, vol. 215. Springer (1992)","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer (2008)","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"6","key":"15_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/MCOM.2010.5473869","volume":"48","author":"C Gomez","year":"2010","unstructured":"Gomez, C., Paradells, J.: Wireless home automation networks: A survey of architectures and technologies. IEEE Communications Magazine 48(6), 92\u2013101 (2010)","journal-title":"IEEE Communications Magazine"},{"key":"15_CR5","unstructured":"Zhao, M., Privat, G., Rutten, E., Alla, H.: Discrete control for the internet of things and smart environments. In: 8th International Workshop on Feedback Computing. USENIX, Berkeley, CA (2013)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Joumaa, H., De-Oliviera, G., Ploix, S., Jacomino, M.: Energy management problem in dwellings: combining centralized and distributed solving approaches. In: 2012 3rd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies (ISGT Europe), pp. 1\u20138. IEEE (2012)","DOI":"10.1109\/ISGTEurope.2012.6465840"},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1), 64\u201383 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10626-013-0163-5","volume":"23","author":"G Delaval","year":"2013","unstructured":"Delaval, G., Rutten, E., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems 23(4), 385\u2013418 (2013)","journal-title":"Discrete Event Dynamic Systems"},{"issue":"1","key":"15_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-25167-2_17","volume-title":"Ambient Intelligence","author":"Z Hu","year":"2011","unstructured":"Hu, Z., Privat, G., Frenot, S., Tourancheau, B.: Self-configuration of home abstraction layer via sensor-actuator network. In: Keyson, D.V., Maher, M.L., Streitz, N., Cheok, A., Augusto, J.C., Wichert, R., Englebienne, G., Aghajan, H., Kr\u00f6se, B.J. (eds.) AmI 2011. LNCS, vol. 7040, pp. 146\u2013150. Springer, Heidelberg (2011)"},{"key":"15_CR11","unstructured":"Dolog, P.: Model-driven navigation design for semantic web applications with the uml-guide. In: ICWE Workshops, pp. 75\u201386 (2004)"},{"issue":"8","key":"15_CR12","first-page":"22","volume":"13","author":"M Samek","year":"2000","unstructured":"Samek, M., Montgomery, P.Y.: State oriented programming. Embedded Systems Programming 13(8), 22\u201343 (2000)","journal-title":"Embedded Systems Programming"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Martin, M., Nurmi, P.: A generic large scale simulator for ubiquitous computing. In: MobiQuitous 2006. IEEE Computer Society, San Jose, California, USA (July 2006)","DOI":"10.1109\/MOBIQ.2006.340388"}],"container-title":["Lecture Notes in Computer Science","Ambient Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14112-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:13:39Z","timestamp":1676006019000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14112-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319141114","9783319141121"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14112-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}