Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2018.2858383
Abstract: 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… read more here.
Keywords: verification nonlinear; hybrid systems; safety verification; verification ... See more keywords