同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察 (コンカレント工学)

スポンサーリンク

概要

• 論文の詳細を見る
• 2010-11-18

著者

• 宮本 俊幸

  大阪大学 大学院工学研究科

関連論文

• モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について(ペトリネット,離散事象システム,一般)
• ペトリネットを用いたコレオグラフィ実現について
• CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
• AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
• AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
• CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
• 需要家が複数存在する分散EMSにおける取引決定手法
• 分散EMSにおけるエネルギー取引決定手法の評価
• A-12-8 多期間における分散EMSの最適運転計画問題(A-12. コンカレント工学,一般セッション)
• A-12-3 拡張ROOM法における先行子表編集のためのGUIの開発(A-12. コンカレント工学,一般セッション)
• Safety Critical Systemに対する強化学習適用に関する検討(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
• MCEの群管理制御器:スケジュール完了時間の最適化とサービス範囲保証のためのパーキング戦略を適用したアルゴリズム(CSTコンペ・ソリューション発表,コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
• 分散EMSにおけるエネルギー取引決定手法に対する市場指向プログラミングの適用
• 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について(グラフ,ペトリネット,ニューラルネット及び一般)
• エージェントネットに基づくSOA検証用UMLシミュレータの提案(UML/開発方法論)
• A-12-10 複数市場が存在する分散EMSにおけるエネルギー取引決定手法の検討(A-12.コンカレント工学,一般講演)
• A-12-9 タブサーチを用いた自律分散型AGVの搬送計画手法(A-12.コンカレント工学,一般講演)
• 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察 (コンカレント工学)
• 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察 (回路とシステム)
• T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について (コンカレント工学)
• T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について (回路とシステム)
• AS-3-5 マルチカーエレベータの群制御問題への協調学習手法の適用(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
• AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
• A-12-3 UMLステートマシンの有界モデル検査における同期遷移の記号表現方法の一考察(A-12.コンカレント工学,一般セッション)
• A-12-1 UMLコミュニケーション図からUML状態機械図の自動生成をペトリネットの可達空間を展開せずに行う手法について(A-12.コンカレント工学,一般セッション)
• 秘密分散共有法を用いた分散データベースシステムの設計及び実装
• A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
• 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について(グラフ,ペトリネット,ニューラルネット及び一般)
• 第52回自動制御連合講演会
• アクティビティ図によるコレオグラフィ実現に関する研究(一般)
• Mariaを用いたマルチエージェントネットのモジュラー可達性解析(一般)
• ペトリネットを用いたコレオグラフィ実現について
• A-12-10 SCSDSPアルゴリズムのシャフト内のかご数増加に対する性能の評価及びアップピーク時におけるサービス完了時間の改善(A-12.コンカレント工学,一般セッション)
• MCEの群管理制御 : スケジュール完了時間の最適化,スケジュール方向の同期化及びパーキング戦略を適用したアルゴリズム(グラフ,ペトリネット,ニューラルネット,及び一般)
• A-12-2 Safety Critical Systemにおける強化学習の適用に関する一考察(A-12.コンカレント工学,一般講演)
• ペトリネットを用いたコミュニケーション図からステートマシン図の自動生成について(グラフ,ペトリネット,ニューラルネット,及び一般)
• MCEの群管理制御 : スケジュール完了時間の最適化,スケジュール方向の同期化及びパーキング戦略を適用したアルゴリズム(グラフ,ペトリネット,ニューラルネット,及び一般)
• ペトリネットを用いたコミュニケーション図からステートマシン図の自動生成について(グラフ,ペトリネット,ニューラルネット,及び一般)
• CSTソリューションコンペティション2007 : 評価ツールの詳細(グラフ,ペトリネット,ニューラルネット及び一般)
• CSTソリューションコンペティション2007 : 評価ツールの詳細(グラフ,ペトリネット,ニューラルネット及び一般)
• T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,ペトリネット,ニューラルネット及び一般)
• T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,べトリネット,ニューラルネット及び一般)
• 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,ペトリネット,ニューラルネット及び一般)
• 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,べトリネット,ニューラルネット及び一般)
• 秘密分散共有データベースにおける分散クエリ最適化問題について(コンカレントシステム,一般)
• A-12-1 秘密分散共有法を用いた分散データベースシステムに関する研究(A-12.コンカレント工学,一般講演)
• 自律分散型AGVの搬送計画問題における初期割り当ての手法の評価(コンカレントシステム,一般)
• 搬送経路計画問題における初期割り当て手法に関する研究(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• 「システム設計のための形式手法の基礎と応用」特集号を企画して
• 次世代生産システムにおける自律分散制御技術の開発
• C02排出量を考慮した分散EMSの多期間問題への拡張
• 秘密分散共有法を用いた分散データベースシステム(コンカレントシステム, 一般)
• シェア配送問題に対する発見的手法の比較(グラフ,ペトリ,ニューラルネット及び一般)
• 秘密分散ストレージシステムにおける最適シェア配送問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• システム・情報部門学術講演会(SICE-SSI2005)
• FMSにおける自律分散スケジューリングの一手法
• FMSにおける自律分散スケジューリングの一手法
• 自律分散システムのエージェントネットモデルについて
• SA-6-1 Multi Agent Netによるソフトウェア開発環境MAEについて
• 不確実性を考慮した工場自家発プラントの運転最適化

もっと見る 閉じる

スポンサーリンク