{"id":3145,"date":"2025-02-11T13:41:43","date_gmt":"2025-02-11T12:41:43","guid":{"rendered":"https:\/\/it.ai-matters.eu\/?post_type=product&#038;p=3145"},"modified":"2026-05-12T23:38:38","modified_gmt":"2026-05-12T21:38:38","slug":"mbse-solutions-with-automated-reasoning-for-industrial-innovation","status":"publish","type":"product","link":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/","title":{"rendered":"MBSE solutions with automated reasoning for industrial innovation"},"content":{"rendered":"<p>This service aims at integrating model-based automated reasoning and formal methods in the specification and design of complex industrial systems, facilitating innovative solutions in manufacturing.<br \/>\n The use of automated reasoning enables the design of systems that are faster, more efficient, and capable of making autonomous decisions, reducing design errors and optimizing production processes.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This service aims at integrating model-based automated reasoning and formal methods in the specification and design of complex industrial systems, facilitating innovative solutions in manufacturing. The use of automated reasoning enables the design of systems that are faster, more efficient, and capable of making autonomous decisions, reducing design errors and optimizing production processes.<\/p>\n","protected":false},"featured_media":6905,"comment_status":"open","ping_status":"closed","template":"","meta":{"_acf_changed":false},"product_brand":[],"product_cat":[181,175],"product_tag":[133],"class_list":{"0":"post-3145","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-complex-systems","7":"product_cat-other-emerging-and-enabling-technologies","8":"product_tag-italy","10":"first","11":"instock","12":"shipping-taxable","13":"product-type-simple"},"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>MBSE solutions with automated reasoning for industrial innovation - AI Matters<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"MBSE solutions with automated reasoning for industrial innovation - AI Matters\" \/>\n<meta property=\"og:description\" content=\"This service aims at integrating model-based automated reasoning and formal methods in the specification and design of complex industrial systems, facilitating innovative solutions in manufacturing. The use of automated reasoning enables the design of systems that are faster, more efficient, and capable of making autonomous decisions, reducing design errors and optimizing production processes.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/\" \/>\n<meta property=\"og:site_name\" content=\"AI Matters\" \/>\n<meta property=\"article:modified_time\" content=\"2026-05-12T21:38:38+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"1047\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/\",\"url\":\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/\",\"name\":\"MBSE solutions with automated reasoning for industrial innovation - AI Matters\",\"isPartOf\":{\"@id\":\"https:\/\/it.ai-matters.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner-32.jpg\",\"datePublished\":\"2025-02-11T12:41:43+00:00\",\"dateModified\":\"2026-05-12T21:38:38+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#primaryimage\",\"url\":\"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner-32.jpg\",\"contentUrl\":\"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner-32.jpg\",\"width\":1920,\"height\":1047,\"caption\":\"Image Banner\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\/\/it.ai-matters.eu\/en\/who-we-are\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Boutique\",\"item\":\"https:\/\/it.ai-matters.eu\/boutique\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"MBSE solutions with automated reasoning for industrial innovation\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/it.ai-matters.eu\/en\/#website\",\"url\":\"https:\/\/it.ai-matters.eu\/en\/\",\"name\":\"AI Matters\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/it.ai-matters.eu\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/it.ai-matters.eu\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/it.ai-matters.eu\/en\/#organization\",\"name\":\"AI Matters\",\"url\":\"https:\/\/it.ai-matters.eu\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/it.ai-matters.eu\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2023\/03\/Ai-matters-logo.png\",\"contentUrl\":\"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2023\/03\/Ai-matters-logo.png\",\"width\":1221,\"height\":699,\"caption\":\"AI Matters\"},\"image\":{\"@id\":\"https:\/\/it.ai-matters.eu\/en\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"MBSE solutions with automated reasoning for industrial innovation - AI Matters","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/","og_locale":"en_US","og_type":"article","og_title":"MBSE solutions with automated reasoning for industrial innovation - AI Matters","og_description":"This service aims at integrating model-based automated reasoning and formal methods in the specification and design of complex industrial systems, facilitating innovative solutions in manufacturing. The use of automated reasoning enables the design of systems that are faster, more efficient, and capable of making autonomous decisions, reducing design errors and optimizing production processes.","og_url":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/","og_site_name":"AI Matters","article_modified_time":"2026-05-12T21:38:38+00:00","og_image":[{"width":1920,"height":1047,"url":"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/","url":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/","name":"MBSE solutions with automated reasoning for industrial innovation - AI Matters","isPartOf":{"@id":"https:\/\/it.ai-matters.eu\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#primaryimage"},"image":{"@id":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#primaryimage"},"thumbnailUrl":"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner-32.jpg","datePublished":"2025-02-11T12:41:43+00:00","dateModified":"2026-05-12T21:38:38+00:00","breadcrumb":{"@id":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#primaryimage","url":"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner-32.jpg","contentUrl":"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2026\/04\/Service20ITA68EX20-20Image20Banner-32.jpg","width":1920,"height":1047,"caption":"Image Banner"},{"@type":"BreadcrumbList","@id":"https:\/\/it.ai-matters.eu\/en\/produit\/mbse-solutions-with-automated-reasoning-for-industrial-innovation\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/it.ai-matters.eu\/en\/who-we-are\/"},{"@type":"ListItem","position":2,"name":"Boutique","item":"https:\/\/it.ai-matters.eu\/boutique\/"},{"@type":"ListItem","position":3,"name":"MBSE solutions with automated reasoning for industrial innovation"}]},{"@type":"WebSite","@id":"https:\/\/it.ai-matters.eu\/en\/#website","url":"https:\/\/it.ai-matters.eu\/en\/","name":"AI Matters","description":"","publisher":{"@id":"https:\/\/it.ai-matters.eu\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/it.ai-matters.eu\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/it.ai-matters.eu\/en\/#organization","name":"AI Matters","url":"https:\/\/it.ai-matters.eu\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/it.ai-matters.eu\/en\/#\/schema\/logo\/image\/","url":"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2023\/03\/Ai-matters-logo.png","contentUrl":"https:\/\/it.ai-matters.eu\/wp-content\/uploads\/2023\/03\/Ai-matters-logo.png","width":1221,"height":699,"caption":"AI Matters"},"image":{"@id":"https:\/\/it.ai-matters.eu\/en\/#\/schema\/logo\/image\/"}}]}},"wpml_current_locale":"en_US","wpml_translations":{"it_IT":{"locale":"it_IT","id":3104,"slug":"soluzioni-mbse-con-automated-reasoning-per-linnovazione-industriale","post_title":"Soluzioni MBSE con automated reasoning per l'innovazione industriale","href":"https:\/\/it.ai-matters.eu\/produit\/soluzioni-mbse-con-automated-reasoning-per-linnovazione-industriale\/"}},"_links":{"self":[{"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/product\/3145","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/types\/product"}],"replies":[{"embeddable":true,"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/comments?post=3145"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/media\/6905"}],"wp:attachment":[{"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/media?parent=3145"}],"wp:term":[{"taxonomy":"product_brand","embeddable":true,"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/product_brand?post=3145"},{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/product_cat?post=3145"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/it.ai-matters.eu\/en\/wp-json\/wp\/v2\/product_tag?post=3145"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}