{"id":"https://openalex.org/W4391020369","doi":"https://doi.org/10.1109/cdc49753.2023.10384100","title":"Controller Synthesis of Signal Temporal Logical Tasks for Cyber-Physical Production Systems via Acyclic Decomposition","display_name":"Controller Synthesis of Signal Temporal Logical Tasks for Cyber-Physical Production Systems via Acyclic Decomposition","publication_year":2023,"publication_date":"2023-12-13","ids":{"openalex":"https://openalex.org/W4391020369","doi":"https://doi.org/10.1109/cdc49753.2023.10384100"},"language":"en","primary_location":{"id":"doi:10.1109/cdc49753.2023.10384100","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/cdc49753.2023.10384100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 62nd IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-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/A5100683174","display_name":"Shuling Wang","orcid":"https://orcid.org/0000-0001-8753-7262"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]},{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shuling Wang","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai, China","Shanghai Engineering Research Center of Intelligent Control and Management, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai, China","institution_ids":["https://openalex.org/I1327237609"]},{"raw_affiliation_string":"Shanghai Engineering Research Center of Intelligent Control and Management, Shanghai, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007013035","display_name":"Shanying Zhu","orcid":"https://orcid.org/0000-0003-4860-4519"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanying Zhu","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","Shanghai Engineering Research Center of Intelligent Control and Management, Shanghai, China","Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Shanghai Engineering Research Center of Intelligent Control and Management, Shanghai, China","institution_ids":[]},{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai, China","institution_ids":["https://openalex.org/I1327237609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038267080","display_name":"Cailian Chen","orcid":"https://orcid.org/0000-0001-6533-8713"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]},{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cailian Chen","raw_affiliation_strings":["Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai, China","Shanghai Engineering Research Center of Intelligent Control and Management, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai, China","institution_ids":["https://openalex.org/I1327237609"]},{"raw_affiliation_string":"Shanghai Engineering Research Center of Intelligent Control and Management, Shanghai, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100945832","display_name":"Liang Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Xu","raw_affiliation_strings":["Institute of Artificial Intelligence, Shanghai University,Shanghai,China,200444"],"affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence, Shanghai University,Shanghai,China,200444","institution_ids":["https://openalex.org/I113940042"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100683174"],"corresponding_institution_ids":["https://openalex.org/I1327237609","https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.33568957,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2859","last_page":"2864"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9927999973297119,"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.9927999973297119,"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/computer-science","display_name":"Computer science","score":0.7480849623680115},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6748522520065308},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.5361710786819458},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5138371586799622},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4615843892097473},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.43149223923683167},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4178791642189026}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7480849623680115},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6748522520065308},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.5361710786819458},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5138371586799622},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4615843892097473},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.43149223923683167},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4178791642189026},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc49753.2023.10384100","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/cdc49753.2023.10384100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 62nd IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.44999998807907104,"display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G1081287695","display_name":null,"funder_award_id":"2022YFB3303900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3519723363","display_name":null,"funder_award_id":"62173225","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1471103927","https://openalex.org/W2019045459","https://openalex.org/W2092884371","https://openalex.org/W2118382442","https://openalex.org/W2486512961","https://openalex.org/W2493990996","https://openalex.org/W2615395111","https://openalex.org/W2708484366","https://openalex.org/W2945541231","https://openalex.org/W2946780124","https://openalex.org/W2950185136","https://openalex.org/W2966653964","https://openalex.org/W2998363984","https://openalex.org/W3023792852","https://openalex.org/W3177200591","https://openalex.org/W3190932215","https://openalex.org/W3195978155","https://openalex.org/W4225725160","https://openalex.org/W4315472088","https://openalex.org/W4315489046"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W4321471459","https://openalex.org/W2772294324","https://openalex.org/W4253760428","https://openalex.org/W2047831585"],"abstract_inverted_index":{"Modularization":[0],"facilitates":[1],"the":[2,39,64,84,87,91,109,112,115,119,129,146,149,166,169],"adaptability":[3],"of":[4,12,42,58,66,80,90,118,131,157,168],"cyber-physical":[5],"production":[6,16,81],"systems":[7,31],"(CPPSs)":[8],"with":[9,148],"a":[10,56,77],"variety":[11],"collaborative":[13,50,100],"tasks.":[14,135],"Various":[15],"rules":[17],"can":[18],"be":[19],"captured":[20],"by":[21,63],"signal":[22],"temporal":[23],"logic":[24],"(STL)":[25],"specifications":[26,60,82],"imposed":[27],"on":[28,38,154],"interconnected":[29,46],"multi-agent":[30],"(MASs).":[32],"In":[33,136],"this":[34],"paper,":[35],"we":[36],"focus":[37],"controller":[40],"synthesis":[41],"STL":[43,59,93,151],"tasks":[44,51,62,72,101],"for":[45,83,128,145],"MASs":[47],"to":[48,97,142,164],"accomplish":[49],"in":[52],"modular":[53],"CPPSs.":[54],"Firstly,":[55],"class":[57,79],"characterizing":[61],"combination":[65],"fixed-time":[67],"reachability":[68,132],"and":[69,102,114,122,133],"finite-time":[70],"persistence":[71,134],"is":[73,95,140,162],"proposed,":[74],"which":[75],"encompasses":[76],"large":[78],"MAS.":[85],"Secondly,":[86],"acyclic":[88],"decomposition":[89],"global":[92,150],"formula":[94],"constructed":[96],"enable":[98],"conflict-free":[99],"unidirectional":[103],"couplings":[104],"between":[105,111],"subsystems.":[106,158],"By":[107],"establishing":[108],"equivalence":[110],"proposition":[113],"state":[116],"set":[117],"MAS,":[120],"necessary":[121],"sufficient":[123],"conditions":[124],"are":[125],"respectively":[126],"proposed":[127,170],"satisfaction":[130],"addition,":[137],"an":[138],"algorithm":[139],"presented":[141],"synthesize":[143],"controllers":[144,156],"MAS":[147],"specification":[152],"based":[153],"local":[155],"An":[159],"illustrative":[160],"example":[161],"given":[163],"show":[165],"effectiveness":[167],"method.":[171]},"counts_by_year":[],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}