arXiv Open Access 2013

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

Zhengfeng Yang Min Wu Wang Lin

Lihat Sumber

Abstrak

In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numeric method, based on SOS relaxation and interval arithmetic certification, is proposed to generate exact inequality invariants for safety verification of interval hybrid systems. As an application, an approach is provided to verify safety properties of non-polynomial hybrid systems. Experiments on the benchmark hybrid systems are given to illustrate the efficiency of our method.

Topik & Kata Kunci

cs.SC cs.SE

Penulis (3)

Zhengfeng Yang

Min Wu

Wang Lin

Format Sitasi

APA MLA BibTeX

Yang, Z., Wu, M., Lin, W. (2013). Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation. https://arxiv.org/abs/1302.5974

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓