Verification of annotated models from executions

Keyphrases

• Discrepancy Function 100%
• Trajectory Convergence 100%
• Popular 50%
• System Design 50%
• Divergence 50%
• Control Mode 50%
• Embedded Systems 50%
• Lyapunov Function 50%
• Relatively Complete 50%
• Verification Framework 50%
• Long Time Horizon 50%
• Prototyping Tools 50%
• Verification Tool 50%
• Modeling Environment 50%
• Switched Systems 50%
• Verification Method 50%
• Convergence-divergence 50%
• Simulink Stateflow 50%
• Formal Guarantees 50%
• Nonlinear Switched Systems 50%
• Simulation Verification 50%
• Contraction Metric 50%

Computer Science

• Switched Systems 100%
• Dimensional System 50%
• Embedded Systems 50%
• Unknown Parameter 50%
• Annotation 50%
• Simulink 50%
• Lyapunov Function 50%
• Modeling Environment 50%