{"id":"https://openalex.org/W4415399404","doi":"https://doi.org/10.1109/etfa65518.2025.11205663","title":"Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation","display_name":"Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation","publication_year":2025,"publication_date":"2025-09-09","ids":{"openalex":"https://openalex.org/W4415399404","doi":"https://doi.org/10.1109/etfa65518.2025.11205663"},"language":null,"primary_location":{"id":"doi:10.1109/etfa65518.2025.11205663","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205663","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088080483","display_name":"Hamied Nabizada","orcid":"https://orcid.org/0000-0001-8251-837X"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hamied Nabizada","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077814681","display_name":"Tom Jeleniewski","orcid":"https://orcid.org/0009-0007-0360-4108"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tom Jeleniewski","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082992149","display_name":"Lasse Beers","orcid":"https://orcid.org/0000-0003-0946-7742"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lasse Beers","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072063396","display_name":"Maximilian Weigand","orcid":"https://orcid.org/0000-0003-0510-1938"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Maximilian Weigand","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069339549","display_name":"Felix Gehlhoff","orcid":"https://orcid.org/0000-0002-8383-5323"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Felix Gehlhoff","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016841027","display_name":"Alexander Fay","orcid":"https://orcid.org/0000-0002-1922-654X"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Fay","raw_affiliation_strings":["Ruhr University Bochum,Chair of Automation,Bochum,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum,Chair of Automation,Bochum,Germany","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9922999739646912,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9922999739646912,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.989799976348877,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/systems-modeling-language","display_name":"Systems Modeling Language","score":0.7929999828338623},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5748000144958496},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5478000044822693},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.44020000100135803},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.42590001225471497},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.40959998965263367},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.35519999265670776},{"id":"https://openalex.org/keywords/business-system-planning","display_name":"Business system planning","score":0.33739998936653137}],"concepts":[{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.7929999828338623},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.753600001335144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6215000152587891},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5748000144958496},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5478000044822693},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5410000085830688},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.44020000100135803},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.42590001225471497},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.40959998965263367},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36079999804496765},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C18465707","wikidata":"https://www.wikidata.org/wiki/Q5001797","display_name":"Business system planning","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C19527686","wikidata":"https://www.wikidata.org/wiki/Q1665453","display_name":"System integration","level":2,"score":0.3203999996185303},{"id":"https://openalex.org/C110963975","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"Systems modeling","level":2,"score":0.3165000081062317},{"id":"https://openalex.org/C138824270","wikidata":"https://www.wikidata.org/wiki/Q3318162","display_name":"Enterprise modelling","level":4,"score":0.31200000643730164},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3082999885082245},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C2780330621","wikidata":"https://www.wikidata.org/wiki/Q7936609","display_name":"Visual modeling","level":4,"score":0.303600013256073},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.29019999504089355},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2750000059604645},{"id":"https://openalex.org/C87912763","wikidata":"https://www.wikidata.org/wiki/Q7663737","display_name":"System of systems","level":3,"score":0.27379998564720154},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.26649999618530273},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.263700008392334},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26260000467300415}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa65518.2025.11205663","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205663","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W2073935299","https://openalex.org/W2172113053","https://openalex.org/W2479648088","https://openalex.org/W2500721438","https://openalex.org/W2899310256","https://openalex.org/W2989165771","https://openalex.org/W3013985636","https://openalex.org/W3113472293","https://openalex.org/W4220673699","https://openalex.org/W4234385538","https://openalex.org/W4236279934","https://openalex.org/W4285117727","https://openalex.org/W4285814199","https://openalex.org/W4288956373","https://openalex.org/W4310972694","https://openalex.org/W4312431117","https://openalex.org/W4318966508","https://openalex.org/W4319337611","https://openalex.org/W4382866947","https://openalex.org/W4387567137","https://openalex.org/W4388552006","https://openalex.org/W4399728954","https://openalex.org/W4403447460","https://openalex.org/W4405587450"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,78,105,125],"SysML":[4,63],"profile":[5,48],"that":[6],"enables":[7],"the":[8,16,52,73,76],"direct":[9],"integration":[10],"of":[11,57,75,120],"planning":[12,121,133],"semantics":[13],"based":[14],"on":[15],"Planning":[17],"Domain":[18],"Definition":[19],"Language":[20],"(PDDL)":[21],"into":[22],"system":[23,80,129],"models.":[24],"Reusable":[25],"stereotypes":[26],"are":[27,100],"defined":[28],"for":[29],"key":[30],"PDDL":[31,58,97,106],"concepts":[32],"such":[33],"as":[34,102],"types,":[35],"predicates,":[36],"functions":[37],"and":[38,87,93,117,123,131],"actions,":[39],"while":[40],"formal":[41],"OCL":[42],"constraints":[43],"ensure":[44],"syntactic":[45],"consistency.":[46],"The":[47,113],"was":[49],"derived":[50],"from":[51,69],"Backus-Naur":[53],"Form":[54],"(BNF)":[55],"definition":[56],"3.1":[59],"to":[60,89,104,108],"align":[61],"with":[62,81],"modeling":[64,130],"practices.":[65],"A":[66],"case":[67],"study":[68],"aircraft":[70],"manufacturing":[71],"demonstrates":[72],"application":[74],"profile:":[77],"robotic":[79],"interchangeable":[82],"end":[83],"effectors":[84],"is":[85],"modeled":[86],"enriched":[88],"generate":[90],"both":[91],"domain":[92],"problem":[94],"descriptions":[95,122],"in":[96,134],"format.":[98],"These":[99],"used":[101],"input":[103],"solver":[107],"derive":[109],"optimized":[110],"execution":[111],"plans.":[112],"approach":[114],"supports":[115],"automated":[116],"model-based":[118],"generation":[119],"provides":[124],"reusable":[126],"bridge":[127],"between":[128],"AI":[132],"engineering":[135],"design.":[136]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-22T00:00:00"}