Export Citations
1 Results
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,764,830 records)|Limit your search to The ACM Full-Text Collection (758,083 records)
Showing 1 - 1of1 Results
- research-articleOctober 2016
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
EMSOFT '16: Proceedings of the 13th International Conference on Embedded SoftwareArticle No.: 11, Pages 1–10https://doi.org/10.1145/2968478.2968484Benefit from less computational difficulty, barrier certificate based method has attracted much attention in safety verification of hybrid systems. Barrier certificates are inherent existences of a hybrid system and may have different types. A set of ...