Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2020.2970148
Abstract: In this article, we investigate the synthesis of a (possibly nondeterministic) supervisor, with partial information, such that the controlled nondeterministic plant is bisimulation equivalent to a nondeterministic specification. We derive a new necessary and sufficient… read more here.
Keywords: nondeterministic systems; control; control nondeterministic; partial information ... See more keywords