{"id":3177,"date":"2026-09-15T11:12:28","date_gmt":"2026-09-15T14:12:28","guid":{"rendered":"https:\/\/icc.fcen.uba.ar\/?p=3177"},"modified":"2026-09-15T11:12:28","modified_gmt":"2026-09-15T14:12:28","slug":"reasoning-about-hybrid-assumptions-in-assured-temporal-missions","status":"publish","type":"post","link":"https:\/\/icc.fcen.uba.ar\/en\/reasoning-about-hybrid-assumptions-in-assured-temporal-missions\/","title":{"rendered":"Reasoning About Hybrid Assumptions in Assured Temporal Missions"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:1144px;margin-left: calc(-4% \/ 2 );margin-right: calc(-4% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.92%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:1.92%;--awb-spacing-left-medium:1.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:1.92%;--awb-spacing-left-small:1.92%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\"><p>Authors: Juan Felipe Perdomo, Victor Braberman, Sebasti\u00e1n Zudaire, Sebasti\u00e1n Uchitel.<\/p>\n<p>Abstract: Temporal mission specifications, together with efficient controller synthesis techniques, enable the vision of effective and assured adaptation of robotic behavior to new missions. However, the assurances provided by controller synthesis can be misleading. Temporal mission specifications adopt a discrete view of the world \u2014through propositional variables or discrete events\u2014 while the synthesised controllers ultimately rely on lower-level robotic implementation layers, including control feedback loops and hardware, that interact with continuous physical phenomena.<br \/>\nIn this paper, we present a specification framework that allows capturing explicitly the hybrid assumptions linking discrete and continuous domains. We also formalize a soundness relation between discrete mission goals, hybrid assumptions, and continuous mission goals which provides a rigorous foundation for end-to-end reasoning about missions. Making hybrid assumption explicit supports pre-deployment validation and runtime monitoring but also mitigation of and recovery from hybrid assumption violations. We apply this specification framework to four case studies from the literature making explicit hidden hybrid assumptions to achieve mission soundness, discuss their validity, and the related adaptation strategies that they can inspire.<\/p>\n<p>More information:\u00a0<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3788550.3794878\" target=\"_blank\" rel=\"noopener\">https:\/\/dl.acm.org\/doi\/10.1145\/3788550.3794878<\/a><\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":9,"featured_media":3178,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[98],"tags":[],"class_list":["post-3177","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-papers"],"_links":{"self":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/3177","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/comments?post=3177"}],"version-history":[{"count":1,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/3177\/revisions"}],"predecessor-version":[{"id":3179,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/posts\/3177\/revisions\/3179"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media\/3178"}],"wp:attachment":[{"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/media?parent=3177"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/categories?post=3177"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/icc.fcen.uba.ar\/en\/wp-json\/wp\/v2\/tags?post=3177"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}