HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

SNR 2015: Volume Information

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
1
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
Yang Gao and Martin Fränzle
2-10
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo
11-22
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
Ian M. Mitchell
23-31
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
Pavithra Prabhakar and Miriam García Soto
32-39
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Fedor Shmarov and Paolo Zuliani
40-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.

Copyright © 2012-2025 easychair.org. All rights reserved.