Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

TL;DR

This paper presents recent advances in reachability analysis for hybrid systems, combining symbolic and numerical methods to improve verification and synthesis processes for complex dynamical systems.

Contribution

It introduces new methods integrating symbolic and numerical techniques for more effective reachability analysis in hybrid systems.

Findings

Enhanced algorithms for reachability computation

Improved verification accuracy for hybrid systems

New synthesis approaches for system safety

Abstract

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. This volume contains papers describing new developments in this area, which were presented at the 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis.