{"id":"https://openalex.org/W4376111295","doi":"https://doi.org/10.1080/0951192x.2023.2209860","title":"State-based verification of industrial control programs with the use of a digital model","display_name":"State-based verification of industrial control programs with the use of a digital model","publication_year":2023,"publication_date":"2023-05-09","ids":{"openalex":"https://openalex.org/W4376111295","doi":"https://doi.org/10.1080/0951192x.2023.2209860"},"language":"en","primary_location":{"id":"doi:10.1080/0951192x.2023.2209860","is_oa":false,"landing_page_url":"https://doi.org/10.1080/0951192x.2023.2209860","pdf_url":null,"source":{"id":"https://openalex.org/S57062392","display_name":"International Journal of Computer Integrated Manufacturing","issn_l":"0951-192X","issn":["0951-192X","1362-3052"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Integrated Manufacturing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://biblio.ugent.be/publication/01GZ0YK6RSYRVDBZGSHYEWQA40/file/01GZ0YVAJHS7WKAN5E29F494TY.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078916546","display_name":"Matthias Schamp","orcid":"https://orcid.org/0000-0002-4986-872X"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210116480","display_name":"Flanders Make (Belgium)","ror":"https://ror.org/02ndjfz59","country_code":"BE","type":"company","lineage":["https://openalex.org/I4210116480"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Matthias Schamp","raw_affiliation_strings":["Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium","Industrial Systems Engineering (ISyE), Flanders Make, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-4986-872X","affiliations":[{"raw_affiliation_string":"Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Industrial Systems Engineering (ISyE), Flanders Make, Belgium","institution_ids":["https://openalex.org/I4210116480"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034176707","display_name":"El\u2010Houssaine Aghezzaf","orcid":"https://orcid.org/0000-0003-3849-2218"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210116480","display_name":"Flanders Make (Belgium)","ror":"https://ror.org/02ndjfz59","country_code":"BE","type":"company","lineage":["https://openalex.org/I4210116480"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"El-Houssaine Aghezzaf","raw_affiliation_strings":["Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium","Industrial Systems Engineering (ISyE), Flanders Make, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-3849-2218","affiliations":[{"raw_affiliation_string":"Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Industrial Systems Engineering (ISyE), Flanders Make, Belgium","institution_ids":["https://openalex.org/I4210116480"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019349561","display_name":"Johannes Cottyn","orcid":null},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210116480","display_name":"Flanders Make (Belgium)","ror":"https://ror.org/02ndjfz59","country_code":"BE","type":"company","lineage":["https://openalex.org/I4210116480"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Johannes Cottyn","raw_affiliation_strings":["Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium","Industrial Systems Engineering (ISyE), Flanders Make, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-1668-3331","affiliations":[{"raw_affiliation_string":"Department of Industrial Systems Engineering and Product Design, Ghent University, Gent-Zwijnaarde, Belgium","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Industrial Systems Engineering (ISyE), Flanders Make, Belgium","institution_ids":["https://openalex.org/I4210116480"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078916546"],"corresponding_institution_ids":["https://openalex.org/I32597200","https://openalex.org/I4210116480"],"apc_list":null,"apc_paid":null,"fwci":0.7901,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76274237,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"37","issue":"3","first_page":"266","last_page":"284"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9986000061035156,"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/T11159","display_name":"Manufacturing Process and Optimization","score":0.9986000061035156,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9986000061035156,"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/T10763","display_name":"Digital Transformation in Industry","score":0.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7481135129928589},{"id":"https://openalex.org/keywords/troubleshooting","display_name":"Troubleshooting","score":0.743404746055603},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.6714656949043274},{"id":"https://openalex.org/keywords/timeline","display_name":"Timeline","score":0.6213192343711853},{"id":"https://openalex.org/keywords/project-commissioning","display_name":"Project commissioning","score":0.6068805456161499},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5957631468772888},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5124736428260803},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4577263295650482},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44640302658081055},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3246179223060608},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3200764060020447},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.29849958419799805},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13998892903327942},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.10792693495750427},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10470989346504211},{"id":"https://openalex.org/keywords/publishing","display_name":"Publishing","score":0.10190016031265259}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7481135129928589},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.743404746055603},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6714656949043274},{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.6213192343711853},{"id":"https://openalex.org/C165347436","wikidata":"https://www.wikidata.org/wiki/Q1514547","display_name":"Project commissioning","level":3,"score":0.6068805456161499},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5957631468772888},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5124736428260803},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4577263295650482},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44640302658081055},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3246179223060608},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3200764060020447},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.29849958419799805},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13998892903327942},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10792693495750427},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10470989346504211},{"id":"https://openalex.org/C151719136","wikidata":"https://www.wikidata.org/wiki/Q3972943","display_name":"Publishing","level":2,"score":0.10190016031265259},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/0951192x.2023.2209860","is_oa":false,"landing_page_url":"https://doi.org/10.1080/0951192x.2023.2209860","pdf_url":null,"source":{"id":"https://openalex.org/S57062392","display_name":"International Journal of Computer Integrated Manufacturing","issn_l":"0951-192X","issn":["0951-192X","1362-3052"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Integrated Manufacturing","raw_type":"journal-article"},{"id":"pmh:oai:archive.ugent.be:01GZ0YK6RSYRVDBZGSHYEWQA40","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-01GZ0YK6RSYRVDBZGSHYEWQA40","pdf_url":"https://biblio.ugent.be/publication/01GZ0YK6RSYRVDBZGSHYEWQA40/file/01GZ0YVAJHS7WKAN5E29F494TY.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1362-3052","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:archive.ugent.be:01GZ0YK6RSYRVDBZGSHYEWQA40","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-01GZ0YK6RSYRVDBZGSHYEWQA40","pdf_url":"https://biblio.ugent.be/publication/01GZ0YK6RSYRVDBZGSHYEWQA40/file/01GZ0YVAJHS7WKAN5E29F494TY.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1362-3052","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.47999998927116394,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4376111295.pdf","grobid_xml":"https://content.openalex.org/works/W4376111295.grobid-xml"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W1505511962","https://openalex.org/W1539570097","https://openalex.org/W1556438821","https://openalex.org/W1591386601","https://openalex.org/W1908925872","https://openalex.org/W1991226774","https://openalex.org/W1991491410","https://openalex.org/W2018600447","https://openalex.org/W2029825845","https://openalex.org/W2062142945","https://openalex.org/W2075539908","https://openalex.org/W2101623441","https://openalex.org/W2110068396","https://openalex.org/W2118361136","https://openalex.org/W2124370293","https://openalex.org/W2140738697","https://openalex.org/W2155906338","https://openalex.org/W2163064422","https://openalex.org/W2192951338","https://openalex.org/W2407790672","https://openalex.org/W2529483357","https://openalex.org/W2547518362","https://openalex.org/W2552016886","https://openalex.org/W2557166381","https://openalex.org/W2574788966","https://openalex.org/W2587038523","https://openalex.org/W2597150627","https://openalex.org/W2755214325","https://openalex.org/W2791720472","https://openalex.org/W2793341230","https://openalex.org/W2854587044","https://openalex.org/W2890904471","https://openalex.org/W2891159668","https://openalex.org/W2910597635","https://openalex.org/W2955774370","https://openalex.org/W2979485672","https://openalex.org/W2988359971","https://openalex.org/W2999782615","https://openalex.org/W3005073154","https://openalex.org/W3011743329","https://openalex.org/W3012041784","https://openalex.org/W3013220430","https://openalex.org/W3034452872","https://openalex.org/W3040008180","https://openalex.org/W3042091195","https://openalex.org/W3089161682","https://openalex.org/W3092184945","https://openalex.org/W3092425344","https://openalex.org/W3094328277","https://openalex.org/W3106921155","https://openalex.org/W3155432897","https://openalex.org/W3161569250","https://openalex.org/W3165137081","https://openalex.org/W3182922243","https://openalex.org/W3184664477","https://openalex.org/W3201000358","https://openalex.org/W3211500645","https://openalex.org/W4200020358","https://openalex.org/W4205944040","https://openalex.org/W4207055770","https://openalex.org/W4249935030","https://openalex.org/W4250672041","https://openalex.org/W4252088140","https://openalex.org/W6629871087","https://openalex.org/W6633439795","https://openalex.org/W6714026258","https://openalex.org/W7058415977"],"related_works":["https://openalex.org/W1858249912","https://openalex.org/W3013479934","https://openalex.org/W2114034199","https://openalex.org/W4318325534","https://openalex.org/W4240398146","https://openalex.org/W2467308209","https://openalex.org/W2913357653","https://openalex.org/W1981753479","https://openalex.org/W4312489236","https://openalex.org/W2317428717"],"abstract_inverted_index":{"Today,":[0],"the":[1,4,20,41,47,76,88,102,106,128,139,150,164,167],"verification":[2,42],"of":[3,7,27,61,130,149,157,166],"control":[5,90],"logic":[6],"automation":[8,77],"projects":[9],"is":[10,51,120,152],"mainly":[11],"a":[12,25,54,59,69,81,123,155],"manual":[13,55],"task":[14,56],"during":[15,134],"real":[16,89,143,170],"commissioning":[17,39,144],"phase":[18,136],"on":[19,80,122,169],"physical":[21],"installation.":[22],"This":[23,66],"involves":[24],"lot":[26,60],"risks":[28],"towards":[29],"possible":[30],"damage":[31],"and":[32,57,64,99,104,113,137],"unanticipated":[33],"delays":[34],"in":[35,46,101,142],"project":[36,48],"completion.":[37],"Virtual":[38],"allows":[40],"to":[43,71,75,109,114],"start":[44],"earlier":[45],"timeline":[49],"but":[50],"often":[52],"also":[53],"requires":[58],"human":[62],"knowledge":[63],"expertise.":[65],"paper":[67],"proposes":[68],"workflow":[70],"provide":[72],"additional":[73],"support":[74,115],"engineer":[78],"based":[79],"3D":[82],"Digital":[83],"Model":[84],"that":[85],"interacts":[86],"with":[87],"logic.":[91],"The":[92,117,146],"digital":[93],"model":[94],"records":[95],"all":[96],"occurring":[97],"states":[98],"transitions":[100],"background":[103],"visualizes":[105],"state":[107],"graph":[108],"highlight":[110],"unexpected":[111,132],"behaviour":[112,133],"troubleshooting.":[116],"proposed":[118],"approach":[119,151,168],"validated":[121],"test":[124],"case":[125],"confirming":[126],"(1)":[127],"effectiveness":[129],"highlighting":[131],"programming":[135],"(2)":[138],"substantial":[140],"reduction":[141],"time.":[145],"added":[147],"value":[148],"concluded,":[153],"although":[154],"number":[156],"limitations":[158],"still":[159],"exist.":[160],"Future":[161],"research":[162],"includes":[163],"validation":[165],"industrial":[171],"cases.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}