{"id":"https://openalex.org/W4407301575","doi":"https://doi.org/10.1145/3715960","title":"Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System","display_name":"Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System","publication_year":2025,"publication_date":"2025-02-10","ids":{"openalex":"https://openalex.org/W4407301575","doi":"https://doi.org/10.1145/3715960"},"language":"en","primary_location":{"id":"doi:10.1145/3715960","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3715960","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.hud.ac.uk/en/publications/4e77656f-8775-4478-b9c1-e2a4cd89f74b","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048174498","display_name":"Wangyang Yu","orcid":"https://orcid.org/0000-0003-1037-210X"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wangyang Yu","raw_affiliation_strings":["The School of Computer Science, Shaanxi Normal University, Xi'an, China","Shaanxi Normal University School of Computer Science, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-1037-210X","affiliations":[{"raw_affiliation_string":"The School of Computer Science, Shaanxi Normal University, Xi'an, China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Shaanxi Normal University School of Computer Science, Xi'an, China","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106482830","display_name":"Qi Guo","orcid":"https://orcid.org/0000-0001-7787-5647"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Guo","raw_affiliation_strings":["The School of Computer Science, Shaanxi Normal University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0001-7787-5647","affiliations":[{"raw_affiliation_string":"The School of Computer Science, Shaanxi Normal University, Xi'an, China","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079618728","display_name":"Yumeng Cheng","orcid":"https://orcid.org/0009-0006-5108-8657"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yumeng Cheng","raw_affiliation_strings":["The School of Computer Science, Shaanxi Normal University, Xian, China","Shaanxi Normal University School of Computer Science, Xian, China"],"raw_orcid":"https://orcid.org/0009-0006-5108-8657","affiliations":[{"raw_affiliation_string":"The School of Computer Science, Shaanxi Normal University, Xian, China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Shaanxi Normal University School of Computer Science, Xian, China","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002822427","display_name":"Lu Liu","orcid":"https://orcid.org/0000-0003-1013-4507"},"institutions":[{"id":"https://openalex.org/I23923803","display_name":"University of Exeter","ror":"https://ror.org/03yghzc09","country_code":"GB","type":"education","lineage":["https://openalex.org/I23923803"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lu Liu","raw_affiliation_strings":["University of Exeter Department of Computer Science, Exeter, United Kingdom of Great Britain and Northern Ireland"],"raw_orcid":"https://orcid.org/0000-0003-1013-4507","affiliations":[{"raw_affiliation_string":"University of Exeter Department of Computer Science, Exeter, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I23923803"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104105296","display_name":"Fei Hao","orcid":"https://orcid.org/0009-0000-6364-7600"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fei Hao","raw_affiliation_strings":["The School of Computer Science, Shaanxi Normal University, Xian, China","Shaanxi Normal University School of Computer Science, Xian, China"],"raw_orcid":"https://orcid.org/0009-0000-6364-7600","affiliations":[{"raw_affiliation_string":"The School of Computer Science, Shaanxi Normal University, Xian, China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Shaanxi Normal University School of Computer Science, Xian, China","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042584242","display_name":"Xiaojun Zhai","orcid":"https://orcid.org/0000-0002-1030-8311"},"institutions":[{"id":"https://openalex.org/I110002522","display_name":"University of Essex","ror":"https://ror.org/02nkf1q06","country_code":"GB","type":"education","lineage":["https://openalex.org/I110002522"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Xiaojun Zhai","raw_affiliation_strings":["University of Essex School of Computer Science and Electronic Engineering, Colchester, United Kingdom of Great Britain and Northern Ireland","University of Essex School of Computer Science and Electronic Engineering, Colchester United Kingdom of Great Britain and Northern Ireland"],"raw_orcid":"https://orcid.org/0000-0002-1030-8311","affiliations":[{"raw_affiliation_string":"University of Essex School of Computer Science and Electronic Engineering, Colchester, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I110002522"]},{"raw_affiliation_string":"University of Essex School of Computer Science and Electronic Engineering, Colchester United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I110002522"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014269891","display_name":"Minsi Chen","orcid":"https://orcid.org/0000-0001-6628-1421"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Minsi Chen","raw_affiliation_strings":["University of Huddersfield School of Computing and Engineering, Huddersfield, United Kingdom of Great Britain and Northern Ireland","University of Huddersfield School of Computing and Engineering, Huddersfield United Kingdom of Great Britain and Northern Ireland"],"raw_orcid":"https://orcid.org/0000-0001-6628-1421","affiliations":[{"raw_affiliation_string":"University of Huddersfield School of Computing and Engineering, Huddersfield, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I133837150"]},{"raw_affiliation_string":"University of Huddersfield School of Computing and Engineering, Huddersfield United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I133837150"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5048174498"],"corresponding_institution_ids":["https://openalex.org/I88830068"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02805953,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"3","first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9926999807357788,"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/cruise-control","display_name":"Cruise control","score":0.7420644760131836},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6819034814834595},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.677802324295044},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5854051113128662},{"id":"https://openalex.org/keywords/cruise","display_name":"Cruise","score":0.5599439144134521},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.4881916642189026},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4091060161590576},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.20742928981781006},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20457425713539124},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16966676712036133},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13991877436637878}],"concepts":[{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.7420644760131836},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6819034814834595},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.677802324295044},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5854051113128662},{"id":"https://openalex.org/C2778821358","wikidata":"https://www.wikidata.org/wiki/Q2063640","display_name":"Cruise","level":2,"score":0.5599439144134521},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.4881916642189026},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4091060161590576},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.20742928981781006},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20457425713539124},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16966676712036133},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13991877436637878},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3715960","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3715960","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/4e77656f-8775-4478-b9c1-e2a4cd89f74b","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/4e77656f-8775-4478-b9c1-e2a4cd89f74b","pdf_url":null,"source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Yu, W, Guo, Q, Cheng, Y, Liu, L, Hao, F, Zhai, X & Chen, M 2025, 'Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net : A Case Study of Adaptive Cruise Control System', ACM Transactions on Embedded Computing Systems, vol. 24, no. 3, 37. https://doi.org/10.1145/3715960","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/4e77656f-8775-4478-b9c1-e2a4cd89f74b","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/4e77656f-8775-4478-b9c1-e2a4cd89f74b","pdf_url":null,"source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Yu, W, Guo, Q, Cheng, Y, Liu, L, Hao, F, Zhai, X & Chen, M 2025, 'Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net : A Case Study of Adaptive Cruise Control System', ACM Transactions on Embedded Computing Systems, vol. 24, no. 3, 37. https://doi.org/10.1145/3715960","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2377841011","display_name":null,"funder_award_id":"GK202205039","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G7071368817","display_name":null,"funder_award_id":"62477029","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/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1568573127","https://openalex.org/W1988176937","https://openalex.org/W2007283249","https://openalex.org/W2011203908","https://openalex.org/W2036005865","https://openalex.org/W2037250867","https://openalex.org/W2045634095","https://openalex.org/W2105572166","https://openalex.org/W2130705439","https://openalex.org/W2286498352","https://openalex.org/W2331810168","https://openalex.org/W2520248080","https://openalex.org/W2619875595","https://openalex.org/W2769745615","https://openalex.org/W2769979971","https://openalex.org/W2801601762","https://openalex.org/W2805482161","https://openalex.org/W2817382111","https://openalex.org/W2884226817","https://openalex.org/W2910487268","https://openalex.org/W2914176258","https://openalex.org/W2923073405","https://openalex.org/W2963400750","https://openalex.org/W2974801878","https://openalex.org/W2981236637","https://openalex.org/W2988415857","https://openalex.org/W2991070310","https://openalex.org/W3011578239","https://openalex.org/W3014054866","https://openalex.org/W3036606521","https://openalex.org/W3049013745","https://openalex.org/W4249484115"],"related_works":["https://openalex.org/W2744842631","https://openalex.org/W2928135228","https://openalex.org/W2604794472","https://openalex.org/W2269548070","https://openalex.org/W3043953383","https://openalex.org/W2461205088","https://openalex.org/W2380609026","https://openalex.org/W2101351086","https://openalex.org/W3211504322","https://openalex.org/W2389392067"],"abstract_inverted_index":{"Many":[0],"Next-Generation":[1],"consumer":[2,35],"electronic":[3,9,19,36,42,70,85,144],"devices":[4],"would":[5],"be":[6,47,62],"distributed":[7],"hybrid":[8,41,69,84,112],"systems,":[10],"such":[11,34],"as":[12,146],"UAVs":[13],"(Unmanned":[14],"Aerial":[15],"Vehicles)":[16],"and":[17,23,81,102,108,127,134,162,221],"smart":[18,143],"cars.":[20],"The":[21,38,180],"safety":[22,220],"risk":[24],"control":[25],"are":[26,215],"the":[27,31,56,68,83,98,118,151,157,164,172,177,185,192,197,209,212],"key":[28],"issues":[29],"for":[30,121],"sustainability":[32],"of":[33,40,67,105,142,153,167,176,211],"systems.":[37,71,86],"modeling":[39,100],"systems":[43],"is":[44],"difficult":[45],"to":[46,61,64,79,149,160,201,208],"abstracted":[48],"by":[49],"traditional":[50],"Petri":[51,65,77,93,106],"Nets.":[52],"This":[53,72],"also":[54],"makes":[55],"reachable":[57,124],"marking":[58,125],"graph":[59,126],"unable":[60],"applied":[63],"Nets":[66],"paper":[73],"proposes":[74],"a":[75,90],"novel":[76],"Net":[78,94],"model":[80,133,161],"analyze":[82,135,163],"We":[87,155],"name":[88],"it":[89],"Semi-continuous":[91],"Colored":[92],"(SCPN)":[95],"that":[96,184],"inherits":[97],"excellent":[99],"capabilities":[101],"analysis":[103],"methods":[104],"Nets,":[107],"can":[109],"formally":[110],"depict":[111],"quantities.":[113],"In":[114],"addition,":[115],"we":[116,132],"propose":[117],"construction":[119],"algorithm":[120],"an":[122,136,147,168],"SCPN":[123,159,210],"prove":[128,150],"its":[129,219],"finiteness.":[130],"Finally,":[131],"Adaptive":[137],"Cruise":[138],"Control":[139],"(ACC)":[140],"system":[141,170,187,214],"cars":[145],"example":[148],"validity":[152],"SCPN.":[154],"use":[156],"proposed":[158],"running":[165],"process":[166],"ACC":[169,186,213],"under":[171,191],"continuous":[173],"deceleration":[174],"scenario":[175],"front":[178,198],"vehicle.":[179],"application":[181],"study":[182],"shows":[183],"has":[188],"logic":[189],"flaws":[190],"constant":[193],"headway":[194],"strategy":[195],"when":[196],"vehicle":[199],"continues":[200],"decelerate.":[202],"Based":[203],"on":[204],"this":[205],"analysis,":[206],"improvements":[207],"made,":[216],"effectively":[217],"enhancing":[218],"logical":[222],"correctness.":[223]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-02-10T00:00:00"}