Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015

Editors: Sergiy Bogomolov and Ashish Tiwari

EPiC Series in Computing•Volume 37

6 articles•48 pages•Published: December 18, 2015

Papers

Symbolic-Numeric Reachability Analysis of Hybrid Systems

Sriram Sankaranarayanan

Page 1

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain

Yang Gao and Martin Fränzle

Pages 2-10

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis

Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo

Pages 11-22

A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels

Pages 23-31

An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary

Pavithra Prabhakar and Miriam García Soto

Pages 32-39

ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems

Fedor Shmarov and Paolo Zuliani

Pages 40-48

Keyphrases

abstract interpretation, abstraction refinement, Bounded Model Checking, constraint solving, ellipsoidal representation, hybrid system³, interval arithmetics, model checking, Nonstandard Analysis, Quantitative abstractions, reachability analysis³, Satisfiability Modulo Theory, stability analysis, stochastic hybrid system, Stochastic Satisfiability Modulo Theory, support function representation, Symbolic Analysis, viability theory