Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

DOI Web Site 3 Citations 24 References
  • YAMADA Hiroki
    Division of Electrical, Electronic and Information Engineering, Osaka University
  • TAKAI Shigemasa
    Division of Electrical, Electronic and Information Engineering, Osaka University

Abstract

<p>In this paper, we consider a similarity control problem for nondeterministic discrete event systems, which requires us to synthesize a nonblocking supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. We present a necessary and sufficient condition for the existence of a nonblocking supervisor that solves the similarity control problem and show how to verify it in polynomial time. Moreover, when the existence condition of a nonblocking supervisor is satisfied, we synthesize such a supervisor as a solution to the similarity control problem.</p>

Journal

Citations (3)*help

See more

References(24)*help

See more

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top