文献
J-GLOBAL ID:202002279068821468
整理番号:20A0828352
SCLTL仕様のための離散事象システムのオンライン許容監視制御【JST・京大機械翻訳】
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications
著者 (2件):
Sakakibara Ami
(Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, Toyonaka, Japan)
,
Ushio Toshimitsu
(Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, Toyonaka, Japan)
資料名:
IEEE Control Systems Letters
(IEEE Control Systems Letters)
巻:
4
号:
3
ページ:
530-535
発行年:
2020年
JST資料番号:
W3481A
ISSN:
2475-1456
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)