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

HUANG Cheng, LIN Wang

Journal of System Science and Mathematical Science Chinese Series ›› 2024

PDF(858 KB)
中国科学院数学与系统科学研究院期刊网
PDF(858 KB)
Journal of System Science and Mathematical Science Chinese Series ›› 2024 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 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(858 KB)

Accesses

Citation

Detail
Sections
Recommended

/

〈 〉