Construction of Barrier Certificates for Neural Network Controlled Systems Based on Polynomial Abstraction

HUANG Cheng, LIN Wang

Journal of Systems Science and Mathematical Sciences ›› 2024, Vol. 44 ›› Issue (5) : 1224-1240.

PDF(668 KB)
中国科学院数学与系统科学研究院期刊网
PDF(668 KB)
Journal of Systems Science and Mathematical Sciences ›› 2024, Vol. 44 ›› Issue (5) : 1224-1240. DOI: 10.12341/jssms23619CM

Construction of Barrier Certificates for Neural Network Controlled Systems Based on Polynomial Abstraction

    {{javascript:window.custom_author_en_index=0;}}
  • {{article.zuoZhe_EN}}
Author information +
History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}. Journal of System Science and Mathematical Science Chinese Series, 2024, 44(5): 1224-1240 https://doi.org/10.12341/jssms23619CM

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}
{{article.copyrightLicense_en}}
PDF(668 KB)

Accesses

Citation

Detail
Sections
Recommended

/

〈 〉