{"id":"https://openalex.org/W1978957024","doi":"https://doi.org/10.1093/comjnl/bxl032","title":"Design of Traffic Light Control Systems Using Statecharts","display_name":"Design of Traffic Light Control Systems Using Statecharts","publication_year":2006,"publication_date":"2006-06-15","ids":{"openalex":"https://openalex.org/W1978957024","doi":"https://doi.org/10.1093/comjnl/bxl032","mag":"1978957024"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxl032","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxl032","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101535096","display_name":"Yi\u2010Sheng Huang","orcid":"https://orcid.org/0000-0001-8800-322X"},"institutions":[{"id":"https://openalex.org/I111149068","display_name":"National Defense University","ror":"https://ror.org/01nqk4x38","country_code":"US","type":"education","lineage":["https://openalex.org/I111149068"]},{"id":"https://openalex.org/I4210094862","display_name":"National Defense University","ror":"https://ror.org/00hkj1v53","country_code":"TW","type":"education","lineage":["https://openalex.org/I4210094862"]}],"countries":["TW","US"],"is_corresponding":true,"raw_author_name":"Y.-S. Huang","raw_affiliation_strings":["Department of Aeronautical Engineering, Chung Cheng Institute of Technology, National Defense University Taoyuan 335, Taiwan, ROC","Department of Aeronautical Engineering, Chung Cheng Institute of Technology, National Defense University  Taoyuan 335, Taiwan, ROC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Aeronautical Engineering, Chung Cheng Institute of Technology, National Defense University Taoyuan 335, Taiwan, ROC","institution_ids":["https://openalex.org/I4210094862"]},{"raw_affiliation_string":"Department of Aeronautical Engineering, Chung Cheng Institute of Technology, National Defense University  Taoyuan 335, Taiwan, ROC","institution_ids":["https://openalex.org/I111149068"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101535096"],"corresponding_institution_ids":["https://openalex.org/I111149068","https://openalex.org/I4210094862"],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":2.9141,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.90308098,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"49","issue":"6","first_page":"634","last_page":"649"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8931022882461548},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8168631792068481},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6791936755180359},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5413920283317566},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5342611074447632},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.42604804039001465},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29635506868362427},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1470373570919037}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8931022882461548},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8168631792068481},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6791936755180359},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5413920283317566},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5342611074447632},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.42604804039001465},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29635506868362427},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1470373570919037},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/comjnl/bxl032","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxl032","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8399999737739563,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321040","display_name":"National Science Council","ror":"https://ror.org/02kv4zf79"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1573542339","https://openalex.org/W1585578019","https://openalex.org/W1946652839","https://openalex.org/W1966605965","https://openalex.org/W1976349345","https://openalex.org/W1979349468","https://openalex.org/W2002488072","https://openalex.org/W2070284290","https://openalex.org/W2096039823","https://openalex.org/W2099529102","https://openalex.org/W2104057616","https://openalex.org/W2111274785","https://openalex.org/W2111688141","https://openalex.org/W2114746603","https://openalex.org/W2116364020","https://openalex.org/W2121212903","https://openalex.org/W2126295866","https://openalex.org/W2127380267","https://openalex.org/W2127688117","https://openalex.org/W2137820388","https://openalex.org/W2145191352","https://openalex.org/W2153173698","https://openalex.org/W2154500405","https://openalex.org/W2156356828","https://openalex.org/W2156725836"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2889071233","https://openalex.org/W4321471459","https://openalex.org/W4221156924","https://openalex.org/W2059217922"],"abstract_inverted_index":{"Statechart":[0],"has":[1],"been":[2],"utilized":[3],"as":[4],"a":[5,85],"visual":[6],"formalism":[7],"for":[8],"the":[9,16,30,58,62,77,81,99,108,116,119,128,134,158,166,169],"modeling":[10,87],"of":[11,21,32,44,57,65,71,107,133,168],"complex":[12,103],"systems.":[13],"It":[14],"illuminates":[15],"features":[17],"on":[18,29],"describing":[19],"properties":[20,132],"causality,":[22],"concurrency":[23],"and":[24,49,73,130],"synchronization.":[25],"This":[26],"paper":[27,82],"focuses":[28],"use":[31],"statecharts":[33,45,136,163],"to":[34,46,96,113,164],"model":[35],"an":[36,141],"urban":[37,142,170],"traffic":[38,51,66,143,171],"lights":[39,52],"control":[40,109,135,145,173],"system.":[41,174],"The":[42,55,105],"applications":[43],"eight-phase,":[47],"six-phase":[48],"two-phase":[50],"are":[53],"illustrated.":[54],"advantage":[56],"proposed":[59],"approach":[60],"is":[61,111,157],"clear":[63],"presentation":[64],"lights'":[67,120,144],"behaviors":[68],"in":[69,102],"terms":[70],"conditions":[72],"events":[74],"that":[75,93,161],"cause":[76],"phase":[78],"alternations.":[79],"Moreover,":[80],"also":[83],"proposes":[84],"new":[86],"methodology,":[88],"called":[89],"concurrent":[90,100],"state":[91],"graphs,":[92],"allows":[94],"us":[95],"present":[97],"all":[98],"states":[101],"statecharts.":[104],"analysis":[106],"models":[110,117,167],"performed":[112],"demonstrate":[114],"how":[115],"enforce":[118],"transitions":[121],"by":[122],"reachability":[123,129],"tree":[124],"method.":[125],"And":[126],"then":[127],"reversibility":[131],"will":[137,150],"be":[138,151],"obtained.":[139],"Finally,":[140],"system":[146],"with":[147],"nine":[148],"intersections":[149],"realized.":[152],"To":[153],"our":[154],"knowledge,":[155],"this":[156],"first":[159],"work":[160],"employs":[162],"obtain":[165],"light":[172]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}