文献
J-GLOBAL ID:202102288603398301
整理番号:21A0381863
不確定非線形ハイブリッドシステムの障壁証明書生成のための効率的フレームワーク【JST・京大機械翻訳】
An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
著者 (4件):
Yang Zhengfeng
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China)
,
Wu Min
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China)
,
Lin Wang
(School of Information Science and Technology, Zhejiang Sci-Tech University, Zhejiang 310018, China)
,
Lin Wang
(State Key Laboratory for Novel Software Technology, Nanjing University, Jiangsu 210023, China)
資料名:
Nonlinear Analysis: Hybrid Systems
(Nonlinear Analysis: Hybrid Systems)
巻:
36
ページ:
Null
発行年:
2020年
JST資料番号:
A1179A
ISSN:
1751-570X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)