Petri Net Based Qualitative Simulation
スポンサーリンク
概要
著者
-
潮 俊光
神戸女学院大学
-
金田 悠紀夫
神戸大学大学院自然科学研究科
-
潮 俊光
神戸女学院大学家政学部
-
奥田 浩二
神戸大学大学院自然科学研究科
-
奥田 浩二
大阪ガス株式会社開発研究所
-
金田 悠紀夫
神戸大学大学院自然科学研究科情報知能工学専攻
-
金田 悠紀夫
神戸大学大学院 自然科学研究科
関連論文
- 調停機構を持つ多面的エージェントによる2人ゲームのレプリケータダイナミクス
- 第52回自動制御連合講演会を開催して(学会活動)
- マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- ハイブリッドオートマトンの双模倣関係とその近似計算
- 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
- エキスパートシステムによるディーゼル機関制御
- 舶用中速ディーゼル機関シミュレーターの開発
- 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
- AS-3-2 プレイヤーの多面性を考慮したn人進化ゲーム(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- AS-3-1 モバイルセンサ被覆問題へのポテンシャルゲームの応用(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- マルチティアサーバシステムにおけるQoS公平性のもとでの最適リソース配分法
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- CAS2010-8 ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- CAS2010-10 サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- CAS2010-9 ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- 離散事象システムのモジュラ状態フィードバック制御に対する調停器設計(ペトリネット,離散事象システム,一般)
- マルチバージョンタスクの最適バージョン決定問題に対する動的計画法に基づく近似解法(組込みシステム,一般)
- 定率税と補助金を課した複数集団レプリケーターダイナミクス
- Mealyオートマトンのスーパバイザ制御の余代数による解析(コンカレントシステム,離散事象システム及び一般)
- ポテンシャルゲームを応用した凸制約のある非線形最適化問題の一解法
- マルチモバイルエージェントシステム記述用言語Maglog
- エージェント間で知識を共有する協調処理モデル
- Petri Net Based Qualitative Simulation
- On Integrating Logic Programming Language and Database System Through Relational Operations
- 計算遅延とオーバフロー特性を考慮した1次元ディジタル制御系における分岐現象(研究速報)
- マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用
- A-12-2 マルチティアサーバシステムにおける分散調停器を用いたQoS公平化制御(A-12. コンカレント工学,一般セッション)
- 調停器を導入したmulti-tierコンピューティングシステムにおける動的なQoS公平化制御
- Snakes対による輪郭抽出(一般セッション(6))(ユビキタスコンピューティングのためのパターン認識・理解)
- 照度差ステレオ法を用いた光源位置未知画像からの多面体の面認識
- 照度差ステレオ法を応用した多面体の3次元形状推定
- フィールドを有するマルチエージェントシステム記述用言語
- 2ソースB^kグラフにおけるブライスのパラドックス(グラフ,ペトリネット,ニューラルネット及び一般)
- 2ソースB^kグラフにおけるブライスのパラドックス(グラフ,べトリネット,ニューラルネット及び一般)
- サイバー物理システムにおけるジョブスキップによる制御性能劣化を抑えるタスクスケジューリング(グラフ,ペトリネット,ニューラルネット及び一般)
- サイバー物理システムにおけるジョブスキップによる制御性能劣化を抑えるタスクスケジューリング(グラフ,べトリネット,ニューラルネット及び一般)
- A-12-2 多面性を考慮したレイクゲームのレプリケータダイナミクス(A-12.コンカレント工学,一般セッション)
- (第2回) カオスと制御
- Perkins-Kumarモデルで表される生産システムの安定性
- A-12-2 多目的ゲームの進化的安定戦略(A-12.コンカレント工学,一般セッション)
- A-12-1 self-triggered予測制御による線形離散時間システムの安定化(A-12.コンカレント工学,一般セッション)
- プレイヤーの多面性を考慮したn人進化ゲーム(非線形問題)
- 部分観測Mealyオートマトンのスーパバイザ制御の余代数による解析(一般,コンカレントシステム及び一般)
- 非一様な相互作用のある複数集団レプリケータダイナミクス(一般,コンカレントシステム及び一般)
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- 非決定出力関数をもつ Mealy オートマトンで表現される離散事象システムの診断
- MLD表現を用いた線形離散時間システムのSelf-triggerd制御(一般,コンカレントシステム及び一般)
- A-2-17 人頭税と補助金を課した2戦略レプリケータダイナミクスの分岐現象(A-2.非線形問題,一般セッション)
- 離散事象システムにおけるΓ-可制御性と状態フィールドバック
- 離散事象システムにおける分散状態フィードバックの存在性
- 離散事象システムにおける部分観測のもとでの状態フィードバックの存在条件
- 大規模離散事象システムにおける分離状態フィードバックの構成法
- 大規模離散事象システムの分散状態フィードバック制御
- ブロッキングが発生しない離散事象システムの状態フィードバック制御
- 外部入力プレース付きペトリネットにおける許容フィードバックの性質
- 外部入力プレース付きペトリネットにおける同時進行性と状態フィードバック
- 分散状態フィールドバックによる離散事象システムの安定化
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 任意の制御パターンをもつ離散事象システムの安定化
- 消費電力とタスク性能とのトレードオフを解消する弾性スケジューリング(コンカレント工学)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (システム数理と応用)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (信号処理)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (VLSI設計技術)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (回路とシステム)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (システム数理と応用)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (信号処理)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (VLSI設計技術)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (回路とシステム)
- SMTソルバーを用いた計算機ネットワークにおける周期タスクのリソース割り当てとスケジューリング (回路とシステム)
- コントローラの起動に関する評価を考慮したself-triggered予測制御
- 離散事象システムのスーパバイザ制御理論-VI : 余代数を用いたアプローチ
- 低流量域におけるサーミスタ式カルマン渦流量計の精度向上について(非線形問題)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス(システムと信号処理及び一般)
- SMTソルバーを用いた計算機ネットワークにおける周期タスクのリソース割り当てとスケジューリング(グラフ、ペトリネット、ニューラルネット及び一般)
- マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般)
- マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般)
- マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般)
- マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般)
- SMTソルバーを用いた計算機ネットワークにおける周期タスクのリソース割り当てとスケジューリング(グラフ、ペトリネット、ニューラルネット及び一般)
- 調停に基づく多目的ゲームの水資源問題への応用