コンプリメントなプレースからなるペトリネットと禁止マーキング問題
スポンサーリンク
概要
- 論文の詳細を見る
デッドロック回避問題や相互排他問題など多くの離散事象システムにおける制御問題は,禁止マーキング問題として定式化できる.本稿では,コンプリメントなプレースからなるペトリネットにおける禁止マーキング問題について考察する.コンプリメントなプレースからなるペトリネットはシーケンス制御システムのモデリングに非常に適したペトリネットのサブクラスである.そこでまず禁止マーキング問題に対する許容制御則が存在するための必要十分条件を示す.そして最も多くのトランジションの同時発火を許す最大許容制御則の構成法を与える.
- 社団法人電子情報通信学会の論文
- 1994-07-18
著者
-
高井 重昌
大阪大学大学院工学研究科
-
熊谷 貞俊
大阪大学大学院工学研究科
-
高井 重昌
大阪大学
-
児玉 慎三
大阪大学工学部
-
児玉 慎三
近畿大学大学院工学研究科
-
高井 重昌
和歌山大学システムエ学部
-
高井 重昌
大阪大学工学部電子工学科
-
潮 俊光
大阪大学工学部
-
Chang Wooi
大阪大学工学部電子工学科
-
高井 重昌
大阪大学工学部
関連論文
- 観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算(ペトリネット,離散事象システム,一般)
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 大域的分岐解析に基づく大脳皮質視覚野錐体細胞モデルの構築
- 時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化(研究速報)
- [2010年]年頭にあたっての抱負
- 膵臓β細胞塊のインスリン分泌に及ぼす細胞内カルシウム貯蔵の影響
- A-2-12 心臓心室筋詳細モデルの大域的分岐構造に基づくイオンチャネル薬物感受性解析(A-2.非線形問題,一般講演)
- 非線形心筋細胞モデルの大域的分岐構造と刺激応答特性について(II)
- 非線形動的モデルを用いた心臓心室筋細胞の刺激応答特性と薬物感受性の解析(非線形問題)
- A-2-4 心室筋細胞におけるイオンチャネルコンダクタンスの活動電位持続時間に及ぼす影響(A-2. 非線形問題, 基礎・境界)
- 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
- Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- マルチエージェントネットの可達空間生成アルゴリズム(コンカレントシステム, 一般)
- シーケンス制御システムのマルチエージェントネットモデル導出手法
- A-12-4 マルチエージェントネットによる制御システムのモデル化(A-12. コンカレント工学)
- 分散EMSにおけるエネルギー取引決定手法の評価
- A-12-8 多期間における分散EMSの最適運転計画問題(A-12. コンカレント工学,一般セッション)
- A-12-3 拡張ROOM法における先行子表編集のためのGUIの開発(A-12. コンカレント工学,一般セッション)
- 蓄電池による風力発電出力安定化システムの事業性検討
- 画像復元・補間問題の動径基底関数ネットワークによる解法
- 心筋細胞詳細モデルの大域的分岐構造とイオンチャネル薬物感受性について(II)
- 確率的埋め込み法によるデータクラスタリング
- 1次元写像力学系に基づくRandom Boolean Networkダイナミクスの解析
- 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.コンカレント工学,一般講演)
- AS-3-6 離散事象システムにおける分散型診断器の最適性(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- CAS2010-22 離散事象システムにおけるオパシティのためのモジュラスーパバイザ制御(システムと信号処理及び一般)
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
- ペトリネットによる離散事象システムのモデル化と制御
- 有限オートマトンによる非有界ペトリネットの到達可能グラフの有限近似
- 時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化(一般)
- 時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット及び一般)
- 時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,べトリネット,ニューラルネット及び一般)
- 「組込みシステム技術の最近の動向特集号」 を編集して
- Synchronous Composition によるスーパバイザ制御
- A-12-1 安全性制約をもつ離散事象システムの分散型故障予知診断(A-12.コンカレント工学,一般セッション)
- 離散事象システムにおける可診断性の検証
- コンカレント離散事象システムのスーパバイザ制御
- 動的なデフォルト制御を用いた分散スーパバイザ制御(コンカレントシステム, 一般)
- ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
- スーパバイザ制御における可観測性とノーマル性の関係
- ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
- 時間付き離散事象システムのスーパバイザ制御(「ハイブリッドシステム : システム制御への新たな視点総合特集号」)
- 離散事象システムの分散スーパバイザ制御
- 任意の制御パターンをもつ部分観測システムのスーパバイザ制御
- 時間付きイベントグラフにおいて実現可能な発火時刻系列集合
- 部分観測のもとでのペトリネットのモジュラ制御
- 事象と状態の部分観測によるスーパバイザ制御-不可観測事象をもつシステムへの拡張
- 解説 ハイブリッドシステムモデルに基づく制御 (特集 次世代のフルードパワーシステム制御を目指して)
- 強制事象のあるハイブリッドシステムにおける状態フィードバック制御
- max-plus代数ってなに?
- A-12-8 時間付き離散事象システムに対するANDルールのもとでの分散スーパバイザの存在条件の簡単化(A-12.コンカレント工学,一般セッション)
- 離散事象システムのロバストスーパバイザ制御
- 離散事象システムのロバストスーパバイザ制御
- ロバストな有限状態スーパバイザ
- 離散事象システムにおける安全性制約をもつ分散型故障予知診断器の存在性の検証(一般,コンカレントシステム及び一般)
- 非決定出力関数をもつ Mealy オートマトンで表現される離散事象システムの診断
- IFAC Conference on System Stucture and Control
- コンプリメントなプレースからなるペトリネットと禁止マーキング問題
- max-plus代数による離散事象制御
- 束理論による離散事象システムの状態フィードバック制御
- 離散事象システムにおけるコマンド型スーパバイザ制御
- 1995 American Control Conferenceに出席して
- 外部入力プレース付き時間ペトリネットにおける最大許容フィードバック
- 離散事象システムにおけるΓ-可制御性と状態フィールドバック
- 事象と状態の部分観測のもとでの離散事象 システムのスーパバイザ制御
- 外部入力プレース付きペトリネットにおける部分観測と許容フィードバック
- 離散事象システムにおける分散状態フィードバックの存在性
- 離散事象システムにおける部分観測のもとでの状態フィードバックの存在条件
- 大規模離散事象システムにおける分離状態フィードバックの構成法
- 離散事象システムのスーパバイザ制御理論-I : スーパバイザと可制御性
- 事象と状態の観測に基づく非決定離散事象システムの双模倣制御 (システム数理と応用)
- Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (システム数理と応用)
- Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (信号処理)
- Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (VLSI設計技術)
- Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (回路とシステム)
- 離散事象システムのスーパバイザ制御理論-II : 最大可制御部分言語の計算とその応用
- 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット,及び一般)
- 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット,及び一般)
- ハイブリッドシステムモデルに基づく制御
- 離散事象システムの分散型故障診断における冗長性解析
- 離散事象システムの分散型故障診断における冗長性解析
- 離散事象システムのスーパバイザ制御理論-IV : 分散スーパバイザ制御
- 離散事象システムのスーパバイザ制御理論-III : 部分観測と可観測性
- 離散事象システムの分散型故障診断における冗長性解析
- 事象と状態の観測に基づく非決定離散事象システムの双模倣制御
- ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証
- 出力フィードバックによるトランジションシステムの模倣制御(システムと制御)