非決定出力関数をもつＭｅａｌｙオートマトンで表される離散事象システムのスーパバイザ制御

• 潮 俊光

  大阪大学 大学院 基礎工学研究科

• 高井 重昌

  京都工芸繊維大学 大学院 工芸科学研究科

書誌事項

タイトル別名

• Supervisory Control of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
• ヒケッテイ シュツリョク カンスウ オ モツ Mealy オートマトン デ アラワサレル リサン ジショウ システム ノ スーパバイザ セイギョ

抄録

Supervisory control is a general framework of logical control of discrete event systems. A supervisor assigns a set of control-disabled controllable events based on observed events so that the controlled discrete event system generates specified languages.<br> In conventional supervisory control, it is assumed that observed events are determined by internal events deterministically. But, this assumption does not hold in a discrete event system with sensor errors and a mobile system, where each observed event depends on not only an internal event but also a state just before the occurrence of the internal event. In this paper, we model such a discrete event system by a Mealy automaton with a nondeterministic output function. We introduce two kinds of supervisors: one assigns each control action based on a permissive policy and the other based on an anti-permissive one. We show necessary and sufficient conditions for the existence of each supervisor. Moreover, we discuss the relationship between the supervisors in the case that the output function is determinisitic.<br>

収録刊行物

• システム制御情報学会論文誌

  システム制御情報学会論文誌 22 (4), 154-160, 2009

  一般社団法人 システム制御情報学会

キーワード

• supervisory control
• partial observation
• Mealy automata
• nondeterministic output function
• observability

詳細情報

• CRID: 1390001205165916288
• NII論文ID: 10025075516
• NII書誌ID: AN1013280X
• DOI: 10.5687/iscie.22.154
• ISSN: 2185811X
• ISSN: 13425668
• NDL書誌ID: 10203466
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10203466
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可