文献
J-GLOBAL ID:201802262345288470
整理番号:18A0270760
可到達性解析を用いた線形衝撃システムの安定性検証とタイミング契約合成【Powered by NICT】
Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
著者 (3件):
Al Khatib Mohammad
(Laboratoire des signaux et systemes (L2S), CNRS, CentraleSupelec, Universite Paris-Sud, Universite Paris-Saclay, F-91192 Gif-sur-Yvette, France)
,
Girard Antoine
(Laboratoire des signaux et systemes (L2S), CNRS, CentraleSupelec, Universite Paris-Sud, Universite Paris-Saclay, F-91192 Gif-sur-Yvette, France)
,
Dang Thao
(Universite Grenoble Alpes, CNRS, Verimag, F-38000 Grenoble, France)
資料名:
Nonlinear Analysis: Hybrid Systems
(Nonlinear Analysis: Hybrid Systems)
巻:
25
ページ:
211-226
発行年:
2017年
JST資料番号:
A1179A
ISSN:
1751-570X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)