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

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
Publication date:December 18, 2015

Papers

AuthorsTitlePagesPDF
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 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

CountKeyphrase
3hybrid system, reachability analysis
1abstract interpretation, abstraction refinement, bounded model checking, constraint solving, ellipsoidal representation, interval arithmetics, model checking, nonstandard analysis, quantitative abstractions, satisfiability modulo theory, stability analysis, stochastic hybrid system, stochastic satisfiability modulo theory, support function representation, symbolic analysis, viability theory