定量的情報を考慮したペトリネット定性シミュレーション
スポンサーリンク
概要
- 論文の詳細を見る
本報告では,連続変数システムを離散事象システムとしてモデル化する方法と,その定性シミュレーション法を紹介する.定性シミュレーションには挙動予測の不完全性(あいまい性や,にせの挙動生成)という問題がある.それを解決するために,従来のペトリネットに時間と量の大きさを扱えるように機能を拡張したモデルを提案する.このモデルを用いた定性シミュレーションでは,完全な挙動予測が行えるということを示す.
- 社団法人電子情報通信学会の論文
- 1995-11-16
著者
-
潮 俊光
大阪大学 大学院基礎工学研究科
-
熊谷 貞俊
大阪大学 工学部電気工学科
-
柴田 弘
大阪大学工学部電気工学科
-
柴田 弘
大阪大学 工学部 電気工学科
-
児玉 慎三
近畿大学大学院工学研究科
-
児玉 慎三
近畿大学 大学院 工学研究科
-
熊谷 貞俊
大阪大学 大学院工学研究科 電気工学専攻
-
潮 俊光
大阪大学 大学院 基礎工学研究科
関連論文
- 調停機構を持つ多面的エージェントによる2人ゲームのレプリケータダイナミクス
- 第52回自動制御連合講演会を開催して(学会活動)
- マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 優先度を導入した部分観測離散事象システムのオンライン制御
- ハイブリッドオートマトンの双模倣関係とその近似計算
- 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
- 2ソースB[k]グラフにおけるブライスのパラドックス (コンカレント工学)
- 2ソースB[k]グラフにおけるブライスのパラドックス (回路とシステム)
- サイバー物理システムにおけるジョブスキップによる制御性能劣化を抑えるタスクスケジューリング (コンカレント工学)
- サイバー物理システムにおけるジョブスキップによる制御性能劣化を抑えるタスクスケジューリング (回路とシステム)
- AS-3-2 プレイヤーの多面性を考慮したn人進化ゲーム(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- AS-3-1 モバイルセンサ被覆問題へのポテンシャルゲームの応用(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- マルチティアサーバシステムにおけるQoS公平性のもとでの最適リソース配分法
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- CAS2010-8 ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- CAS2010-10 サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- CAS2010-9 ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- LTLで記述されるマニュアルに対するオートメーションサプライズの検出
- マルチバージョンタスクの最適バージョン決定問題に対する動的計画法に基づく近似解法(組込みシステム,一般)
- 定率税と補助金を課した複数集団レプリケーターダイナミクス
- Mealyオートマトンのスーパバイザ制御の余代数による解析(コンカレントシステム,離散事象システム及び一般)
- ポテンシャルゲームを応用した凸制約のある非線形最適化問題の一解法
- 部分観測Mealyオートマトンのスーパバイザ制御の余代数による解析 (コンカレント工学)
- 非一様な相互作用のある複数集団レプリケータダイナミクス (コンカレント工学)
- 計算遅延とオーバフロー特性を考慮した1次元ディジタル制御系における分岐現象(研究速報)
- マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用
- 2ソースB^kグラフにおけるブライスのパラドックス(グラフ,ペトリネット,ニューラルネット及び一般)
- 2ソースB^kグラフにおけるブライスのパラドックス(グラフ,べトリネット,ニューラルネット及び一般)
- サイバー物理システムにおけるジョブスキップによる制御性能劣化を抑えるタスクスケジューリング(グラフ,ペトリネット,ニューラルネット及び一般)
- サイバー物理システムにおけるジョブスキップによる制御性能劣化を抑えるタスクスケジューリング(グラフ,べトリネット,ニューラルネット及び一般)
- 強化学習を用いた離散事象システムのスーパバイザ制御
- パラメーク励振LCR共振回路の係数の性質を用いた漸近安定化と同期化制御
- 通信ネットワークにおけるコネクション数変動を考慮したレート制御
- 周期出力フィードバックゲインによる周期通信制約付ネットワーク化制卸系の安定化
- 伝搬遅延時間の変動にロバストなPID型レート制御
- 事象の生起に時間制約のある非同期動的システムの指数安定条件
- A-12-2 多面性を考慮したレイクゲームのレプリケータダイナミクス(A-12.コンカレント工学,一般セッション)
- 定量的情報を考慮したペトリネット定性シミュレーション
- 2次元離散時間カオスニューロンモデルの区分線形近似による解析(非線形回路システム及び一般)
- 2次元離散時間カオスニューロンモデルの区分線形近似による解析(非線回路システム及び一般)
- A-2-6 高次元離散時間カオスニューロンモデルの区分線形解析とバースト振動
- プレイヤーの多面性を考慮したn人進化ゲーム
- ヨーレイトに基づく車線変更のための切替制御(非線形回路とシステム及び一般)
- 計算生態学モデルの非線形現象解析と工学的応用(システム/制御/情報の最前線-研究交流会トピックス特集号)
- A-12-2 多目的ゲームの進化的安定戦略(A-12.コンカレント工学,一般セッション)
- A-12-1 self-triggered予測制御による線形離散時間システムの安定化(A-12.コンカレント工学,一般セッション)
- プレイヤーの多面性を考慮したn人進化ゲーム(非線形問題)
- 部分観測Mealyオートマトンのスーパバイザ制御の余代数による解析(一般,コンカレントシステム及び一般)
- 非一様な相互作用のある複数集団レプリケータダイナミクス(一般,コンカレントシステム及び一般)
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- 非決定出力関数をもつ Mealy オートマトンで表現される離散事象システムの診断
- 大域的な座標変換による非ホロノミック車両システムのハイブリッド制御
- MLD表現を用いた線形離散時間システムのSelf-triggerd制御(一般,コンカレントシステム及び一般)
- 事象と状態の部分観測のもとでの離散事象 システムのスーパバイザ制御
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- ペトリネットを用いた動的部分再構成可能FPGAのためのタスクスケジューリング(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 2人2戦略の場合の多目的ゲームと多面的ゲームの均衡解の関係(システムと信号処理及び一般)
- 競合のある Hogg-Huberman モデルにおけるカオス制御
- 消費電力とタスク性能とのトレードオフを解消する弾性スケジューリング(コンカレント工学)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (システム数理と応用)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (信号処理)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (VLSI設計技術)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化 (回路とシステム)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (システム数理と応用)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (信号処理)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (VLSI設計技術)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス (回路とシステム)
- 事象と状態の部分観測に基づく分散ス-パバイザ制御
- 係数行列の性質に着目した2階の非線形ベクトル微分方程式の安定性に関する一考察
- 弾性ロータ系の共振時の振動抑制方法に関する実験的検討
- 弾性ロータ系における跳躍現象の抑制制御
- SMTソルバーを用いた計算機ネットワークにおける周期タスクのリソース割り当てとスケジューリング (回路とシステム)
- コントローラの起動に関する評価を考慮したself-triggered予測制御
- 離散事象システムのスーパバイザ制御理論-VI : 余代数を用いたアプローチ
- 低流量域におけるサーミスタ式カルマン渦流量計の精度向上について(非線形問題)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- メカニズムデザインに基づくマルチティアサーバシステムのQoS公平化(システムと信号処理及び一般)
- 不完備情報下における人頭税と補助金を考慮した複数集団レプリケータダイナミクス(システムと信号処理及び一般)
- SMTソルバーを用いた計算機ネットワークにおける周期タスクのリソース割り当てとスケジューリング(グラフ、ペトリネット、ニューラルネット及び一般)
- マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般)
- マルチホップ制御ネットワークにおける通信と制御の協調スケジューリング(システムと信号処理及び一般)