{"id":1343,"date":"2023-08-30T23:33:06","date_gmt":"2023-08-30T23:33:06","guid":{"rendered":"https:\/\/hscc.acm.org\/2024\/?page_id=1343"},"modified":"2023-08-30T23:53:23","modified_gmt":"2023-08-30T23:53:23","slug":"previous-hscc-editions","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2024\/previous-hscc-editions\/","title":{"rendered":"Past HSCC Conferences"},"content":{"rendered":"\n<div class=\"wp-block-themeisle-blocks-advanced-columns has-2-columns has-desktop-equal-layout has-tablet-equal-layout has-mobile-collapsedRows-layout has-default-gap has-vertical-unset\" id=\"wp-block-themeisle-blocks-advanced-columns-4838936f\"><div class=\"wp-block-themeisle-blocks-advanced-columns-overlay\"><\/div><div class=\"innerblocks-wrap\">\n<div class=\"wp-block-themeisle-blocks-advanced-column\" id=\"wp-block-themeisle-blocks-advanced-column-79f430c5\">\n<div class=\"wp-block-columns\">\n<div class=\"wp-block-column\" style=\"flex-basis:100%\">\n<figure class=\"wp-block-table\">\n<table>\n<tbody>\n<tr>\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/hscc.acm.org\/2023\/\" data-type=\"URL\" data-id=\"https:\/\/hscc.acm.org\/2023\/\" target=\"_blank\">HSCC 2023<\/a><\/td>\n<td>San Antonio, TX<\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/hscc.acm.org\/2022\/\" data-type=\"URL\" data-id=\"https:\/\/hscc.acm.org\/2022\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2022<\/a><\/td>\n<td>Milano<\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/hscc.acm.org\/2021\/\" data-type=\"URL\" data-id=\"https:\/\/hscc.acm.org\/2021\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2021<\/a><\/td>\n<td>Nashville<\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/berkeleylearnverify.github.io\/HSCC_2020\/index.html\" data-type=\"URL\" data-id=\"https:\/\/berkeleylearnverify.github.io\/HSCC_2020\/index.html\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2020<\/a><\/td>\n<td>Syndey<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/hscc2019.eecs.umich.edu\/\" data-type=\"URL\" data-id=\"http:\/\/hscc2019.eecs.umich.edu\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2019<\/a><\/td>\n<td>Montreal<\/td>\n<\/tr>\n<tr>\n<td><a href=\"https:\/\/www.hscc2018.deib.polimi.it\" data-type=\"URL\" data-id=\"https:\/\/www.hscc2018.deib.polimi.it\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2018<\/a><\/td>\n<td>Porto<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/hscc2017.ece.illinois.edu\" data-type=\"URL\" data-id=\"http:\/\/hscc2017.ece.illinois.edu\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2017<\/a><\/td>\n<td>Pittsburgh, PA<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/2016.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2016.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2016<\/a><\/td>\n<td>Viena<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/2015.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2015.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2015<\/a><\/td>\n<td>Seattle, WA<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/2014.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2014.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2014<\/a><\/td>\n<td>Berlin<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/2013.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2013.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2013<\/a><\/td>\n<td>Philadelphia, PA<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/2012.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2012.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2012<\/a><\/td>\n<td>Beijing<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/hscc2011.cs.sunysb.edu\/\" data-type=\"URL\" data-id=\"http:\/\/hscc2011.cs.sunysb.edu\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2011<\/a><\/td>\n<td>Chicago, IL<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/hscc10.it.uu.se\/\" data-type=\"URL\" data-id=\"http:\/\/hscc10.it.uu.se\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2010<\/a><\/td>\n<td>Stockholm<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.informatik.uni-trier.de\/~ley\/db\/conf\/hybrid\/hscc2009.html\" data-type=\"URL\" data-id=\"http:\/\/www.informatik.uni-trier.de\/~ley\/db\/conf\/hybrid\/hscc2009.html\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2009<\/a><\/td>\n<td>San Francisco, CA<\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/www.hscc08.gatech.edu\/\" data-type=\"URL\" data-id=\"http:\/\/www.hscc08.gatech.edu\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2008<\/a><\/td>\n<td>St. Louis, MI<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/figure>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-themeisle-blocks-advanced-column\" id=\"wp-block-themeisle-blocks-advanced-column-17fd52c9\">\n<h5>Proceedings<\/h5>\n\n\n\n<p>Proceedings of past HSCC conferences are available through Springer-Verlag and the ACM Press.&nbsp;<a href=\"http:\/\/www.informatik.uni-trier.de\/%7Eley\/db\/conf\/hybrid\/\">Past proceedings<\/a>&nbsp;of HSCC are indexed on-line through the computer science publication database (DBLP).<\/p>\n\n\n\n<h5><br>Test-of-time Award Winners<\/h5>\n\n\n\n<ul><li><strong>2023:<\/strong> Goran Frehse.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/10.1007\/978-3-540-31954-2_17\" data-type=\"URL\" data-id=\"https:\/\/dl.acm.org\/doi\/10.1007\/978-3-540-31954-2_17\" target=\"_blank\">PHAVer: Algorithmic Verification of Hybrid Systems Past&nbsp;HyTech<\/a><\/li><li><strong>2022:<\/strong> Alberto&nbsp;Bemporad, Francesco Borrelli and Manfred&nbsp;Morari.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/3-540-45873-5_11\" target=\"_blank\">On the Optimal Control Law for Linear Discrete Time Hybrid Systems<\/a>. HSCC 2002.<\/li><li><strong>2021:<\/strong> Stephen Prajna&nbsp;and Ali Jadbabaie.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-540-24743-2_32\" target=\"_blank\">Safety verification of hybrid systems using barrier certificates<\/a>. HSCC 2004.<\/li><li><strong>2020:<\/strong> Ricardo Sanfelice, Rafal Goebel, and Andrew Teel.&nbsp;<a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/11730637_39\">A feedback control motivation for generalized solutions to hybrid systems<\/a>. HSCC 2006.<\/li><li><strong>2019:<\/strong> Thao Dang and Oded Maler.&nbsp;<a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/3-540-64358-3_34\">Reachability analysis via face lifting<\/a>. HSCC 1998.<\/li><li><strong>2018:<\/strong> Antoine Girard.&nbsp;<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=2153763\">Reachability of uncertain linear systems using zonotopes<\/a>. HSCC 2005.<\/li><\/ul>\n\n\n\n<h5>&nbsp;Recent HSCC Best Paper (BP) and Best Student Paper (BSP) Award Winners<\/h5>\n\n\n\n<ul><li><strong>2023: (BP)<\/strong> Ib\u00f3n&nbsp;Gracia&nbsp;Merino, Dimitris Boskos, Luca&nbsp;Laurenti&nbsp;and Manuel Mazo Jr.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3575870.3587127\" data-type=\"URL\" data-id=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3575870.3587127\" target=\"_blank\">Distributionally Robust Strategy Synthesis for&nbsp;Switched Stochastic Systems<\/a><\/li><li><strong>2022: (BP)&nbsp;<\/strong>Yong&nbsp;Kiam&nbsp;Tan, Stefan&nbsp;Mitsch&nbsp;and Andr\u00e9&nbsp;Platzer.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519541\" target=\"_blank\">Verifying Switched System Stability With Logic.<\/a><\/li><li><strong>2021: (BP) <\/strong>Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das and Armando Solar-Lezama.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456653\" target=\"_blank\">Verifiably Safe Exploration for End-to-End Reinforcement Learning.<\/a>&nbsp;<\/li><li><strong>2020: (BP) <\/strong>Guillaume&nbsp;Berger&nbsp;and Rapha\u00ebl Jungers.&nbsp;<a href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3365365.3382195\">Worst-case topological entropy and minimal data rate for state observation of switched linear systems<\/a>.<\/li><li><strong>2019: (BP)&nbsp;<\/strong>Guosong Yang, Joao Hespanha and Daniel Liberzon.&nbsp;<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3311815\">On topological entropy and stability of switched linear systems<\/a>.&nbsp;<\/li><li><strong>2018: (BP)&nbsp;<\/strong>Daniel Gburek and Christel Baier.&nbsp;<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3178139\">Bisimulations, logics, and trace distributions for stochastic systems with rewards<\/a>.&nbsp;<\/li><li><strong>2017: (BSP) <\/strong>Abraham Vinod, Baisravan Homchaudhuri and Meeko Oishi.&nbsp;<a href=\"http:\/\/dl.acm.org\/authorize?N24806\">Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms<\/a>.<\/li><li><strong>2016: (BSP) <\/strong>Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh and Xiaoqing Jin.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2883817.2883819\">Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software<\/a>.<\/li><li><strong>2015: (BSP) <\/strong>Sam Coogan, Murat Arcak.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2728606.2728607\">Efficient finite abstraction of mixed monotone systems<\/a>.<\/li><li><strong>2014: (BSP) <\/strong>Ayonga Hereid, Shishir Kolathaya, Mikhail S. Jones, Johnathan Van Why, Jonathan W. Hurst, and Aaron D. Ames.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2562059.2562143\">Dynamic multi-domain bipedal walking with atrias through slip based human-inspired control<\/a>.<\/li><li><strong>2013: (BP) <\/strong>Michael Posa, Mark Tobenkin, and Russ Tedrake.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2461328.2461340\">Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares<\/a>.<\/li><li><strong>2013: (BSP) <\/strong>Hongfei Fu.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2461328.2461376\">Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata<\/a>.<\/li><li><strong>2012: (BP) <\/strong>Rajeev Alur, Ashutosh Trivedi,and Dominik Wojtczak.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2185632.2185647\">Optimal Scheduling for Constant-Rate Multi-Mode System<\/a>.<\/li><\/ul>\n<\/div>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/template-fullwidth.php","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages\/1343"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/comments?post=1343"}],"version-history":[{"count":10,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages\/1343\/revisions"}],"predecessor-version":[{"id":1362,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages\/1343\/revisions\/1362"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/media?parent=1343"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}