SNR 2015: Volume Information
Volume:Sergiy Bogomolov and Ashish Tiwari (editors).
Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015

Volume Information

Title:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Editors:Sergiy Bogomolov and Ashish Tiwari
Series:EPiC Series in Computing
Volume:37
Pages:48
Publication date:December 18, 2015

Papers

AuthorsTitlePages
Sriram SankaranarayananSymbolic-Numeric Reachability Analysis of Hybrid Systems1
Yang Gao and Martin FränzleVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain2-10
Kengo Kido, Swarat Chaudhuri and Ichiro HasuoAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis11-22
Ian M. MitchellA Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels23-31
Pavithra Prabhakar and Miriam García SotoAn Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary32-39
Fedor Shmarov and Paolo ZulianiProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems40-48

Keyphrases

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