ACM SIGBED HSCC Best Paper Award: All regular papers, including special track papers, will be automatically eligible for this award. Winner: “Verifying Switched System Stability With Logic“,YongKiamTan, StefanMitschand AndréPlatzer
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 will be published soon. Winner: “On the Optimal Control Law for Linear Discrete Time Hybrid Systems“,AlbertoBemporad, Francesco Borrelli and ManfredMorari, HSCC 2002
Repeatability Evaluation: Papers that pass repeatability evaluation process will receive the “artifact evaluated” badge and there will be a Best RE Award. Winner: “Verifying Switched System Stability With Logic“,YongKiamTan, StefanMitschand AndréPlatzer Honorable mentions:
“Necessary and Sufficient Conditions for Template–Dependent Ordering of Path–CompleteLyapunov Methods“, VirginieDebauche, Matteo Della Rossa and Raphaël Jungers
“A Simpler Alternative:Minimizing Transition Systems Modulo Alternating Simulation Equivalence“,GabrielGleizer,KhushrajMadnaniand ManuelMazoJr.
Best Demo/Poster: All demos and posters accepted for presentation at HSCC’22 will be eligible for the best demo/poster award. Winner: “Data–Driven Estimation of Collision Risks forAutonomous Vehicles with Formal Guarantees“,AbolfazlLavaei, Luigi Di Lillo, MargheritaAtzei, AndreaCensiand EmilioFrazzoli