{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:41:17Z","timestamp":1777902077141,"version":"3.51.4"},"reference-count":21,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2005,2,1]],"date-time":"2005-02-01T00:00:00Z","timestamp":1107216000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2005,2]]},"abstract":"<jats:p>This article applies the advanced symbolic Discrete Event System Specification (DEVS) simulation method to the optimal signal control problem with respect to intelligent transportation systems. The authors introduce a new approach that would generate optimal signal times based on the temporal sequence of traffic signal control variables and traffic information collected for each intersection using the symbolic DEVS simulation method, which can express nondeterministic time symbolically. The symbolic DEVS simulation method allows the authors to infer the relationship between time and every event that reaches the simulation goal by generating a time trajectory for every possible event automatically. This study suggests a new approach for optimal signal time calculation using symbolic DEVS simulation for traffic response signal control based on real-time traffic volumes; this study also verified its application in a case study.<\/jats:p>","DOI":"10.1177\/0037549705052234","type":"journal-article","created":{"date-parts":[[2005,5,18]],"date-time":"2005-05-18T10:09:10Z","timestamp":1116410950000},"page":"153-170","source":"Crossref","is-referenced-by-count":4,"title":["Using Symbolic DEVS Simulation to Generate Optimal Traffic Signal Timings"],"prefix":"10.1177","volume":"81","author":[{"given":"JongKeun","family":"Lee","sequence":"first","affiliation":[{"name":"Telematics Research Department, Cartronics R&D Center, Hyundai MOBIS, Seoul, Korea,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SungDo","family":"Chi","sequence":"additional","affiliation":[{"name":"Intelligent System Research Laboratory, Department of Computer                         Engineering, Hangkong University, Seoul, Korea,"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2005,2,1]]},"reference":[{"key":"atypb1","volume-title":"TRANSYT-7F users guide","author":"Courage, K. G.","year":"1991"},{"key":"atypb2","volume-title":"New algorithm for solving the maximum progression bandwidth","author":"Tsay, H. S.","year":"1988"},{"key":"atypb3","volume-title":"Arterial progression: New design approach","author":"Wallace, C. E.","year":"1982"},{"key":"atypb4","volume-title":"Optimal signal timing for arterial signal system","author":"Little, J. D. C.","year":"1980"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5203-1_8"},{"key":"atypb6","volume-title":"Minimum delay optimization of a maximum bandwidth solution to arterial signal timing","author":"Chang, E. C. P.","year":"1985"},{"key":"atypb7","volume-title":"Traffic control systems handbook","author":"Gordon, R. L.","year":"1996"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1109\/25.69966"},{"key":"atypb9","volume-title":"SCATS: A traffic responsive method of controlling urban traffic","author":"Lowrie, P. R.","year":"1990"},{"issue":"4","key":"atypb10","first-page":"211","volume":"14","author":"Chi, S. D.","year":"1997","journal-title":"Transactions of Computer Simulation International"},{"key":"atypb11","first-page":"215","volume-title":"Discrete event modeling and simulation: A tapestry of systems and AI-based theories and methodologies","author":"Chi, S. D.","year":"2000"},{"key":"atypb12","volume-title":"Transactions of the Society for Computer Simulation International","author":"Lee, J. K.","year":"2003"},{"key":"atypb13","volume-title":"Transactions of the Society for Computer Simulation International","author":"Lee, J. K.","year":"2003"},{"key":"atypb14","unstructured":"PATH. Accessed from http:\/\/http:\/\/www.path.berkeley.edu\/itsdecision\/serv_and_tech\/Traffic_signal_control.html"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1016\/S0198-9715(00)00002-8"},{"key":"atypb16","volume-title":"Theory of modeling and simulation","author":"Zeigler, B. P.","year":"2000","edition":"2"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1109\/21.199467"},{"issue":"3","key":"atypb18","first-page":"141","volume":"14","author":"Chi, S.D.","year":"1997","journal-title":"Transactions of the Society of Computer Simulation International"},{"issue":"2","key":"atypb19","first-page":"129","volume":"3","author":"Chi, S. D.","year":"1996","journal-title":"Korea Journal of Computational and Applied Mathematics"},{"key":"atypb20","volume-title":"Traffic flow theory and control","author":"Drew, Donald R.","year":"1968"},{"key":"atypb21","volume-title":"The principles of transportation engineering","author":"To, C. U.","year":"1996"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549705052234","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549705052234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:19:03Z","timestamp":1777634343000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549705052234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,2]]}},"alternative-id":["10.1177\/0037549705052234"],"URL":"https:\/\/doi.org\/10.1177\/0037549705052234","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2]]}}}