• ACM SIGBED HSCC Best Paper Award: All regular papers, including special track papers, were automatically eligible for this award. The winner paper is:

    Ibón Gracia Merino, Dimitris Boskos, Luca Laurenti and Manuel Mazo Jr: Distributionally Robust Strategy Synthesis for Switched Stochastic Systems

    The paper is recognized for its rigorous development of satisfaction guarantees on a challenging problem, i.e., the problem of robust strategy synthesis for switched stochastic systems with uncertain distributions, which has not received much attention.

  • HSCC Test-Of-Time Award: 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 are published here. The winner is: 

    Goran Frehse: PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech

    The work by Goran is recognized for its outstanding contribution to the problem of reachability analysis and its continued relevance today. The PHAVer work sets the foundations for scaling up reachability analysis to systems of practical relevance, and, also, it sets the expectations of what is a good software artifact in formal verification. The PHAVer core algorithm is also included in the popular reachability analysis platform SpaceEx. In terms of quantifiable impact, the PHAVer work (HSCC publication and International Journal on Software Tools for Technology Transfer journal 2008 extension combined) has received 963 citations according to Google Scholar. The impact of SpaceEx paper (Computer Aided Verification 2011) is similar, with 1095 citations (which also includes citations for algorithms for hybrid systems with linear dynamics). In addition, several other reachability tools are based directly or indirectly on the theories and techniques developed for PHAVer. Prominently, 18 years later, PHAVer is still participating in the friendly competition for reachability analysis of hybrid systems with piecewise constant dynamics (see the 2022 report from International Workshop on Applied Verification of Continuous and Hybrid Systems on Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking).

    All in all, the committee believes that the PHAVer work exemplifies the desirable long-term impact and influence that papers coming out of the HSCC conference should have: solve an important problem in hybrid systems and develop software tools that are easy to use and extend.

  • Repeatability Evaluation: Papers that pass repeatability evaluation process received the “artifact evaluated” badge with a selection of two Best RE Awards:

    Hongkai Chen, Scott A. Smolka, Nicola Paoletti and Shan Lin: An STL-based Approach to Resilient Control for Cyber-Physical Systems

    Arvind Adimoolam, Indranil Saha and Thao Dang: Safe Self Triggered Control Based on Precomputed Reachability Sequences

  • Best Demo/Poster: All demos and posters accepted for presentation at HSCC’23 were eligible for the best demo/poster award. The winner is:

    Ashwani Anand, Satya Prakash Nayak and Anne-Kathrin Schmuck: Permissiveness for Strategy Adaptation