{"id":17726,"date":"2021-08-16T14:51:35","date_gmt":"2021-08-16T12:51:35","guid":{"rendered":"https:\/\/www.clearsy.com\/?post_type=recherche&#038;p=17726"},"modified":"2021-08-16T14:51:35","modified_gmt":"2021-08-16T12:51:35","slug":"discont","status":"publish","type":"recherche","link":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/","title":{"rendered":"DISCONT"},"content":{"rendered":"<p><a href=\"https:\/\/anr.fr\/\">ANR<\/a> has selected the project DISCONT (Correct Integration of DIScrete and CONTinous models) under the framework &#8220;appel \u00e0 projets g\u00e9n\u00e9rique 2017&#8221;.<\/p>\n<ul>\n<li><strong>DURATION<\/strong> : 42 months<\/li>\n<li><strong>PARTNERS<\/strong>: LORIA (leader), IRIT, <span class=\"couleur_bleu\"><strong>CLEARSY<\/strong><\/span>, LACL, TSP-SAMOVAR<\/li>\n<\/ul>\n<p><a href=\"https:\/\/discont.loria.fr\/\">DISCONT\u00a0<\/a> aims to provide efficient and easy to use refinement and proof-based techniques and tools that scale to complex systems and offer more convenient and automatic proof platforms centered around B and Event-B, with Atelier-B and Rodin. The main theoretical challenge is in how to better formalize the verification of the transition from the real to the discrete models, using refinement. The main technical challenge is in how best to extend\/integrate existing tools in order to better support the CPS engineers in the formal development process.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/discont-image-1024x674.jpg\" alt=\"\" width=\"640\" height=\"421\" class=\"aligncenter wp-image-17720 size-large\" srcset=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/discont-image-1024x674.jpg 1024w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/discont-image-300x197.jpg 300w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/discont-image-768x505.jpg 768w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/discont-image-1536x1010.jpg 1536w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/discont-image.jpg 1780w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/p>\n<p>We aim to bridge the gap between the discrete and continuous worlds of formal methods and control theory. We will lift the level of abstraction above that which is found in current bridging techniques. In order to achieve this, we propose to focus on 5 high-level objectives:<\/p>\n<ol>\n<li>develop a formal hybrid model;<\/li>\n<li>demonstrate refinement steps for different types of control requirements;<\/li>\n<li>propose a rational step-wise design method and support bf tools;<\/li>\n<li>validate the theory\/models, based on classic problems from the discrete controller corpus;<\/li>\n<li>validate the rational process, based on use cases from a range of application domains.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>ANR has selected the project DISCONT (Correct Integration of DIScrete and CONTinous models) under the framework &#8220;appel \u00e0 projets g\u00e9n\u00e9rique 2017&#8221;.<\/p>\n","protected":false},"featured_media":17727,"template":"","class_list":["post-17726","recherche","type-recherche","status-publish","has-post-thumbnail","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>DISCONT - CLEARSY<\/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:\/\/www.clearsy.com\/en\/research-and-development\/discont\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DISCONT - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"ANR has selected the project DISCONT (Correct Integration of DIScrete and CONTinous models) under the framework &quot;appel \u00e0 projets g\u00e9n\u00e9rique 2017&quot;.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-discont-en.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1954\" \/>\n\t<meta property=\"og:image:height\" content=\"1056\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/\",\"name\":\"DISCONT - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2021\\\/08\\\/projet-discont-en.jpg\",\"datePublished\":\"2021-08-16T12:51:35+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2021\\\/08\\\/projet-discont-en.jpg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2021\\\/08\\\/projet-discont-en.jpg\",\"width\":1954,\"height\":1056},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/discont\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research and development\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/research-and-development\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"DISCONT\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DISCONT - CLEARSY","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:\/\/www.clearsy.com\/en\/research-and-development\/discont\/","og_locale":"en_US","og_type":"article","og_title":"DISCONT - CLEARSY","og_description":"ANR has selected the project DISCONT (Correct Integration of DIScrete and CONTinous models) under the framework \"appel \u00e0 projets g\u00e9n\u00e9rique 2017\".","og_url":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/","og_site_name":"CLEARSY","og_image":[{"width":1954,"height":1056,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-discont-en.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/","url":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/","name":"DISCONT - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-discont-en.jpg","datePublished":"2021-08-16T12:51:35+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-discont-en.jpg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-discont-en.jpg","width":1954,"height":1056},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/discont\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Research and development","item":"https:\/\/www.clearsy.com\/en\/research-and-development\/"},{"@type":"ListItem","position":3,"name":"DISCONT"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/17726","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/recherche"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/17726\/revisions"}],"predecessor-version":[{"id":17729,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/17726\/revisions\/17729"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/17727"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=17726"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}