在网络物理系统（CPSs）中确保安全性是一项至关重要的挑战，尤其是在由于不确定性、建模误差或环境干扰而难以获得或无法完全信任系统模型的情况下。传统的基于模型的方法依赖于精确的系统动力学，而在现实世界场景中这些可能不可用。为了解决这一问题，我们提出了一种基于数据驱动的安全性验证框架，利用矩阵zonotope和屏障证书直接从噪声数据中验证系统安全性。而不是信任一个单一的不可靠模型，我们构建了一组模型，捕捉所有与观测数据一致的可能系统动态，从而确保真实系统模型始终包含在这个集合内。这个模型集通过矩阵zonotope紧凑地表示，使得不确定性传播的计算高效可行。通过将这种表示集成到屏障证书框架中，我们在不需要显式系统模型的情况下建立了严格的安全保障。数值实验展示了我们的方法在验证具有未知模型的动力系统安全性方面的有效性，展示了其在实际CPS应用中的潜力。

Ensuring safety in cyber-physical systems (CPSs) is a critical challenge, especially when system models are difficult to obtain or cannot be fully trusted due to uncertainty, modeling errors, or environmental disturbances. Traditional model-based approaches rely on precise system dynamics, which may not be available in real-world scenarios. To address this, we propose a data-driven safety verification framework that leverages matrix zonotopes and barrier certificates to verify system safety directly from noisy data. Instead of trusting a single unreliable model, we construct a set of models that capture all possible system dynamics that align with the observed data, ensuring that the true system model is always contained within this set. This model set is compactly represented using matrix zonotopes, enabling efficient computation and propagation of uncertainty. By integrating this representation into a barrier certificate framework, we establish rigorous safety guarantees without requiring an explicit system model. Numerical experiments demonstrate the effectiveness of our approach in verifying safety for dynamical systems with unknown models, showcasing its potential for real-world CPS applications.