離散事象システムにおけるΓ-可制御性と状態フィールドバック Γ-Controllability and State Feedbacks in Discrete Event Systems

この論文にアクセスする

この論文をさがす

著者

抄録

In this paper, we consider state feedback control of discrete event systems, where we assume that the set of control patterns is closed under union. A control specification is assumed to be given in terms of a predicate on the set of states. First, we introduce the notion of Γ-controllability of predicates. We then show that Γ-controllability is a necessary and sufficient condition for the existence of a state feedback controller which achieves the control specification. However, the given predicate is not necessarily Γ-controllable. In such a case, its supremal Γ-controllable subpredicate plays an important role in synthesizing state feedback controllers. So we present a necessary and sufficient condition for the existence of a Γ-controllable subpredicate, and derive a closed form expression of the supremal Γ-Controllable subpreicate when the set of states satisfying the given predicate is finite.

収録刊行物

  • 計測自動制御学会論文集  

    計測自動制御学会論文集 31(9), 1488-1494, 1995-09 

    The Society of Instrument and Control Engineers

参考文献:  12件

参考文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

被引用文献:  1件

被引用文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

各種コード

  • NII論文ID(NAID)
    10002485710
  • NII書誌ID(NCID)
    AN00072392
  • 本文言語コード
    JPN
  • 資料種別
    ART
  • ISSN
    04534654
  • NDL 記事登録ID
    3621382
  • NDL 刊行物分類
    M045(制御工学)
  • NDL 雑誌分類
    ZM11(科学技術--科学技術一般--制御工学)
  • NDL 請求記号
    Z14-482
  • データ提供元
    CJP書誌  CJP引用  NDL  J-STAGE 
ページトップへ