{"id":"https://openalex.org/W1494791602","doi":"https://doi.org/10.1109/icsmc.2003.1244566","title":"Design and implementation of a discrete event system using statecharts","display_name":"Design and implementation of a discrete event system using statecharts","publication_year":2004,"publication_date":"2004-04-23","ids":{"openalex":"https://openalex.org/W1494791602","doi":"https://doi.org/10.1109/icsmc.2003.1244566","mag":"1494791602"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2003.1244566","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2003.1244566","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)","raw_type":"proceedings-article"},"type":"conference-paper","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/I4210094862","display_name":"National Defense University","ror":"https://ror.org/00hkj1v53","country_code":"TW","type":"education","lineage":["https://openalex.org/I4210094862"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"YiSheng Huang","raw_affiliation_strings":["Department ofAeronautica1 Engineering, ChungCheng Institute of Technology, National Defense University, Tashi, Taoyuan, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department ofAeronautica1 Engineering, ChungCheng Institute of Technology, National Defense University, Tashi, Taoyuan, Taiwan","institution_ids":["https://openalex.org/I4210094862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102729129","display_name":"Sheng\u2010Luen Chung","orcid":"https://orcid.org/0000-0003-0326-6448"},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"ShengLuen Chung","raw_affiliation_strings":["Department of Electrical Engineering, National Taiwan University of Science and Technology, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan University of Science and Technology, Taipei, Taiwan","institution_ids":["https://openalex.org/I154864474"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110189764","display_name":"MuDer Jeng","orcid":null},"institutions":[{"id":"https://openalex.org/I153512688","display_name":"National Taiwan Ocean University","ror":"https://ror.org/03bvvnt49","country_code":"TW","type":"education","lineage":["https://openalex.org/I153512688"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"MuDer Jeng","raw_affiliation_strings":["Department ofElectrica1 Engineering, National Taiwan Ocean University, Keelung, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department ofElectrica1 Engineering, National Taiwan Ocean University, Keelung, Taiwan","institution_ids":["https://openalex.org/I153512688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047457301","display_name":"Jenn-Huei Lin","orcid":null},"institutions":[{"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"],"is_corresponding":false,"raw_author_name":"JennHuei Lin","raw_affiliation_strings":["Department ofElectrica1 Engineering, ChungCheng Institute of Technology, National Defense University, Tashi, Taoyuan, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department ofElectrica1 Engineering, ChungCheng Institute of Technology, National Defense University, Tashi, Taoyuan, Taiwan","institution_ids":["https://openalex.org/I4210094862"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":null,"first_page":"1147","last_page":"1152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14011","display_name":"Elevator Systems and Control","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14011","display_name":"Elevator Systems and Control","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9923999905586243,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/elevator","display_name":"Elevator","score":0.8427560329437256},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7860680818557739},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6429818868637085},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5484812259674072},{"id":"https://openalex.org/keywords/discrete-event-dynamic-system","display_name":"Discrete event dynamic system","score":0.5149543881416321},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.43356966972351074},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38042375445365906},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3328578472137451},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.33258894085884094},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.17414608597755432},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08731228113174438}],"concepts":[{"id":"https://openalex.org/C147021018","wikidata":"https://www.wikidata.org/wiki/Q252451","display_name":"Elevator","level":2,"score":0.8427560329437256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7860680818557739},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6429818868637085},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5484812259674072},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.5149543881416321},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.43356966972351074},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38042375445365906},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3328578472137451},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.33258894085884094},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.17414608597755432},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08731228113174438},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsmc.2003.1244566","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2003.1244566","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1976349345","https://openalex.org/W1979349468","https://openalex.org/W2025459956","https://openalex.org/W2064269263","https://openalex.org/W2096039823","https://openalex.org/W2099529102","https://openalex.org/W2104707571","https://openalex.org/W2121212903","https://openalex.org/W2127380267","https://openalex.org/W2127688117","https://openalex.org/W2170517989","https://openalex.org/W2563205427","https://openalex.org/W3162365952","https://openalex.org/W4248178742"],"related_works":["https://openalex.org/W4241837227","https://openalex.org/W1507618586","https://openalex.org/W1992739161","https://openalex.org/W2905031437","https://openalex.org/W2143760314","https://openalex.org/W1510537970","https://openalex.org/W2067924859","https://openalex.org/W2096563814","https://openalex.org/W2098373015","https://openalex.org/W1964031948"],"abstract_inverted_index":{"Statecharts":[0],"have":[1],"been":[2],"proposed":[3,106],"as":[4],"a":[5,21],"visual":[6],"formalism":[7],"for":[8,92],"the":[9,25,40,63,69,81,105,116,122,127,150,154,159,163],"behavioral":[10],"of":[11,17,27,47,53,72,86,104,124,162],"complex":[12],"systems.":[13],"The":[14,101],"dynamical":[15],"behavior":[16,118],"an":[18,87,93],"elevation":[19],"is":[20,99,108,146],"example":[22],"to":[23,66,134,139,148],"illustrate":[24],"operation":[26,151],"statechart":[28,64,111],"systems":[29,38],"because":[30],"it":[31],"shares":[32],"with":[33,68],"many":[34],"other":[35,137],"discrete":[36],"event":[37],"(DESs)":[39],"features":[41],"of:":[42],"simple":[43],"actions,":[44],"aggregating":[45],"complexity":[46],"state":[48],"descriptions,":[49],"and":[50,57,84,97,126,129,136,157],"great":[51],"variety":[52],"possible":[54],"control":[55,83],"strategies":[56],"resulting":[58],"trajectories.":[59],"This":[60],"paper":[61],"applies":[62],"terminologies":[65],"cope":[67],"difficult":[70],"situation":[71],"elevator":[73,88,94,155,164],"system":[74],"problems.":[75],"In":[76],"this":[77],"paper,":[78],"we":[79,113,166],"present":[80],"modeling,":[82],"implementation":[85,98],"system.":[89],"A":[90,143],"statechart-based":[91,144],"controller":[95,107],"design":[96],"proposed.":[100],"intended":[102],"advantage":[103],"that":[109,131],"using":[110],"terminologies,":[112],"can":[114,167],"describe":[115],"system's":[117],"over":[119],"time,":[120],"including":[121],"dynamics":[123],"activities,":[125],"conditions":[128],"events":[130],"cause":[132],"states":[133],"change":[135],"occurrences":[138],"take":[140],"place.":[141],"Moreover,":[142],"approach":[145],"adopted":[147],"model":[149],"flows":[152],"in":[153],"system,":[156,165],"from":[158],"hierarchical":[160],"tree":[161],"construct":[168],"its":[169],"statecharts":[170],"model.":[171]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}