{"id":135,"date":"2020-07-31T14:24:33","date_gmt":"2020-07-31T14:24:33","guid":{"rendered":"https:\/\/hscc.acm.org\/2021v2\/?page_id=135"},"modified":"2022-06-13T07:25:45","modified_gmt":"2022-06-13T07:25:45","slug":"awards","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2022\/awards\/","title":{"rendered":"Awards"},"content":{"rendered":"\n
<\/div>
\n
\n
    \n
  • ACM SIGBED HSCC Best Paper Award:<\/strong> All regular papers, including special track papers, will be automatically eligible for this award.
    Winner:\u00a0 <\/strong><\/em>“<\/span>Verifying Switched System Stability With Logic<\/span>“,<\/em> <\/strong><\/em>Yong<\/span> <\/span>Kiam<\/span> <\/span>Tan, Stefan<\/span> <\/span>Mitsch<\/span> <\/span>and Andr\u00e9<\/span> <\/span>Platzer<\/span>
    <\/span><\/li>\n
  • HSCC Test-Of-Time Award:<\/strong> This award recognizes the work that has proven to be the most visionary and impactful, leading to new directions of research being initiated, or new applications being brought into the hybrid systems research community. The call for nominations and eligibility criteria will be published soon.
    Winner: <\/strong>“On the Optimal Control Law for Linear Discrete Time Hybrid Systems<\/span>“,<\/em> Alberto<\/span> <\/span>Bemporad<\/span>, Francesco Borrelli and Manfred<\/span> <\/span>Morari<\/span>,<\/span> HSCC 2002
    <\/strong><\/em><\/span><\/li>\n
  • Repeatability Evaluation:<\/strong>\u00a0Papers that pass repeatability evaluation process will receive the \u201cartifact evaluated\u201d badge and there will be a Best RE Award.
    Winner: <\/em><\/strong>“<\/span>Verifying Switched System Stability With Logic<\/span>“,<\/em> <\/strong><\/em>Yong<\/span> <\/span>Kiam<\/span> <\/span>Tan, Stefan<\/span> <\/span>Mitsch<\/span> <\/span>and Andr\u00e9<\/span> <\/span>Platzer
    <\/span>Honorable mentions: <\/strong><\/em>\n
      \n
    • “Necessary and <\/span>Sufficient Conditions for Template<\/span>–<\/span>Dependent Ordering of Path<\/span>–<\/span>Complete<\/span> Lyapunov Methods<\/span>“, <\/em>Virginie<\/span>Debauche<\/span>, Matteo Della Rossa and Rapha\u00ebl Jungers<\/span><\/em>
      <\/span><\/li>\n
    • “A Simpler Alternative:<\/span> Minimizing Transition Systems Modulo Alternating Simulation Equivalence<\/span>“,<\/em> <\/span>Gabriel<\/span> <\/span>Gleizer<\/span>,<\/span> <\/span>Khushraj<\/span> <\/span>Madnani<\/span> <\/span>and Manuel<\/span> <\/span>Mazo<\/span> <\/span>Jr.<\/span><\/li>\n<\/ul>\n<\/li>\n
    • Best Demo\/Poster:<\/strong> All demos and posters accepted for presentation at HSCC\u201922 will be eligible for the best demo\/poster award.
      Winner: <\/strong>“Data<\/span>–<\/span>Driven Estimation of Collision Risks for<\/span> Autonomous Vehicles with Formal Guarantees<\/span>“,<\/em> Abolfazl<\/span> <\/span>Lavaei<\/span>, Luigi Di Lillo, Margherita<\/span> <\/span>Atzei<\/span>, Andrea<\/span> <\/span>Censi<\/span> <\/span>and <\/span>Emilio<\/span> <\/span>Frazzoli<\/span>
      <\/span><\/li>\n<\/ul>\n
        <\/ul>\n<\/div>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/135"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/comments?post=135"}],"version-history":[{"count":15,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/135\/revisions"}],"predecessor-version":[{"id":1278,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/135\/revisions\/1278"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/media?parent=135"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}