Art

J-GLOBAL ID：202002279068821468   Reference number：20A0828352

On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications

SCLTL仕様のための離散事象システムのオンライン許容監視制御【JST・京大機械翻訳】

Author (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)
Material： IEEE Control Systems Letters
Volume： 4  Issue： 3  Page： 530-535  Publication year： 2020 
JST Material Number： W3481A  ISSN： 2475-1456  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： We propose an on-line supervis...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0828352&from=J-GLOBAL&jstjournalNo=W3481A") }}

Thesaurus term： control system(computer) ,  *automaton ,  manager(supervise) ,  grading(ranking) ,  tolerance(range) ,  mobile robot ,  on-line control ,  acceptor
Semi thesaurus term： *オンライン ,  *離散事象系 , 【Automatic Indexing@JST】

JST classification (1)： System design and analysis  (IA02030D)

Terms in the title (4)： 仕様 ,  離散事象システム ,  オンライン ,  許容