{"id":"https://openalex.org/W4417295413","doi":"https://doi.org/10.48550/arxiv.2512.10358","title":"From Production Envelopes to Executable Schedules: Sound Constructive Refinement for High-Mix Manufacturing","display_name":"From Production Envelopes to Executable Schedules: Sound Constructive Refinement for High-Mix Manufacturing","publication_year":2025,"publication_date":"2025-12-11","ids":{"openalex":"https://openalex.org/W4417295413","doi":"https://doi.org/10.48550/arxiv.2512.10358"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2512.10358","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.10358","pdf_url":"https://arxiv.org/pdf/2512.10358","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2512.10358","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065887671","display_name":"Runhao Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Runhao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050653762","display_name":"Ziming Chen","orcid":"https://orcid.org/0009-0007-8841-4337"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheng, Zhengyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100697960","display_name":"You Li","orcid":"https://orcid.org/0000-0003-3853-1918"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ding, Fei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zhang, Yitong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yitong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100770998","display_name":"Peng Zhang","orcid":"https://orcid.org/0000-0002-2972-3566"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Miaolan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100770998","display_name":"Peng Zhang","orcid":"https://orcid.org/0000-0002-2972-3566"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Peng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9107999801635742,"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/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9107999801635742,"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/T10328","display_name":"Supply Chain and Inventory Management","score":0.027899999171495438,"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/T11053","display_name":"Process Optimization and Integration","score":0.013500000350177288,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.7396000027656555},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.7249000072479248},{"id":"https://openalex.org/keywords/production-planning","display_name":"Production planning","score":0.6007000207901001},{"id":"https://openalex.org/keywords/job-shop-scheduling","display_name":"Job shop scheduling","score":0.5238000154495239},{"id":"https://openalex.org/keywords/outsourcing","display_name":"Outsourcing","score":0.4839000105857849},{"id":"https://openalex.org/keywords/capacity-planning","display_name":"Capacity planning","score":0.4724000096321106},{"id":"https://openalex.org/keywords/integrated-business-planning","display_name":"Integrated business planning","score":0.46239998936653137},{"id":"https://openalex.org/keywords/material-requirements-planning","display_name":"Material requirements planning","score":0.4023999869823456},{"id":"https://openalex.org/keywords/aggregate-planning","display_name":"Aggregate planning","score":0.40149998664855957},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.3917999863624573}],"concepts":[{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.7396000027656555},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.7249000072479248},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6909999847412109},{"id":"https://openalex.org/C2777909354","wikidata":"https://www.wikidata.org/wiki/Q1386523","display_name":"Production planning","level":3,"score":0.6007000207901001},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.5238000154495239},{"id":"https://openalex.org/C46934059","wikidata":"https://www.wikidata.org/wiki/Q61515","display_name":"Outsourcing","level":2,"score":0.4839000105857849},{"id":"https://openalex.org/C2781007418","wikidata":"https://www.wikidata.org/wiki/Q1456934","display_name":"Capacity planning","level":2,"score":0.4724000096321106},{"id":"https://openalex.org/C191489605","wikidata":"https://www.wikidata.org/wiki/Q6043021","display_name":"Integrated business planning","level":2,"score":0.46239998936653137},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4480000138282776},{"id":"https://openalex.org/C167523981","wikidata":"https://www.wikidata.org/wiki/Q1365335","display_name":"Material requirements planning","level":3,"score":0.4023999869823456},{"id":"https://openalex.org/C160383950","wikidata":"https://www.wikidata.org/wiki/Q10350230","display_name":"Aggregate planning","level":4,"score":0.40149998664855957},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.3917999863624573},{"id":"https://openalex.org/C31689143","wikidata":"https://www.wikidata.org/wiki/Q733809","display_name":"Fair-share scheduling","level":3,"score":0.3483000099658966},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3271999955177307},{"id":"https://openalex.org/C3019208289","wikidata":"https://www.wikidata.org/wiki/Q56612115","display_name":"Due date","level":3,"score":0.32199999690055847},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.31610000133514404},{"id":"https://openalex.org/C159022435","wikidata":"https://www.wikidata.org/wiki/Q5532874","display_name":"Genetic algorithm scheduling","level":5,"score":0.3158000111579895},{"id":"https://openalex.org/C66341344","wikidata":"https://www.wikidata.org/wiki/Q2297743","display_name":"Integrated production","level":3,"score":0.31349998712539673},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C2780720960","wikidata":"https://www.wikidata.org/wiki/Q5282052","display_name":"Discrete manufacturing","level":3,"score":0.30140000581741333},{"id":"https://openalex.org/C7923174","wikidata":"https://www.wikidata.org/wiki/Q1404943","display_name":"Manufacturing execution system","level":3,"score":0.3012000024318695},{"id":"https://openalex.org/C2780682718","wikidata":"https://www.wikidata.org/wiki/Q16321575","display_name":"Production control","level":3,"score":0.30079999566078186},{"id":"https://openalex.org/C119948110","wikidata":"https://www.wikidata.org/wiki/Q7858726","display_name":"Two-level scheduling","level":4,"score":0.2937000095844269},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.28859999775886536},{"id":"https://openalex.org/C135909481","wikidata":"https://www.wikidata.org/wiki/Q17092930","display_name":"Production manager","level":3,"score":0.2874999940395355},{"id":"https://openalex.org/C53688548","wikidata":"https://www.wikidata.org/wiki/Q1122190","display_name":"Computer-integrated manufacturing","level":2,"score":0.2824000120162964},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.27149999141693115},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C2778106978","wikidata":"https://www.wikidata.org/wiki/Q441898","display_name":"Cellular manufacturing","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C2780443747","wikidata":"https://www.wikidata.org/wiki/Q3516922","display_name":"Group technology","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C142000545","wikidata":"https://www.wikidata.org/wiki/Q1003004","display_name":"Build to order","level":3,"score":0.25220000743865967}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2512.10358","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.10358","pdf_url":"https://arxiv.org/pdf/2512.10358","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_type":"text"},{"id":"pmh:oai:arXiv.org:2512.10358","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2512.10358","pdf_url":"https://arxiv.org/pdf/2512.10358","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2512.10358","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.10358","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2512.10358","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.10358","pdf_url":"https://arxiv.org/pdf/2512.10358","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4417295413.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"High-mix":[0],"manufacturing":[1,199],"systems":[2],"require":[3],"production":[4,46],"plans":[5],"that":[6,48,189],"are":[7],"both":[8],"profitable":[9],"and":[10,24,58,79,98,129,133,153,169,179],"refinable":[11],"into":[12,69],"executable":[13,114],"machine-level":[14],"schedules":[15],"under":[16],"heterogeneous":[17],"resources,":[18],"mold-dependent":[19],"compatibility,":[20,78],"setup":[21],"losses,delivery":[22],"windows,":[23],"accessory":[25],"synchronization.":[26],"We":[27,94],"study":[28],"this":[29,67],"problem":[30],"as":[31,125],"a":[32,44,85,100,136,141,194],"production-envelope":[33],"refinement":[34,104,162,192],"task.":[35],"A":[36,61],"rolling-horizon":[37],"mixed-integer":[38],"linear":[39],"programming":[40],"(MILP)":[41],"planner":[42],"generates":[43],"valid":[45,119],"envelope":[47,68,191],"fixes":[49],"daily":[50],"production,":[51],"fulfillment,":[52,109],"mold":[53,92],"states,":[54],"inventory":[55],"flows,":[56],"outsourcing,":[57,168],"unmet-demand":[59],"variables.":[60],"structure-aware":[62],"constructive":[63],"scheduler":[64,83],"then":[65],"refines":[66],"concrete":[70],"order-machine":[71],"allocations":[72],"while":[73],"preserving":[74],"capacity":[75,172],"feasibility,":[76],"product-mold-machine":[77],"delivery-window":[80],"compliance.":[81],"The":[82,121,159],"enforces":[84],"one-mold-per-machine-per-day":[86],"stability":[87],"rule":[88],"to":[89,117,174],"avoid":[90],"intra-day":[91],"fragmentation.":[93],"establish":[95],"residual":[96,108],"invariants":[97],"prove":[99],"soundness":[101],"theorem:":[102],"whenever":[103],"terminates":[105],"with":[106,115,147],"zero":[107],"the":[110,118],"returned":[111],"allocation":[112],"is":[113,123,193],"respect":[116],"envelope.":[120],"framework":[122],"implemented":[124],"an":[126],"Advanced":[127],"Planning":[128],"Scheduling":[130],"(APS)":[131],"prototype":[132],"evaluated":[134],"on":[135],"real":[137],"industrial":[138],"case":[139],"from":[140],"Jiangsu":[142],"smartphone-case":[143],"manufacturer":[144],"in":[145],"China":[146],"37":[148],"product":[149],"types,":[150],"150":[151],"orders,":[152],"over":[154],"8.3":[155],"million":[156],"requested":[157],"units.":[158],"proposed":[160],"stable":[161],"achieves":[163],"100%":[164],"on-time":[165],"delivery,":[166],"eliminates":[167],"bounds":[170],"changeover-driven":[171],"loss":[173],"1.9-4.6%.":[175],"Across":[176],"nine":[177],"demand":[178],"changeover":[180],"perturbation":[181],"scenarios,":[182],"it":[183],"maintains":[184],"robust":[185],"delivery":[186],"performance,":[187],"showing":[188],"sound":[190],"practical":[195],"mechanism":[196],"for":[197],"reliable":[198],"scheduling.":[200]},"counts_by_year":[],"updated_date":"2026-07-03T08:13:44.112507","created_date":"2025-12-13T00:00:00"}