文献

J-GLOBAL ID：201702224653342110   整理番号：17A1635115

水路ロックのための監視制御合成【Powered by NICT】

Supervisory control synthesis for a waterway lock

著者 (4件)： Reijnen F.F.H. ,  Goorden M.A. ,  van de Mortel-Fronczak J.M. ,  Rooda J.E.
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CCTA  ページ： 1562-1563  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 形式的手法は,成長する機能性と複雑さ,製品化までの時間とコストサイバー物理システム(CPS)の対処に役立つ。監視制御合成(SCS)は,このような方法である。非制御系モデル(植物)と仕様モデル(要求)からCPSのためのコントローラを合成するために用いることができる。SCSは活発な研究話題であるが,工業的応用に関する報告は稀である。本論文では,水路ロックのためのコントローラの設計へのSCSの適用性を示した。開発過程における次のステップを考察した:植物と要求をモデル化する,スーパバイザを合成し,監督者を検証するために,実時間コントローラを生成し,PLCにこの制御器を実装した。加工のこの方法に続いて,実際の水路ロックのための監視制御器を成功裏に開発し,解析した。リアルタイムコントローラを実験装置に実装した。管理されていない植物の状態空間サイズは6.0χ10~32であると特定化に関与する状態ベース要求の数は234であった。合成した制御器は構造化文書の1.2χ10~4段階,PLC実行に自動的に変換される。この事例研究は,工業規模システムへスーパバイザ合成と自動PLCコード生成のための手順の応用性に対する概念実証を示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 管理者 ,  事例研究 ,  制御装置 ,  *水路 ,  モデリング ,  監督者 ,  適応性 ,  コード生成
準シソーラス用語： 構造化文書 ,  状態空間 ,  実時間 ,  開発プロセス ,  制御モデル ,  機能性 , 【Automatic Indexing@JST】

分類 (4件)： 生産形態  (KB03020E) ,  システム設計・解析  (IA02030D) ,  計算理論  (JB02000A) ,  システムモデル  (IB02000Z)

タイトルに関連する用語 (2件)： 水路 ,  ロック