{"id":116,"date":"2018-09-11T10:56:40","date_gmt":"2018-09-11T10:56:40","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/?page_id=116"},"modified":"2018-09-11T10:56:40","modified_gmt":"2018-09-11T10:56:40","slug":"systemes-cyberphysiques","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/?page_id=116","title":{"rendered":"Syst\u00e8mes cyberphysiques"},"content":{"rendered":"<p><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" src=\"https:\/\/www.lix.polytechnique.fr\/Labo\/Sylvie.Putot\/SPutot.jpg\" width=\"160\" height=\"187\" \/><br \/>\n<a href=\"https:\/\/www.lix.polytechnique.fr\/Labo\/Sylvie.Putot\/\">Sylvie Putot<\/a>, <a href=\"https:\/\/www.lix.polytechnique.fr\/\">LIX<\/a>, Ecole Polytechnique<\/p>\n<p>L&#8217;interaction de composantes informatiques, qui calculent et communiquent, avec leur environnement r\u00e9gi par des lois physiques, comme pour un avion ou un syst\u00e8me m\u00e9dical implant\u00e9, est au centre du domaine \u00e9mergent des syst\u00e8mes cyber-physiques (CPS).<\/p>\n<p>Les syst\u00e8mes embarqu\u00e9s en sont naturellement une brique de base.<\/p>\n<p>Mais alors que les syst\u00e8mes embarqu\u00e9s traditionnels se concentrent essentiellement sur les aspects informatiques, cette conf\u00e9rence propose de s&#8217;attacher plus particuli\u00e8rement \u00e0 l&#8217;interface entre le monde discret informatique et le monde physique continu.<\/p>\n<p>Ma\u00eetriser la mod\u00e9lisation, l&#8217;analyse et le contr\u00f4le du comportement de tels syst\u00e8mes est crucial pour permettre dans le futur d&#8217;am\u00e9liorer l&#8217;efficacit\u00e9, les fonctionnalit\u00e9s, et d&#8217;assurer la fiabilit\u00e9 de ces syst\u00e8mes, toujours plus complexes et souvent critiques en terme de s\u00e9curit\u00e9 ou de co\u00fbt. J&#8217;\u00e9voquerai en particulier des travaux r\u00e9cents sur l&#8217;analyse d&#8217;atteignabilit\u00e9 des syst\u00e8mes dits hybrides r\u00e9sultant de cette interaction.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Sylvie Putot, LIX, Ecole Polytechnique L&#8217;interaction de composantes informatiques, qui calculent et communiquent, avec leur environnement r\u00e9gi par des lois physiques, comme pour un avion ou un syst\u00e8me m\u00e9dical implant\u00e9, est au centre du domaine \u00e9mergent des syst\u00e8mes cyber-physiques (CPS). Les syst\u00e8mes embarqu\u00e9s en sont naturellement une brique de base. Mais alors que les syst\u00e8mes [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-116","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages\/116","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=116"}],"version-history":[{"count":2,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages\/116\/revisions"}],"predecessor-version":[{"id":121,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages\/116\/revisions\/121"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=116"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}