Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2017
- DOI:
- 10.48550/arXiv.1704.02421
- arXiv:
- arXiv:1704.02421
- Bibcode:
- 2017arXiv170402421A
- Keywords:
-
- Computer Science - Systems and Control;
- Computer Science - Logic in Computer Science;
- Computer Science - Numerical Analysis;
- Computer Science - Software Engineering
- E-Print:
- EPTCS 247, 2017