{"id":"https://openalex.org/W2738011381","doi":"https://doi.org/10.1109/med.2017.7984233","title":"Operations scheduling in batch chemical plants with timed automata","display_name":"Operations scheduling in batch chemical plants with timed automata","publication_year":2017,"publication_date":"2017-07-01","ids":{"openalex":"https://openalex.org/W2738011381","doi":"https://doi.org/10.1109/med.2017.7984233","mag":"2738011381"},"language":"en","primary_location":{"id":"doi:10.1109/med.2017.7984233","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2017.7984233","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 25th Mediterranean Conference on Control and Automation (MED)","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/A5010813914","display_name":"Jeh-Hsuan Li","orcid":null},"institutions":[{"id":"https://openalex.org/I91807558","display_name":"National Cheng Kung University","ror":"https://ror.org/01b8kcc49","country_code":"TW","type":"education","lineage":["https://openalex.org/I91807558"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jeh-Hsuan Li","raw_affiliation_strings":["Department of Chemical Engineering, National Cheng Kung University, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Chemical Engineering, National Cheng Kung University, Taiwan","institution_ids":["https://openalex.org/I91807558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100820606","display_name":"Wei-Chun Hsieh","orcid":null},"institutions":[{"id":"https://openalex.org/I91807558","display_name":"National Cheng Kung University","ror":"https://ror.org/01b8kcc49","country_code":"TW","type":"education","lineage":["https://openalex.org/I91807558"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Wei-Chun Hsieh","raw_affiliation_strings":["Department of Chemical Engineering, National Cheng Kung University, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Chemical Engineering, National Cheng Kung University, Taiwan","institution_ids":["https://openalex.org/I91807558"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025693697","display_name":"Chuei\u2010Tin Chang","orcid":"https://orcid.org/0000-0002-4143-1873"},"institutions":[{"id":"https://openalex.org/I91807558","display_name":"National Cheng Kung University","ror":"https://ror.org/01b8kcc49","country_code":"TW","type":"education","lineage":["https://openalex.org/I91807558"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Chuei-Tin Chang","raw_affiliation_strings":["Department of Chemical Engineering, National Cheng Kung University, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Chemical Engineering, National Cheng Kung University, Taiwan","institution_ids":["https://openalex.org/I91807558"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I91807558"],"apc_list":null,"apc_paid":null,"fwci":0.3168,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.4433121,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"895","last_page":"900"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T11125","display_name":"Petri Nets in System Modeling","score":0.9993000030517578,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/gantt-chart","display_name":"Gantt chart","score":0.8904153108596802},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.823473334312439},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8058733940124512},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5767447352409363},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.48584219813346863},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42987412214279175},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3527269959449768},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31578174233436584},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2233739197254181},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.16163983941078186},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08965498208999634}],"concepts":[{"id":"https://openalex.org/C95981495","wikidata":"https://www.wikidata.org/wiki/Q192847","display_name":"Gantt chart","level":2,"score":0.8904153108596802},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.823473334312439},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8058733940124512},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5767447352409363},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.48584219813346863},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42987412214279175},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3527269959449768},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31578174233436584},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2233739197254181},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.16163983941078186},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08965498208999634},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/med.2017.7984233","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2017.7984233","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 25th Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1425613652","https://openalex.org/W1963943980","https://openalex.org/W1972337404","https://openalex.org/W2000471154","https://openalex.org/W2004692720","https://openalex.org/W2092349688","https://openalex.org/W2101508170","https://openalex.org/W2140369119"],"related_works":["https://openalex.org/W4390491522","https://openalex.org/W1975353161","https://openalex.org/W4243588371","https://openalex.org/W2365977346","https://openalex.org/W2387613053","https://openalex.org/W2583094790","https://openalex.org/W2008013021","https://openalex.org/W2738011381","https://openalex.org/W2364419604","https://openalex.org/W2124122503"],"abstract_inverted_index":{"Manual":[0],"synthesis":[1],"of":[2,110],"operation":[3,35,77],"schedules":[4],"for":[5,38],"a":[6,27],"given":[7],"batch":[8],"chemical":[9],"process":[10],"may":[11],"be":[12,94],"time-consuming":[13],"and":[14,48,74,87],"error-prone.":[15],"The":[16],"timed":[17],"automata":[18,55],"are":[19,52,104],"utilized":[20],"in":[21,99],"the":[22,33,49,59,75,88,108,111],"present":[23],"work":[24],"to":[25,30,58,106],"develop":[26],"generic":[28],"approach":[29],"automatically":[31],"generate":[32],"best":[34],"steps":[36],"needed":[37],"achieving":[39],"any":[40],"predetermined":[41],"goal(s).":[42],"In":[43],"particular,":[44],"all":[45],"embedded":[46],"components":[47,70],"control":[50],"specifications/targets":[51],"characterized":[53],"with":[54,68],"constructed":[56],"according":[57],"proposed":[60,112],"modeling":[61],"rules.":[62],"A":[63,82],"system":[64],"automaton":[65],"is":[66],"assembled":[67],"these":[69],"via":[71],"parallel":[72],"composition,":[73],"optimal":[76],"path":[78,98],"then":[79],"identified":[80],"accordingly.":[81],"sequential":[83],"function":[84],"chart":[85,91],"(SFC)":[86],"corresponding":[89],"Gantt":[90],"can":[92],"both":[93],"extracted":[95],"from":[96],"this":[97],"practical":[100],"applications.":[101],"Two":[102],"examples":[103],"presented":[105],"demonstrate":[107],"feasibility":[109],"approach.":[113]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}