文献

J-GLOBAL ID：201002273571248114   整理番号：10A0936182

スーパーバイザー制御に基づく並列プログラム合成

Concurrent Program Synthesis Based on Supervisory Control

著者 (2件)： IORDACHE Marian V. (LeTourneau Univ., TX, USA) ,  ANTSAKLIS Panos J. (Univ. Notre Dame, IN, USA)
資料名： Proceedings of the American Control Conference  (Proceedings of the American Control Conference)
巻： 2010 Vol.5  ページ： 3378-3383  発行年： 2010年 
JST資料番号： B0982A  ISSN： 0743-1619  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 正しい並列プログラムを書くことは非常に困難である。並列プログラムの自動合成のために,スーパーバイザー制御(SC)のアプリケーションを提案した。この提案した手法は,3つのステップを含んでいる。最初に,高レベル記述言語(HLL)で書かれた仕様を与えた。次に,並行処理のペトリネットモデルを抽出するために,高レベル記述に対して解析ツールを適用した。そして,スーパーバイザを生成するために,SCを適用した。最後に,プラントとスパーバイザーをプログラミングコードに翻訳した。様々な高レベル要求はスーパーバイザリー制御仕様として見なすことができるので,SCは非常に興味深い。そこで,このSC法または,同様の手法を,プログラミング過程の自動化度合いを高めるために適用することができる。

シソーラス用語： *制御理論 ,  離散系 ,  *計算機プログラム ,  自動プログラミング ,  *自動化 ,  仕様記述言語 ,  Petriネット
準シソーラス用語： *スーパバイザ制御 ,  プログラム合成 ,  記述言語 ,  自動合成 ,  *並列プログラム

分類 (2件)： 応用プログラミング言語  (JD03052Y) ,  グラフ理論基礎  (IA02020S)

タイトルに関連する用語 (2件)： スーパーバイザー制御 ,  並列プログラム