Test-of-Time Award

Test-of-Time Award

The HSCC conference series, founded in a meeting in Grenoble after the HART’97 workshop, was a convergence of two trends. On one hand, researchers in formal verification of discrete systems where moving at the end of the eighties to timed systems where quantitative time was introduced, represented by additional clock variables and then started looking also at hybrid systems with continuous variables following more general dynamics. On the other hand, researchers in control where interested in using such models and verification techniques to analyze control systems that fall outside the traditional control models, as happens a lot in real implemented control systems. The first workshop took place in Berkeley in 1998. It has been 20 years since the first HSCC, and we feel that it is time to reflect on the papers published at HSCC that have had the most impact on the larger computer science and control theory/practice community.

The “HSCC Test-of-Time Award” is to recognize 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 award selection is through a committee of three internationally well-known and outstanding scientists who significantly contributed to the hybrid systems field and also to the HSCC organization. Details of the award and eligibility criteria and selection committee are as follows:

  1. The paper should be published at HSCC.
  2. For any given HSCC year, the paper can be published 10 or more years before. Thus, for HSCC 2018, papers published at and before HSCC 2008 would be eligible for the award.
  3. The award selection is through a three person committee that consists of past PC chairs or present or past members of the Steering Committee.
  4. The award selection committee has freedom to choose a paper that they deem to have passed the “test of time.” To help the award committee with some potential candidates, we will have also have a call for nominations to this award. The selection committee need not be restricted to selecting from the nominated papers, and can choose any paper for the award as long as it meets points 1. and 2. above.
  5. Members of the award committee for any given year, we would unfortunately have to disqualify your papers from being selected for the award for that year. We recognize that members of the selection committee will probably have more than a few papers that are worthy of being selected for this award, and hope that by keeping a rotating selection committee we can let such papers be considered for the award in future versions of HSCC.