{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T00:32:20Z","timestamp":1780446740069,"version":"3.54.1"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2022,1,31]]},"abstract":"<jats:p>Uncertainty Propagation methods are well-established when used in modeling and simulation formalisms like differential equations. Nevertheless, until now there are no methods for Discrete-Dynamic Systems. Uncertainty-Aware Discrete-Event System Specification (UA-DEVS) is a formalism for modeling Discrete-Event Dynamic Systems that include uncertainty quantification in messages, states, and event times. UA-DEVS models provide a theoretical framework to describe the models\u2019 uncertainty and their properties. As UA-DEVS models can include continuous variables and non-computable functions, their simulation could be non-computable. For this reason, we also introduce Interval-Approximated Discrete-Event System Specification (IA-DEVS), a formalism that approximates UA-DEVS models using a set of order and bounding functions to obtain a computable model. The computable model approximation produces a tree of all trajectories that can be traversed from the original model and some erroneous ones introduced by the approximation process. We also introduce abstract simulation algorithms for IA-DEVS, present a case study of UA-DEVS, its IA-DEVS approximation and, its simulation results using the algorithms defined.<\/jats:p>","DOI":"10.1145\/3466169","type":"journal-article","created":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T04:37:09Z","timestamp":1632803829000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Uncertainty on Discrete-Event System Simulation"],"prefix":"10.1145","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3928-5456","authenticated-orcid":false,"given":"Damian","family":"Vicino","sequence":"first","affiliation":[{"name":"Universitic\u00e9 Sophia Antipolis\u2014I3S UMR CNRS 7271, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3366-9184","authenticated-orcid":false,"given":"Gabriel A.","family":"Wainer","sequence":"additional","affiliation":[{"name":"Department of System and Computer Engineering, Carleton University, Ottawa, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Dalle","sequence":"additional","affiliation":[{"name":"Universitic\u00e9 Sophia Antipolis\u2014I3S UMR CNRS 7271, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,9,27]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"BIPM IEC IFCC ILAC ISO IUPAC IUPAP and OIML. 2008. Evaluation of Measurement Data\u2014Guide to the Expression of Uncertaintyin Measurement Joint Committee for Guides in Metrology.  BIPM IEC IFCC ILAC ISO IUPAC IUPAP and OIML. 2008. Evaluation of Measurement Data\u2014Guide to the Expression of Uncertaintyin Measurement Joint Committee for Guides in Metrology."},{"key":"e_1_2_1_2_1","volume-title":"International Vocabulary of Metrology\u2014Basic and General Concepts and Associated Terms (VIM)","author":"BIPM, IEC, IFCC, ILAC,ISO, IUPAC, IUPAP","unstructured":"BIPM, IEC, IFCC, ILAC,ISO, IUPAC, IUPAP , and OIML. 2012. International Vocabulary of Metrology\u2014Basic and General Concepts and Associated Terms (VIM) ( 3 rd ed.). Joint Committee for Guides in Metrology . BIPM, IEC, IFCC, ILAC,ISO, IUPAC, IUPAP, and OIML. 2012. International Vocabulary of Metrology\u2014Basic and General Concepts and Associated Terms (VIM) (3rd ed.). Joint Committee for Guides in Metrology.","edition":"3"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/193201.194336"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/301429.301457"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2008.37"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of 2006 Spring Simulation Multi-conference: DEVS Symposium. Society for Computer Simulation, 57\u201365","author":"Hwang Moon Ho","unstructured":"Moon Ho Hwang and Bernard P. Zeigler . 2006. A modular verification framework based on finite & deterministic DEVS . In Proceedings of 2006 Spring Simulation Multi-conference: DEVS Symposium. Society for Computer Simulation, 57\u201365 . Moon Ho Hwang and Bernard P. Zeigler. 2006. A modular verification framework based on finite & deterministic DEVS. In Proceedings of 2006 Spring Simulation Multi-conference: DEVS Symposium. Society for Computer Simulation, 57\u201365."},{"key":"e_1_2_1_7_1","volume-title":"Set Theory","author":"Jech Thomas","unstructured":"Thomas Jech . 2003. Set Theory . Springer , Berlin . Thomas Jech. 2003. Set Theory. Springer, Berlin."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2392649"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/336146.336183"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013329.1013359"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1878537.1878686"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trac.2004.04.001"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4108\/eai.24-8-2015.2261152"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2872965.2872988"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/3108905.3108922"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1611320"},{"key":"e_1_2_1_19_1","volume-title":"Stroud","author":"Zang Thomas A.","year":"2002","unstructured":"Thomas A. Zang , Michael J. Hemsch , Mark W. Hilburger , Sean P. Kenny , James M. Luckring , Peiman Maghami , Sharon L. Padula , and Jefferson W . Stroud . 2002 . Needs and Opportunities for Uncertainty-Based Multidisciplinary Design Methods for Aerospace Vehicles. Technical Report. National Aeronautics and Space Administration, Langley Research Center . Thomas A. Zang, Michael J. Hemsch, Mark W. Hilburger, Sean P. Kenny, James M. Luckring, Peiman Maghami, Sharon L. Padula, and Jefferson W. Stroud. 2002. Needs and Opportunities for Uncertainty-Based Multidisciplinary Design Methods for Aerospace Vehicles. Technical Report. National Aeronautics and Space Administration, Langley Research Center."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/3289209"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3466169","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3466169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:18Z","timestamp":1750191498000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3466169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,1,31]]}},"alternative-id":["10.1145\/3466169"],"URL":"https:\/\/doi.org\/10.1145\/3466169","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,27]]},"assertion":[{"value":"2019-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}