Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

In safety verification of hybrid systems, barrier certificates are generated by solving the verification conditions derived from non-negative representations of different types. This paper presents a new computational method, sequential linear programming projection, for directly solving the set of...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on computer-aided design of integrated circuits and systems 2018-11, Vol.37 (11), p.2768-2778
Hauptverfasser:	Zhang, Yifan, Yang, Zhengfeng, Lin, Wang, Zhu, Huibiao, Chen, Xin, Li, Xuandong
Format:	Artikel
Sprache:	eng
Schlagworte:	Barrier certificates Barriers Certificates Complexity Complexity theory Computation Embedded software Embedded systems Encoding formal verification Hybrid power systems Hybrid systems Iterative methods Linear programming Nonlinear systems Program verification (computers) Relaxation method (mathematics) Relaxation methods Safety sequential linear programming projection (SLPP) Thermostats
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!