{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T19:52:07Z","timestamp":1769284327753,"version":"3.49.0"},"reference-count":27,"publisher":"SAGE Publications","issue":"5","license":[{"start":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T00:00:00Z","timestamp":1701648000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2024,5]]},"abstract":"<jats:p> Carbon dioxide concentration in enclosed spaces is an air quality indicator that affects occupants\u2019 well-being. To maintain healthy carbon dioxide levels indoors, enclosed space settings must be adjusted to maximize air quality while minimizing energy consumption. Studying the effect of these settings on carbon dioxide concentration levels is not feasible through physical experimentation and data collection. This problem can be solved by using validated simulation models, generating indoor settings scenarios, simulating those scenarios, and studying results. In previous work, we presented a formal Cellular Discrete Event System Specifications simulation model for studying carbon dioxide dispersion in rooms with various settings. However, designers may need to predict the results of altering large combinations of settings on air quality. Generating and simulating multiple scenarios with different combinations of space settings to test their effect on indoor air quality is time-consuming. In this research, we solve the two problems of the lack of ground truth data and the inefficiency of producing and studying simulation results for many combinations of settings by proposing a novel framework. The framework utilizes a Cellular Discrete Event System Specifications model, simulates different scenarios of enclosed spaces with various settings, and collects simulation results to form a data set to train a deep neural network. Without needing to generate all possible scenarios, the trained deep neural network is used to predict unknown settings of the closed space when other settings are altered. The framework facilitates configuring enclosed spaces to enhance air quality. We illustrate the framework uses through a case study. <\/jats:p>","DOI":"10.1177\/00375497231212198","type":"journal-article","created":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T09:25:31Z","timestamp":1701681931000},"page":"421-434","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":4,"title":["A framework for modeling, generating, simulating, and predicting carbon dioxide dispersion indoors using cell-DEVS and deep learning"],"prefix":"10.1177","volume":"100","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3459-616X","authenticated-orcid":false,"given":"Hoda","family":"Khalil","sequence":"first","affiliation":[{"name":"Department of Systems and Computer Engineering, Carleton University, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3366-9184","authenticated-orcid":false,"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[{"name":"Department of Systems and Computer Engineering, Carleton University, Canada"}]}],"member":"179","published-online":{"date-parts":[[2023,12,4]]},"reference":[{"key":"bibr1-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijsbe.2016.03.006"},{"key":"bibr2-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2016.09.002"},{"key":"bibr3-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2015.02.028"},{"key":"bibr4-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2018.03.001"},{"key":"bibr5-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1201\/9781420053371"},{"key":"bibr6-00375497231212198","unstructured":"Khalil H, Wainer G. CO2 spread computer lab model user manual, https:\/\/github.com\/SimulationEverywhere-Models\/Cell-DEVS-_spread_indoor\/blob\/master\/User%20Manual.txt"},{"key":"bibr7-00375497231212198","volume-title":"Proceedings of 2020 winter simulation conference (WSC)","author":"Khalil H"},{"key":"bibr8-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-69480-7_23"},{"key":"bibr9-00375497231212198","unstructured":"Khalil H, Wainer G. Cell-DEVS-CO2_spread_indoor, https:\/\/github.com\/SimulationEverywhere-Models\/Cell-DEVS-CO2_spread_indoor\/tree\/master\/scripts\/Cell-DEVS_DNN"},{"key":"bibr10-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.proeng.2013.04.025"},{"key":"bibr11-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2016.06.029"},{"key":"bibr12-00375497231212198","unstructured":"Makmul J. Microscopic and macroscopic for pedestrian crowds. PhD Thesis, Mannheim University, Mannheim, 2016."},{"key":"bibr13-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2017.07.027"},{"key":"bibr14-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2019.109440"},{"key":"bibr15-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2021.110782"},{"key":"bibr16-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2021.108164"},{"key":"bibr17-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2020.110436"},{"key":"bibr18-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1177\/0037549705052233"},{"key":"bibr19-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2020.2982885"},{"key":"bibr20-00375497231212198","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30479-1_83"},{"key":"bibr21-00375497231212198","volume-title":"The hundred-page machine learning book","author":"Burkov A.","year":"2019"},{"key":"bibr22-00375497231212198","volume-title":"ARSLab DEVS web viewer","author":"St-Aubin B","year":"2020"},{"key":"bibr23-00375497231212198","unstructured":"ASHRAE Technology Council. Ventilation for acceptable indoor air quality, https:\/\/www.ashrae.org\/file%20library\/technical%20resources\/standards%20and%20guidelines\/standards%20addenda\/62_1_2013_p_20150707.pdf"},{"key":"bibr24-00375497231212198","volume-title":"Proceedings of the symposium on simulation for architecture and urban design (SIMAUD)","author":"Altamimi T"},{"key":"bibr25-00375497231212198","unstructured":"Keras, https:\/\/keras.io\/"},{"key":"bibr26-00375497231212198","volume-title":"Proceedings of the 2019 8th international conference on software and computer applications","author":"Ibnu CR"},{"key":"bibr27-00375497231212198","unstructured":"ARSLab YouTube. Ottawa: Carleton University; [cited 2023Oct 12]. Available from: https:\/\/www.youtube.com\/watch?v=vD7fB2A5hNY, last accessed 2021\/11\/14"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497231212198","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/00375497231212198","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497231212198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T18:29:39Z","timestamp":1740853779000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/00375497231212198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,4]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,5]]}},"alternative-id":["10.1177\/00375497231212198"],"URL":"https:\/\/doi.org\/10.1177\/00375497231212198","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,4]]}}}