Naoki Kushi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper, we consider a similarity control problem for plants and specifications modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is simulated by a given specification. We synthesize a similarity enforcing supervisor based on the observer of the plant and the(More)
  • 1