• 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“, Yong Kiam Tan, Stefan Mitsch and 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“, Alberto Bemporad, Francesco Borrelli and Manfred Morari, 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“, Yong Kiam Tan, Stefan Mitsch and André Platzer
    Honorable mentions:
    • Necessary and Sufficient Conditions for TemplateDependent Ordering of PathComplete Lyapunov Methods“, VirginieDebauche, Matteo Della Rossa and Raphaël Jungers
    • A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence“, Gabriel Gleizer, Khushraj Madnani and Manuel Mazo Jr.
  • Best Demo/Poster: All demos and posters accepted for presentation at HSCC’22 will be eligible for the best demo/poster award.
    Winner: DataDriven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees“, Abolfazl Lavaei, Luigi Di Lillo, Margherita Atzei, Andrea Censi and Emilio Frazzoli