{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T22:56:22Z","timestamp":1778885782326,"version":"3.51.4"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,12]],"date-time":"2024-05-12T00:00:00Z","timestamp":1715472000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,12]],"date-time":"2024-05-12T00:00:00Z","timestamp":1715472000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,12]]},"DOI":"10.1109\/icps59941.2024.10640039","type":"proceedings-article","created":{"date-parts":[[2024,8,26]],"date-time":"2024-08-26T17:24:30Z","timestamp":1724693070000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Plan-Based Derivation of General Functional Structures in Product Design"],"prefix":"10.1109","author":[{"given":"Philipp","family":"Rosenthal","sequence":"first","affiliation":[{"name":"Helmut Schmidt University,Professorship Computer Science in Mechanical Engineering,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niels","family":"Demke","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Professorship for Machine Elements and Computer Aided Product Design,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Mantwill","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Professorship for Machine Elements and Computer Aided Product Design,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Professorship Computer Science in Mechanical Engineering,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Design space exploration as quantified satisfaction","author":"Feldman","year":"2021","journal-title":"arXiv:1905.02303"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3139\/9783446449084"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-319-2"},{"key":"ref4","article-title":"VDI-Richtlinie 2221 neu: Entwicklung technischer Produkte und Systeme","year":"2019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-80417-5"},{"key":"ref6","article-title":"Vdi\/vde-richtilinie 3682: Formalisierte prozess-beschreibungen","year":"2005"},{"issue":"4","key":"ref7","first-page":"26","article-title":"Design prototypes: A knowledge representation schema for design","volume":"11","author":"Gero","year":"1990","journal-title":"AI Magazine"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17466-7"},{"key":"ref9","volume-title":"Artificial intelligence: A modern approach","author":"Russell"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060402165024"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060408000103"},{"key":"ref12","article-title":"A framework for describing functions in design","volume-title":"DS 70: Proceedings of DESIGN 2012 the 12th International Design Conference, Dubrovnik, Croatia","author":"Srinivasan"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400001608"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10446-0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2021.05.091"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400001621"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/09544828.2016.1258459"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/dsi.2019.177"},{"key":"ref19","article-title":"Semantic and qualitative physics-based formal reasoning for functional decomposition in mechanical design","author":"Mao","year":"2019","journal-title":"B.S. in Safety Engineering"}],"event":{"name":"2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS)","location":"St. Louis, MO, USA","start":{"date-parts":[[2024,5,12]]},"end":{"date-parts":[[2024,5,15]]}},"container-title":["2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10639954\/10639940\/10640039.pdf?arnumber=10640039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:50:39Z","timestamp":1725515439000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10640039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icps59941.2024.10640039","relation":{},"subject":[],"published":{"date-parts":[[2024,5,12]]}}}