{"id":"https://openalex.org/W7203876916","doi":"https://doi.org/10.48550/arxiv.2608.18565","title":"SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation","display_name":"SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation","publication_year":2026,"publication_date":"2026-08-19","ids":{"openalex":"https://openalex.org/W7203876916","doi":"https://doi.org/10.48550/arxiv.2608.18565"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.18565","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.18565","pdf_url":"https://arxiv.org/pdf/2608.18565","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.18565","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005049605","display_name":"Yanlun Tu","orcid":"https://orcid.org/0000-0002-3632-5339","observed_orcids":["https://orcid.org/0000-0002-3632-5339"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tu, Yanlun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5147708486","display_name":"Huacan Wang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Huacan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100568576","display_name":"Xie Jin","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Jin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5147791311","display_name":"Jie Zhou","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Ziyue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108646102","display_name":"Ningyan Zhu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Jie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5154082346","display_name":"Ningyan Zhu","orcid":"https://orcid.org/0009-0000-3257-172X","observed_orcids":["https://orcid.org/0009-0000-3257-172X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Ningyan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133613353","display_name":"Wangyi Chen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Ge","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5159761443","display_name":"Wangyi Chen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Wangyi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5147732664","display_name":"Yifan Zhou","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Tengfei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5159848969","display_name":"Yifan Zhou","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Yifan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006310128","display_name":"Dasheng Yang","orcid":"https://orcid.org/0000-0002-6032-6016","observed_orcids":["https://orcid.org/0000-0002-6032-6016"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Dasheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123476396","display_name":"Xiaofeng Mou","orcid":"https://orcid.org/0009-0003-8375-2274","observed_orcids":["https://orcid.org/0009-0003-8375-2274"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mou, Xiaofeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5159921368","display_name":"Hui Zhang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Hui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5159837447","display_name":"Yi Xu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Yi","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":2,"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/T10260","display_name":"Software Engineering Research","score":0.6474999785423279,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.6474999785423279,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13344","display_name":"Industrial Automation and Control Systems","score":0.12549999356269836,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.08720000088214874,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/large-language-models","display_name":"large language models","score":0.5569999814033508},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.6759999990463257},{"id":"https://openalex.org/keywords/code-repair","display_name":"code repair","score":0.4560000002384186},{"id":"https://openalex.org/keywords/kuka","display_name":"KUKA","score":0.5490000247955322}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7045000195503235},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.5946000218391418},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5641999840736389},{"id":"https://openalex.org/C44986683","wikidata":"https://www.wikidata.org/wiki/Q1411875","display_name":"Ladder logic","level":3,"score":0.4952999949455261},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4941999912261963},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.4803999960422516},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.462799996137619},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45809999108314514},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4390999972820282},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41350001096725464},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.38690000772476196},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.38339999318122864},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.3596999943256378},{"id":"https://openalex.org/C89992363","wikidata":"https://www.wikidata.org/wiki/Q5961558","display_name":"Track (disk drive)","level":2,"score":0.35910001397132874},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34310001134872437},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3386000096797943},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.30790001153945923},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3034999966621399},{"id":"https://openalex.org/C206274596","wikidata":"https://www.wikidata.org/wiki/Q1063837","display_name":"Programmable logic device","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.27309998869895935},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.18565","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.18565","pdf_url":"https://arxiv.org/pdf/2608.18565","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.18565","doi":"https://doi.org/10.48550/arxiv.2608.18565","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.18565","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.18565","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.18565","pdf_url":"https://arxiv.org/pdf/2608.18565","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.428600013256073,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7203876916.pdf","grobid_xml":"https://content.openalex.org/works/W7203876916.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W7130402983","https://openalex.org/W7154251678","https://openalex.org/W7162509801","https://openalex.org/W7164548514"],"related_works":["https://openalex.org/W7166317566","https://openalex.org/W7220417129","https://openalex.org/W7131417432","https://openalex.org/W7223231671","https://openalex.org/W7171219616","https://openalex.org/W2788308899","https://openalex.org/W2009129255","https://openalex.org/W7106819161","https://openalex.org/W7126201452","https://openalex.org/W4399213405"],"abstract_inverted_index":{"In":[0],"industrial":[1,178,183],"practice,":[2],"AI-generated":[3],"programmable":[4],"logic":[5],"controller":[6],"(PLC)":[7],"code":[8,47],"must":[9],"integrate":[10],"with":[11,58],"existing":[12],"projects":[13],"and":[14,29,54,62,83,96,119,124,134,139,146,152,172,180],"implement":[15],"the":[16,76,106,127,162,186],"required":[17],"behavior":[18],"across":[19,100],"scan":[20],"cycles.":[21],"Compilation":[22],"alone":[23],"does":[24],"not":[25],"establish":[26],"runtime":[27],"behavior,":[28],"subsequent":[30],"edits":[31],"can":[32],"invalidate":[33,80],"earlier":[34],"verification":[35],"results.":[36],"We":[37,89,160],"present":[38],"SemaPLC,":[39],"a":[40],"project-grounded,":[41],"verification-gated":[42],"agent":[43,187],"harness":[44,50,163],"for":[45,75,112,169,176],"PLC":[46,56,170,191],"generation.":[48],"The":[49,182],"combines":[51],"project":[52],"context":[53],"reusable":[55],"skills":[57],"specification":[59],"review,":[60],"compilation,":[61],"live-runtime":[63],"validation.":[64],"Its":[65,115],"completion":[66],"gate":[67],"requires":[68],"recorded":[69],"checks":[70,85],"to":[71],"meet":[72],"acceptance":[73],"criteria":[74],"current":[77],"implementation.":[78],"Edits":[79],"previous":[81],"verdicts,":[82],"failed":[84],"guide":[86],"bounded":[87],"repair.":[88],"evaluate":[90],"SemaPLC":[91,104],"on":[92,109],"117":[93],"independent-POU":[94],"tasks":[95,99],"65":[97],"project-context":[98],"seven":[101],"language-model":[102],"backbones.":[103],"outperforms":[105],"evaluated":[107],"baselines":[108],"both":[110],"metrics":[111],"every":[113],"backbone.":[114],"mean":[116],"verified-pass":[117],"rate":[118],"dynamic":[120],"score":[121],"reach":[122],"72.6%":[123],"52.2,":[125],"exceeding":[126],"strongest":[128],"baseline":[129],"means":[130],"by":[131,194],"8.7%":[132],"points":[133],"20.8":[135],"points,":[136],"respectively.":[137],"Verification-layer":[138],"failure":[140],"analyses":[141],"reveal":[142],"how":[143],"build":[144],"recovery":[145],"output":[147],"observability":[148],"affect":[149],"end-to-end":[150],"results":[151],"identify":[153],"behavioral":[154],"errors":[155],"that":[156],"remain":[157],"after":[158],"compilation.":[159],"apply":[161],"in":[164],"KUKA's":[165],"iiQworks":[166],"product":[167],"environment":[168],"development":[171,192],"discuss":[173],"engineering":[174],"lessons":[175],"its":[177],"integration":[179],"deployment.":[181],"use":[184],"indicates":[185],"assistance":[188],"substantially":[189],"improves":[190],"efficiency":[193],"45%.":[195]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-08-22T00:00:00"}