Amin, S., Abate, A., Prandini, M., Lygeros, J., Sastry, S.
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
In: Hespanha, J.P., Tiwari, A. (eds) Hybrid Systems: Computation and Control. HSCC 2006. Lecture Notes in Computer Science, vol 3927. Springer, Berlin, Heidelberg.
Call for Nominations
The HSCC 2024 organizers are soliciting nominations for the HSCC Test-of-Time Award to recognize the work published at a Hybrid Systems: Computation and Control (HSCC) conference in 2014 or before, which 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. The decision to attribute the award and the choice of the awardee is at the sole discretion of the selection committee, which will carefully consider the nominated papers.
Deadline for nominating papers for the award: February 29, 2024
Email address for submitting nominations: srirams@colorado.edu (subject line: HSCC 2024 Test of Time Award Nomination).
Background
The HSCC conference series, founded in a meeting in Grenoble after the HART’97 workshop, was a convergence of two trends. On one hand, at the end of the 80s, researchers in formal verification of discrete systems were exploring timed systems represented by additional clock variables, and then started branching into systems with more complex continuous dynamics as in hybrid systems. On the other hand, researchers in control were interested in using such models and verification techniques to analyze control systems that fall outside the traditional control system models, capturing the essence of real implemented control systems. The first workshop on Hybrid Systems: Computation and Control took place in 1998 at Berkeley.
This award was initiated at the 20th anniversary of HSCC in 2018 to reflect on the papers published at HSCC that have had the most impact on the larger computer science and control theory/practice community.
Previous award winners can be found on the Past HSCC Conferences page.
Eligibility Rules
The paper should have been published at an HSCC conference, in 2014 or before.
The paper cannot be co-authored by any person on the selection committee.
Nomination Rules and Procedure
Anyone but members of the selection committee can submit a nomination.
Nominators cannot nominate papers on which they are a co-author.
The members of the selection committee are allowed to solicit nominations.
To nominate a paper, please send an email to the HSCC 2024 Awards Chair Sriram Sankaranarayanan(srirams@colorado.edu subject: HSCC 2024 Test of Time Award Nomination) containing the following pieces of information (approximately 500 words overall):
- The title of the paper, the full list of authors, and the year of publication.
- A paragraph describing the larger context in which the work is of relevance and explaining the importance of the work to the community.
- A second paragraph indicating the strength of the technical or experimental results, and providing some quantifiable metrics (such as number of citations as measured by Google Scholar) as a measure of the impact of the paper. Subjective evidence of the impact is also accepted.
Selection Committee:
The selection committee for this year’s award is composed of the following distinguished members:
-
Goran Frehse, ENSTA Paris
-
Meeko Oishi, University of New Mexico, USA.
-
Pavithra Prabhakar, Kansas State University and the US National Science Foundation, USA.
Award Details:
The authors of the awarded paper will be notified by the middle of April. There is a cash prize of US$ 1500 associated with the award kindly sponsored by Toyota.
Questions/Comments:
Please email Sriram Sankaranarayanan (HSCC 2024 Awards Chair).