26th ACM International Conference on Hybrid Systems: Computation and Control 9-12 May 2023  |  San Antonio, TX, USA

POSTPONED TO TENTATIVE DATES 14-16.09.2020 DUE TO COVID-19 PANDEMIC

As multi-agent systems become ubiquitous, the ability to satisfy multiple system-level constraints in these systems grows increasingly important. In applications ranging from automated cruise control to safety in robot swarms, barrier functions have emerged as a tool to provably meet such constraints by guaranteeing forward invariance of a set. However, satisfying multiple constraints typically implies formulating multiple barrier functions, bringing up the need to address the degree to which multiple barrier functions may be composed through Boolean logic.

December 1, 2017 | Munich, Germany Many engineers rely heavily on model-based design and control of complex cyber-physical systems. Of paramount importance is the ability to capture all central aspects of such systems in the models, including the physical behavior of the system components and the architecture description of its software and hardware.

The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/   Invited Speakers Cliff Jones (Newcastle University) Rupak Majumdar (Max Planck Institute for Software Systems) Sanjit Seshia (University of California, Berkeley) Program Chairs:

International Workshop on Methods and Tools for Distributed Hybrid Systems (DHA 2017) Associated with MFCS 2017

24th International Symposium on Temporal Representation and Reasoning (TIME 2017) Mons (Belgium) | 16-18 October 2017 | http://informatique.umons.ac.be/time2017/ Aims and scope

3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017) Affiliated with ETAPS 2017 Scope  Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems.

18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017) VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Scope