{"id":"https://openalex.org/W7203585520","doi":"https://doi.org/10.1038/s41598-026-66172-2","title":"Safe MES-driven execution control for advanced manufacturing systems using constrained matrix zonotopes","display_name":"Safe MES-driven execution control for advanced manufacturing systems using constrained matrix zonotopes","publication_year":2026,"publication_date":"2026-08-16","ids":{"openalex":"https://openalex.org/W7203585520","doi":"https://doi.org/10.1038/s41598-026-66172-2"},"language":"en","primary_location":{"id":"doi:10.1038/s41598-026-66172-2","doi":"https://doi.org/10.1038/s41598-026-66172-2","is_oa":true,"landing_page_url":"https://doi.org/10.1038/s41598-026-66172-2","pdf_url":"https://www.nature.com/articles/s41598-026-66172-2_reference.pdf","source":{"id":"https://openalex.org/S196734849","display_name":"Scientific Reports","issn_l":"2045-2322","issn":["2045-2322"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","dongbi-c","doyens","jufo-1","ki-jl-1","medline","norway-1","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319908","host_organization_name":"Nature Portfolio","host_organization_lineage":["https://openalex.org/P4310319908","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Nature Portfolio","Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Reports","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.nature.com/articles/s41598-026-66172-2_reference.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101268565","display_name":"Yong Lin","orcid":"https://orcid.org/0009-0004-3364-9006","observed_orcids":["https://orcid.org/0009-0004-3364-9006","https://orcid.org/0009-0002-2757-1316"]},"institutions":[{"id":"https://openalex.org/I4400600921","display_name":"Guangdong Peizheng College","ror":"https://ror.org/05fsjkf12","country_code":"CN","type":"education","lineage":["https://openalex.org/I4400600921"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Lin","raw_affiliation_strings":["Guangdong Peizheng College, Guangzhou, 510830, Guangdong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Guangdong Peizheng College, Guangzhou, 510830, Guangdong, China","institution_ids":["https://openalex.org/I4400600921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5134085089","display_name":"Wendi Lin","orcid":"https://orcid.org/0009-0008-0049-414X","observed_orcids":["https://orcid.org/0009-0008-0049-414X"]},"institutions":[{"id":"https://openalex.org/I4210110442","display_name":"James Cook University Singapore","ror":"https://ror.org/01y5z8p89","country_code":"SG","type":"education","lineage":["https://openalex.org/I4210110442"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Wendi Lin","raw_affiliation_strings":["James Cook University\u2013Singapore Campus, 149 Sims Drive, Singapore, 387380, Singapore"],"raw_orcid":"https://orcid.org/0009-0008-0049-414X","affiliations":[{"raw_affiliation_string":"James Cook University\u2013Singapore Campus, 149 Sims Drive, Singapore, 387380, Singapore","institution_ids":["https://openalex.org/I4210110442"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5134085089"],"corresponding_institution_ids":["https://openalex.org/I4210110442"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690},"apc_paid":{"value":2690,"currency":"USD","value_usd":2690},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.56940406,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.7627000212669373,"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.7627000212669373,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.04969999939203262,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.024700000882148743,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/manufacturing-execution-system","display_name":"manufacturing execution system","score":0.9959999918937683},{"id":"https://openalex.org/keywords/advanced-manufacturing-systems","display_name":"advanced manufacturing systems","score":0.8489999771118164},{"id":"https://openalex.org/keywords/physical-safety","display_name":"physical safety","score":0.44600000977516174}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8025000095367432},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.5425999760627747},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4230000078678131},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.4198000133037567},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.41600000858306885},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.41200000047683716},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.40849998593330383},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.39329999685287476},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.38760000467300415},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3750999867916107},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.37310001254081726},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3560999929904938},{"id":"https://openalex.org/C3020597237","wikidata":"https://www.wikidata.org/wiki/Q7798498","display_name":"Production rate","level":2,"score":0.35089999437332153},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.3237999975681305},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C120793396","wikidata":"https://www.wikidata.org/wiki/Q173350","display_name":"Printed circuit board","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3133000135421753},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.29789999127388},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.2879999876022339},{"id":"https://openalex.org/C2780682718","wikidata":"https://www.wikidata.org/wiki/Q16321575","display_name":"Production control","level":3,"score":0.27300000190734863},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.27000001072883606},{"id":"https://openalex.org/C206654554","wikidata":"https://www.wikidata.org/wiki/Q5374247","display_name":"Empirical measure","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.25440001487731934}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1038/s41598-026-66172-2","doi":"https://doi.org/10.1038/s41598-026-66172-2","is_oa":true,"landing_page_url":"https://doi.org/10.1038/s41598-026-66172-2","pdf_url":"https://www.nature.com/articles/s41598-026-66172-2_reference.pdf","source":{"id":"https://openalex.org/S196734849","display_name":"Scientific Reports","issn_l":"2045-2322","issn":["2045-2322"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","dongbi-c","doyens","jufo-1","ki-jl-1","medline","norway-1","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319908","host_organization_name":"Nature Portfolio","host_organization_lineage":["https://openalex.org/P4310319908","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Nature Portfolio","Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Reports","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:be0e85dcd8fc4360bbd5533db43bfcb7","doi":null,"is_oa":false,"landing_page_url":"https://doaj.org/article/be0e85dcd8fc4360bbd5533db43bfcb7","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scientific Reports, Vol 16, Iss 1 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1038/s41598-026-66172-2","doi":"https://doi.org/10.1038/s41598-026-66172-2","is_oa":true,"landing_page_url":"https://doi.org/10.1038/s41598-026-66172-2","pdf_url":"https://www.nature.com/articles/s41598-026-66172-2_reference.pdf","source":{"id":"https://openalex.org/S196734849","display_name":"Scientific Reports","issn_l":"2045-2322","issn":["2045-2322"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","dongbi-c","doyens","jufo-1","ki-jl-1","medline","norway-1","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319908","host_organization_name":"Nature Portfolio","host_organization_lineage":["https://openalex.org/P4310319908","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Nature Portfolio","Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Reports","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7203585520.pdf","grobid_xml":"https://content.openalex.org/works/W7203585520.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W2029608738","https://openalex.org/W2059527510","https://openalex.org/W2160227992","https://openalex.org/W2300621294","https://openalex.org/W2507578125","https://openalex.org/W2560504659","https://openalex.org/W2619383789","https://openalex.org/W2767346351","https://openalex.org/W2767828640","https://openalex.org/W2806878106","https://openalex.org/W2890904471","https://openalex.org/W2917699637","https://openalex.org/W2925329277","https://openalex.org/W2945357379","https://openalex.org/W2965027687","https://openalex.org/W2972609400","https://openalex.org/W2991198292","https://openalex.org/W3084915321","https://openalex.org/W3086849158","https://openalex.org/W3111529655","https://openalex.org/W3119438804","https://openalex.org/W3132777934","https://openalex.org/W3160457970","https://openalex.org/W3203074617","https://openalex.org/W3217675150","https://openalex.org/W4210269452","https://openalex.org/W4256613398","https://openalex.org/W4381165380","https://openalex.org/W4384662684","https://openalex.org/W4386501106","https://openalex.org/W4387123822","https://openalex.org/W4401023546","https://openalex.org/W4408561401","https://openalex.org/W4409413452","https://openalex.org/W4414229538","https://openalex.org/W4415354090","https://openalex.org/W7127076758","https://openalex.org/W7143810702","https://openalex.org/W7154967877"],"related_works":["https://openalex.org/W4285125253","https://openalex.org/W2025167661","https://openalex.org/W2005196560","https://openalex.org/W7005493002","https://openalex.org/W7099453424","https://openalex.org/W3123867457","https://openalex.org/W2391166150","https://openalex.org/W2375896802","https://openalex.org/W2171669882","https://openalex.org/W6903634075"],"abstract_inverted_index":{"Manufacturing":[0],"execution":[1,188],"systems":[2],"(MESs)":[3],"coordinate":[4],"release,":[5],"transfer,":[6],"inspection":[7],"feedback,":[8],"maintenance":[9],"lockout":[10],"and":[11,59,62,107,144,163,174],"device":[12],"commands.":[13],"A":[14,72],"command":[15],"that":[16],"is":[17,180],"locally":[18],"feasible,":[19],"however,":[20],"may":[21],"still":[22],"violate":[23],"production":[24,60,113],"rules":[25,45],"or":[26,84],"physical":[27],"limits":[28],"at":[29],"the":[30,63,76,81,95,120],"system":[31],"level.":[32],"We":[33],"study":[34],"this":[35],"execution-safety":[36],"problem":[37],"using":[38],"constrained":[39],"matrix":[40],"zonotopes":[41],"(CMZs).":[42],"Audited":[43],"MES":[44],"are":[46,66,92],"converted":[47],"into":[48],"finite":[49],"Boolean":[50],"combinations":[51],"of":[52,131,137,142,148],"bounded":[53],"linear":[54],"predicates":[55],"over":[56,111],"states,":[57],"actions":[58],"modes,":[61],"resulting":[64],"cells":[65],"checked":[67],"with":[68,115],"robust":[69],"set-containment":[70],"constraints.":[71],"projection-based":[73],"filter":[74,124],"selects":[75],"action":[77],"finally":[78],"sent":[79],"to":[80,153],"equipment;":[82],"semantic":[83,134,159],"language-enabled":[85],"modules":[86,106],"only":[87],"supply":[88],"candidates.":[89],"All":[90],"methods":[91],"evaluated":[93],"on":[94,195],"same":[96],"anonymized":[97],"field":[98],"replay":[99],"from":[100],"three":[101],"electronic-production":[102],"lines":[103],"covering":[104],"electronic":[105],"$$48\\,\\textrm{V}$$":[108],"power":[109],"adapters":[110],"42":[112],"days,":[114],"6,427":[116],"station-level":[117],"decisions":[118],"in":[119],"reported":[121],"split.":[122],"The":[123,177],"obtained":[125],"an":[126,139],"empirical":[127,172],"replay-level":[128],"physical-safety":[129,173],"rate":[130,136,141],"0.985,":[132],"a":[133,145,184],"violation":[135],"0.058,":[138],"erroneous-release":[140,175],"0.012":[143],"recovery":[146,164],"time":[147],"$$23.6\\pm":[149],"6.1$$":[150],"s.":[151],"Relative":[152],"pure":[154,167],"CMZ":[155,168],"filtering,":[156],"it":[157],"reduced":[158],"violations,":[160],"manual":[161],"intervention":[162],"time,":[165],"whereas":[166],"retained":[169],"slightly":[170],"higher":[171],"performance.":[176],"proposed":[178],"method":[179],"therefore":[181],"interpreted":[182],"as":[183,192],"more":[185],"balanced":[186],"semantic\u2013physical":[187],"trade-off":[189],"rather":[190],"than":[191],"uniformly":[193],"superior":[194],"every":[196],"metric.":[197]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-08-17T00:00:00"}