Safe Neighborhood Computation for Hybrid System Verification

TL;DR

This paper introduces a simulation-based method for the formal verification of hybrid systems, addressing the complexity challenges inherent in hybrid dynamics to improve safety analysis.

Contribution

It presents a novel simulation-based approach for verifying hybrid systems, enhancing the ability to detect safety issues early in complex system designs.

Findings

Effective verification of hybrid systems demonstrated

Early detection of safety issues possible

Method applicable to complex hybrid dynamics

Abstract

For the design and implementation of engineering systems, performing model-based analysis can disclose potential safety issues at an early stage. The analysis of hybrid system models is in general difficult due to the intrinsic complexity of hybrid dynamics. In this paper, a simulation-based approach to formal verification of hybrid systems is presented.