A Component-Based Approach to Hybrid Systems Safety Verification

Keyphrases

• Component-based Modeling 100%
• Hybrid System 100%
• Safety Verification 100%
• System Safety 100%
• Component-based Approach 100%
• Model Complexity 50%
• Component-based 50%
• Formal Verification 50%
• Large Animal Model 50%
• Reduced Model 50%
• Whole Systems 50%
• Verification Result 50%
• Partial Models 50%
• Guaranteed Contracts 50%
• Contract Compliance 50%
• Community Safety 50%
• Safety Properties 50%
• Overall System 50%
• Verification Approach 50%
• Verification of Hybrid Systems 50%
• Modeling Complexity 50%
• Component Safety 50%

Computer Science

• Model Complexity 100%
• Formal Verification 100%