Mealyオートマトンのスーパバイザ制御の余代数による解析(コンカレントシステム,離散事象システム及び一般)

元データ 2010-07-26

概要

本報告では,Mealyオートマトンでモデル化された離散事象システムのスーパバイザ制御の余代数的解析について検討する.まず,Mealyオートマトンの余代数による表現を与え,Ruttenによって定義されたスーパバイザ積をMealyオートマトンに拡散する.次に,可制御関係と可観測関係を余帰納的に定義する.最後に,これらの関係を用いてスーパバイザが存在するための必要十分条件を求める.

著者

潮 俊光 大阪大学大学院基礎工学研究科
木下 佳樹 産業技術総合研究所
木下 佳樹 (独)産業技術総合研究所 組込みシステム技術連携研究体
潮 俊光 神戸女学院大学
潮 俊光 大阪大学 大学院基礎工学研究科
神志那 純 大阪大学大学院基礎工学研究科
木下 佳樹 独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

関連論文

▼もっと見る