Hybrid Systems: Computation and Control

home

Introduction

HSCC is a series of successful annu

al meetings dedicated to research in embedded reactive systems involving the interplay between symbolic/discrete and continuous behaviors. Academic as well industrial researchers are invited to exchange information on the latest developments of applications and theoretical advancements in the analysis, control, optimization, and implementation of hybrid systems.

HSCC conferences are held each year as a part of the Cyber Physical Systems Week (CPSWeek) which is the collocated cluster of four conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Symposium), IPSN (International Conference on Information Processing in Sensor Networks), ICCPS (International Conference on Cyber-Physical Systems) and several workshops.

Through CPSWeek, the four major events will have a shared registration process, joint invited speakers and poster sessions, and joint social events. The previous editions of HSCC were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004), Zurich, Switzerland (2005), Santa Barbara, USA (2006), Pisa, Italy (2007), St. Louis, USA (2008), San Francisco, USA (2009), Stockholm, Sweden (2010), Chicago, USA (2011), Beijing, China (2012), Philadelphia, USA (2013), Berlin, Germany (2014), Seattle, USA (2015), Vienna, Austria (2016), Pittsburgh, USA (2017), Porto, Portugal (2018), Montreal, Canada (2019), Sydney, Australia (2020) (held virtually), Nashville, Tennessee (2021) (held virtually).

The upcoming edition will be HSCC 2022 in Milan, Italy.

Proceedings

Proceedings of past HSCC conferences are available through Springer-Verlag and the ACM Press. Past proceedings of HSCC are indexed on-line through the computer science publication database (DBLP).

Test-of-time Award Winners

2022: Alberto Bemporad, Francesco Borrelli and Manfred Morari. On the Optimal Control Law for Linear Discrete Time Hybrid Systems. HSCC 2002.
2021: Stephen Prajna and Ali Jadbabaie. Safety verification of hybrid systems using barrier certificates. HSCC 2004.
2020: Ricardo Sanfelice, Rafal Goebel, and Andrew Teel. A feedback control motivation for generalized solutions to hybrid systems. HSCC 2006.
2019: Thao Dang and Oded Maler. Reachability analysis via face lifting. HSCC 1998.
2018: Antoine Girard. Reachability of uncertain linear systems using zonotopes. HSCC 2005.

Recent HSCC Best Paper (BP) and Best Student Paper (BSP) Award Winners

2022: (BP)
Yong Kiam Tan, Stefan Mitsch and André Platzer. Verifying Switched System Stability With Logic.
2021: (BP) Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das and Armando Solar-Lezama. Verifiably Safe Exploration for End-to-End Reinforcement Learning.
2020: (BP) Guillaume Berger
and Raphaël Jungers. Worst-case topological entropy and minimal data rate for state observation of switched linear systems.
2019: (BP)
Guosong Yang, Joao Hespanha and Daniel Liberzon. On topological entropy and stability of switched linear systems.
2018: (BP) Daniel Gburek and Christel Baier. Bisimulations, logics, and trace distributions for stochastic systems with rewards.
2017: (BSP) Abraham Vinod, Baisravan Homchaudhuri and Meeko Oishi. Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms.
2016: (BSP) Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh and Xiaoqing Jin. Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
2015: (BSP) Sam Coogan, Murat Arcak. Efficient finite abstraction of mixed monotone systems.
2014: (BSP) Ayonga Hereid, Shishir Kolathaya, Mikhail S. Jones, Johnathan Van Why, Jonathan W. Hurst, and Aaron D. Ames. Dynamic multi-domain bipedal walking with atrias through slip based human-inspired control.
2013: (BP) Michael Posa, Mark Tobenkin, and Russ Tedrake. Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares.
2013: (BSP) Hongfei Fu. Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata.
2012: (BP) Rajeev Alur, Ashutosh Trivedi,and Dominik Wojtczak. Optimal Scheduling for Constant-Rate Multi-Mode System.

Conference Topics

HSCC conference invites submissions in all areas pertaining to the analysis, design, control, optimization, implementation, and applications of hybrid dynamical systems. Topics of interest include, but are not limited to:

Models of heterogeneous systems
Computability and complexity issues
Real-time computing and control
Embedded and resource-aware control
Computation and control over wireless networks
Mobile robotic networks
Tools for analysis, verification, control, and design
Programming languages support and implementation
Engineering Applications including automotive, communication networks, avionics, energy systems, transportation networks.
Applications to biology and other sciences
Manufacturing and robotics.

Steering Committee

Current steering committee members are:

Alessandro Abate, University of Oxford, UK.
Thao Dang, Verimag, France.
Martin Franzle, University of Oldenburg, Germany.
Radu Grosu, TU Wien, Austria.
Sayan Mitra, University of Illinois, USA.
Paulo Tabuada, University of California Los Angeles, USA.
Claire Tomlin, University of California Berkeley, USA.