The Community for Technology Leaders
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) (2016)
Vienna, Austria
April 11, 2016 to April 11, 2016
ISBN: 978-1-5090-3079-8
TABLE OF CONTENTS

Front cover (PDF)

pp. 1

Copyright (PDF)

pp. 1

Accurate rigorous simulation should be possible for good designs (Abstract)

Adam Duracz , Halmstad University, Halmstad, Sweden
Ferenc A. Bartha , Rice University, Houston TX, USA
Walid Taha , Halmstad University, Halmstad, Sweden
pp. 1-10

Control of nonlinear switched systems based on validated simulation (Abstract)

Adrien Le Coent , CNRS, Universite Paris-Saclay, France
Julien Alexandre dit Sandretto , ENSTA ParisTech, Universite Paris-Saclay, France
Alexandre Chapoutot , ENSTA ParisTech, Universite Paris-Saclay, France
Laurent Fribourg , CNRS, Universite Paris-Saclay, France
pp. 1-6

Software certification of airborne cyber-physical systems under DO-178C (Abstract)

Stylianos Basagiannis , United Technologies Research Centre, Cork, Ireland
pp. 1-6

Template complex zonotopes: a new set representation for verification of hybrid systems (Abstract)

Arvind S. Adimoolam , University of Grenoble/VERIMAG, 38610 Gieres, France
Thao Dang , CNRS/VERIMAG, 38610 Gieres, France
pp. 1-2

Computing ODE-barriers in hyper-rectangles (Abstract)

Stefan Ratschan , The Czech Academy of Sciences
pp. 1-6

CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions (Abstract)

Yang Gao , Universitat Oldenburg, Germany
Martin Franzle , Universitat Oldenburg, Germany
pp. 1-6

Configurable numerical analysis for stochastic systems (Abstract)

Kristof Marussy , Budapest University of Technology and Economics, Budapest, Hungary
Attila Klenik , Budapest University of Technology and Economics, Budapest, Hungary
Vince Molnar , MTA-BME Lendulet Cyber-Physical Systems Research Group, Budapest, Hungary
Andras Voros , MTA-BME Lendulet Cyber-Physical Systems Research Group, Budapest, Hungary
Miklos Telek , MTA-BME Information Systems Research Group, Budapest, Hungary
Istvan Majzik , Budapest University of Technology and Economics, Budapest, Hungary
pp. 1-10
95 ms
(Ver 3.3 (11022016))