Bounded verification with on-the-fly discrepancy computation

Keyphrases

• Discrepancy Function 100%
• Bounded Verification 100%
• Verification Algorithm 66%
• Divergence Rate 66%
• Under-approximation 66%
• Nonlinear Model 33%
• Hybrid System 33%
• Nonlinear Systems 33%
• Nonlinear Dynamical Systems 33%
• Benchmark Problems 33%
• Convergence Rate 33%
• Compositional Analysis 33%
• Jacobian 33%
• Model Annotation 33%
• Reach Set 33%
• Maximum Eigenvalue 33%
• Safety Guarantee 33%
• Coordinate Transformation Method 33%
• Local Estimates 33%
• Simulation Verification 33%
• Local Convergence Rate 33%
• Relative Completeness 33%
• Piecewise Exponential 33%
• Local Divergence 33%

Computer Science

• Approximation (Algorithm) 100%
• Dimensional System 50%
• Benchmark Problem 50%
• Coordinate Transformation 50%
• Dynamical System 50%
• Annotation 50%
• Soundness 50%
• Eigenvalue 50%
• Nonlinear Model 50%

Mathematics

• Discrepancy Function 100%
• Dimensional System 33%
• Running Time 33%
• Eigenvalue 33%
• Dynamical System 33%
• Nonlinear Model 33%
• Scale Problem 33%
• Local Convergence 33%
• Transformation Method 33%