優先度付き非決定性スーパバイザの存在条件について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
離散事象システムにおける論理的な制御手法として,スーパバイザ制御がある.スーパバイザは観測された事象列に対して生起を許容する可制御事象の集合を指定することで望ましい振る舞いのみを生成するように制御する.すべての事象の生起が観測できない部分観測の場合に,この集合の指定を非決定的に行うことで,制御性能が向上することが知られている.一方,事象の生起に優先度を導入することでも制御性能を向上させられることが最近明らかになった.本論文では,非決定スーパバイザと優先度付きスーパバイザの制御性能を上回る優先度付きの非決定スーパバイザ制御法を提案し,その存在条件について述べる.
- 社団法人電子情報通信学会の論文
- 2007-06-22
著者
関連論文
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- A-12-1 Well-Structuredワークフローネットへのリファクタリングの提案(A-12.コンカレント工学,一般セッション)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (コンカレント工学)
- ある2ソースネットワークにおけるブライスのパラドックス (信号処理)
- ある2ソースネットワークにおけるブライスのパラドックス (VLSI設計技術)
- 調停機構を持つ多面的エージェントによる2人ゲームのレプリケータダイナミクス
- ブライスグラフにおける税による最小遅延フローの安定化
- 利己的ルーティングにおける分岐現象とブライスのパラドックス
- 弾性ロータ系における跳躍現象の抑制に関する一研究(非線形回路とシステム,及び一般)
- 弾性ロータ系における跳躍現象の抑制に関する一研究
- 弾性ロータ系における共振点通過の一方法
- 第52回自動制御連合講演会を開催して(学会活動)
- 言語測度を用いたソフトリアルタイムシステムの最適スケジューリング(グラフ,ペトリネット,ニューラルネット及び一般)
- マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (信号処理)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (VLSI設計技術)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング (回路とシステム)
- アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則(ペトリネット,離散事象システム,一般)
- ワークフローネットの健全性判定に対するモデル検査法について
- トークン分布に依存した停止性のSWITCH-lessネットに対する判定について(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- A-12-2 Acyclic well-structuredワークフローネットに対する直列化可能性判定法の提案(A-12.コンカレント工学,一般セッション)
- A-12-3 ワークフローネットにおける関心事とその強調法について(A-12.コンカレント工学,一般セッション)
- D-15-15 プロジェクトマネジメントのパターンを学習するための問題集と手引き集の開発(D-15. 教育工学,一般セッション)
- 引継型と請負型のインターワークフローへの動的変更の解析
- 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について(グラフ,ペトリネット,ニューラルネット,及び一般)
- デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について(ハイブリッドシステム,コンカレント工学一般)
- WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- A-12-1 デバイスドライバのアクティビティ図を検査するためのペトリネットに基づく手法の提案(A-12. コンカレント工学,一般セッション)
- ピグー補助金と人頭税を課した社会システムのレプリケータダイナミクス(非線形システムの制御の新展開)
- ハイブリッドオートマトンの双模倣関係とその近似計算
- Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ハイブリッドシステムのサンプル値制御における制御不変性(グラフ,ペトリネット,ニューラルネット及び一般)
- 待機電力を考慮した消費電力削減とQoS公平化とを実現するリソース配分法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 言語測度を用いた離散事象システムの制御について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 異なる利得関数を持つグループの共存下における進化的安定性 : 2グループの場合
- Well-Structuredワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム(グラフ,ペトリネット,ニューラルネット及び一般)
- モデル検査ツールSPINによるワークフローネットの健全性の判定について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- D-3-2 割り込みシステムに対するモデル検査ツールSPINを用いたハングアップの検証(D-3.ソフトウェアサイエンス,一般講演)
- A-12-5 モデル検査ツールSPINによるacyclic ACWFネットの健全性の検証について(A-12.コンカレント工学,一般講演)
- AS-4-6 I/Oオートマトンのモジュラ制御における調停問題について(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- AS-4-4 Qos公平化マルチリソース配分へのコンセンサス問題の応用(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- 割り込み処理のDelegationに基づく設計方法およびモデル検査方法について
- AS-3-2 プレイヤーの多面性を考慮したn人進化ゲーム(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- AS-3-1 モバイルセンサ被覆問題へのポテンシャルゲームの応用(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- ホモグラフィから生ずる画像歪みに着目したタッチスクリーンの実現(一般セッション(2),パターン認識・メディア理解のための学習理論とその応用)
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- CAS2010-8 ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ボロノイ分割による被覆制御へのポテンシャルゲームの応用(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- CAS2010-10 サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- サイバーフィジカルシステムにおける制御性能の最適化のためのジョブスキッピング(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- CAS2010-9 ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- ある2ソースネットワークにおけるブライスのパラドックス(システムと信号処理及び一般)
- A-12-4 デバイスドライバのネット指向テーラーメイド設計システムの提案(A-12.コンカレント工学,一般セッション)
- 言語測度を用いたソフトリアルタイムシステムの最適スケジューリング(グラフ,ペトリネット,ニューラルネット及び一般)
- AI-2-3 反転時間とカゴの運転効率を重視したマルチカーエレベータの制御アルゴリズムの提案(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について(グラフ,ペトリネット,ニューラルネット,及び一般)
- Well-Structuredワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム(グラフ,ペトリネット,ニューラルネット及び一般)
- 離散事象システムのモジュラ状態フィードバック制御に対する調停器設計(ペトリネット,離散事象システム,一般)
- 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
- AS-5-3 時間付きオートマトンでモデル化された人間-機械系におけるオートメーションサプライズの一検証法(AS-5. コンカレントシステムとハイブリッドシステムのための形式モデルとその応用, 基礎・境界)
- 離散事象システムにおけるオートメーションサプライズに対する警報器の設計
- 複数のユーザによって操作される離散事象システムのためのマニュアルの自動生成(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- マルチバージョンタスクの最適バージョン決定問題に対する動的計画法に基づく近似解法(組込みシステム,一般)
- 定率税と補助金を課した複数集団レプリケーターダイナミクス
- 携帯電話のQRコードリーダー機能を用いた出席システム(e-LearningとFD支援/一般)
- Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案(一般)
- 4)組織構造に基づく対話型ワークフロー管理方式(ネットワーク映像メディア研究会)
- 2)スケールスペース解析によるカラーテクスチュア画像の構造記述(ヒューマンインフォメーション研究会)
- 確率過程に基づくアイコンの呈示
- 優先度付き非決定性スーパバイザの存在条件について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- プログラム理解における支援を目的とした学習者モデルの構築
- SA-7-1 状態機械ワークフローネットのFlush方式とAbort方式による動的変更に対する最悪変更時間の計算について(SA-7. 企業・社会活動におけるコンカレント技術)
- Acyclic StructuredプログラムネットのPARAdegの評価と応用について(グラフ,ペトリ,ニューラルネット及び一般)
- Acyclic StructuredプログラムネットのPARAdegの評価と応用について(グラフ,ペトリ,ニューラルネット及び一般)
- Acyclic Well-StructuredデータフロープログラムネットのMaxPARAdegの近似計算について(コンカレントシステム, 一般)
- SWITCH-nodeを持つデータフロープログラムネットの並列度の計算について(コンカレントシステム, 一般)
- プログラムネットの不活性について(グラフ,ペトリ,ニューラルネット及び一般)
- プログラムネットの不活性について(グラフ,ペトリ,ニューラルネット及び一般)
- 競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について(グラフ,ペトリ,ニューラルネット及び一般)
- 競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について(グラフ,ペトリ,ニューラルネット及び一般)
- 状態機械ワークフローネットのAbort型動的変更に対する最悪変更時間の計算複雑さと性能解析について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について(コンカレントシステム, 一般)
- A-12-4 並行同期型のインターワークフローの振る舞い継承について(A-12.コンカレント工学,一般講演)
- A-12-3 LPによる初等T-invariantのサポートベクトルの実用的な計算について(A-12.コンカレント工学,一般講演)
- well-structured WFネットの構造解析とPARAdegの近似計算について(コンカレントシステム,一般)
- D-3-4 delegationイベントモデルに基づく割り込み処理のUMLモデリング(D-3.ソフトウェアサイエンス,一般講演)
- ワークフローネットの健全性と並列度について(コンカレントシステム, 一般)
- 複数のCPUボードを用いたシステムの実行時間と稼働率を見積り可能なビジュアルプログラミングシステムの開発
- 二次方程式の解法推測に基づく学習支援システムの開発(e-Learningにおける学習評価/一般)
- 興味優先学習支援システムの開発と評価(先進的学習システム/一般)
- 初心者の誤り要因に基づくプログラミング学習支援とその評価
- リソース配置変更によるマークグラフワークフローネットの最大スループットの改善について(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)