SNR 2015:Keyword Index

Keyword	Papers
A
abstract interpretation	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
abstraction refinement	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
B
Bounded Model Checking	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
C
constraint solving	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
E
ellipsoidal representation	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
H
hybrid system	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
I
interval arithmetics	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
M
model checking	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
N
Nonstandard Analysis	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
Q
Quantitative abstractions	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
R
reachability analysis	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
S
Satisfiability Modulo Theory	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
stability analysis	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
stochastic hybrid system	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Stochastic Satisfiability Modulo Theory	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
support function representation	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
Symbolic Analysis	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
V
viability theory	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels