Articles with "nondeterministic systems" as a keyword



Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information

Sign Up to like & get
recommendations!
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